LGICA

La lgica formal es algo ms que una

tecnologa: es la moral del pensamiento y del
discurso. Ensea el ejercicio de la honestidad
total, tanto en la expresin como en la
justificacin. Para los que la han practicado,
supone un escudo contra la verborrea, el
sinsentido, la falta de responsabilidad en la
afirmacin de enunciados, contra el
irracionalismo. J.M. BOCHENSKI.
Definicin
Es la disciplina que ayuda a determinar si
los razonamientos son vlidos o no. Parte
de un conjunto de informaciones para
deducir otra.
 Un captulo importante de la lgica es la teora de
las proposiciones.
La teora de las proposiciones comprende dos
ramas: la sintaxis y la semntica.
LA SINTAXIS.- trata de la estructura y
conformacin de proposiciones.
LA SEMNTICA.- trata de los conceptos
relacionados con la interpretacin de las
proposiciones, tales como veracidad, implicacin
etc.
 Las operaciones de la mente son: concebir, juzgar
y razonar. Estas operaciones son procesos
temporales despus de los cuales obtenemos
resultados.
As el resultado de concebir es el concepto o
idea.
As el resultado de juzgar es el juicio.
As el resultado de razonar es el razonamiento.
 Un concepto o idea se expresa mediante la
palabra.
El juicio se expresa mediante la
proposicin.
El razonamiento se expresa mediante el
discurso o argumentacin.
 El pensamiento est constituido por: el concepto,
el juicio y el razonamiento.
Ejemplos:
Concepto: Lgica
Juicio: La lgica es una ciencia
Razonamiento: Si se estudia, se sabe
Juan estudia
Luego, Juan sabe
 Concepto de proposicin
Sentencias declarativas afirmativas del cual tiene
sentido afirmar que sea verdadera o que sea falsa
Ejemplos:
La luna es cuadrada
La nieve es blanca
La matemtica es una ciencia
no son objeto de estudio las sentencias
interrogativas y exclamativas
 Los smbolos del lenguaje del
clculo proposicional
Variable proposicional.- letras latinas
minsculas p,q,r,s,.... para indicar las
proposiciones (frmulas atmicas) .

Ejemplos:
La luna es cuadrada: p
La nieve es blanca: q
 CONECTIVOS LGICOS: Las frmulas atmicas
pueden ser combinadas entre si, para representar tales
combinaciones usaremos los conectivos lgicos :
: y , v: o , : si...entonces , : si y solamente si , ~:
no
Ejemplos:
La luna es cuadrada y la nieve es blanca. : p q
La luna es cuadrada o la nieve es blanca. : p v q
Si la luna es cuadrada entonces la nieve es blanca. :
p q ( p es antecedente y q consecuente)
La luna es cuadrada si y solamente si la nieve es blanca.
:pq
La luna no es cuadrada. : ~p
 Cuantificador, es la palabra que indica
cantidad y modifica a un sustantivo que
presenta un conjunto referencial o
universal. Segn el nmero de elementos
que considera del conjunto universal, el
cuantificador puede ser:
Tipo Sm Uso Significado
bolo
Universal, si considera a todos los
elementos del conjunto universal, es
x
U:
Para todo x que
pertenece a U se cumple
decir si todo valor que asume el sujeto p(X) p(x)
cumple lo indicado por la funcin Cualquier x de U,
proposicional. cumple p(x)

Existencial, si considera a algunos

elementos del conjunto universal, es
X
U/
Existe x perteneciente
a U que cumple p(x)
decir si por lo menos un valor que p(X) Algn x de U cumple
asume el sujeto cumple lo indicado por p(x)
la funcin proposicional.
Smbolos auxiliares:
( ), parntesis que sirven para denotar el
alcance de los conectivos.
Ejemplos:
Si la luna es cuadrada y la nieve es blanca,
entonces la luna no es cuadrada:
(p q) ~p
Funcin veritacional
Es la funcin cuyos argumentos son
proposiciones: r = f(p,q)

Existe una correspondencia entre los

valores de verdad de los argumentos de
una funcin veritacional y el valor o
valores de verdad de la funcin
 Las tablas de verdad
La lgica clsica es gobernada por tres
principios que pueden ser formulados
como sigue:
1. Principio de identidad. Todo objeto es
idntico a si mismo.
2. Principio de contradiccin. Dada dos
proposiciones contradictorias (una es
negacin de la otra) una de ellas es falsa.
 Las tablas de verdad
3. Principio del tercio excluido. Dadas dos
proposiciones contradictorias una de ellas
es verdadera.
De acuerdo a estos principios las
proposiciones simples son o verdaderas o
falsas, por eso se dice que la lgica clsica
es bivalente.
 Las tablas de verdad
Para determinar el valor de las
proposiciones compuestas (moleculares),
conociendo los valores de las
proposiciones simples (atmicas) que las
componen usaremos tablas de verdad
 tabla de verdad de la negacin
~p es verdadera (falsa) si y solamente si p es falsa
(verdadera).

p ~p
V F
F V
tabla de verdad de la conjuncin
La conjuncin es verdadera si y solo si p, q son
verdaderos.

p q pq
V V V
V F F
F V F
F F F
tabla de verdad de la disyuncin
La disyuncin es falso si y solo si p y q son
falsos.

p q pvq
V V V
V F V
F V V
F F F
tabla de verdad de la implicacin
La implicacin es falsa si y solo si el
antecedente es verdadero y el consecuente
falso.

p q pq
V V V
V F F
F V V
F F V
 tabla de verdad de la bicondicional
La bicondicional es verdadera si y solo si sus
componentes son ambos verdaderos o ambos
falsos.

p q pq
V V V
V F F
F V F
F F V
 Tabla de verdad de la disyuncin
exclusiva
Es la negacin de pq se denota por p q y su
tabla est dada por:

p q p q
V V F
V F V
F V V
F F F
Funcin de Sheffer o de
incompatibilidad
Es la negacin de la conjuncin se
denota por pq y su tabla es:
p q p| q
V V F
V F V
F V V
F F V
Funcin de Nicod o de negacin
conjunta
Es la negacin de la disyuncin, se
denota por pq y la distribucin de
valores de verdad est dada por:
p q pq
V V F
V F F
F V F
F F V
Ejercicios
Determinar la distribucin de valores de
cada una de las siguientes funciones
veritacionales:
a. f(p,q) = (p q) (p v ~q)
b.f(p,q,r) = (p v q) ((q v r) (~q r))
c. f(p,q,r) = ((p q) | (qr)) (~p v r)
Tautologa
Es una funcin veritacional cuyos valores
de verdad son todos verdaderos
cualesquiera que sean los valores de
verdad de los argumentos.
Ejemplo:
f(p) = p v ~p
Contradiccin
Es una funcin veritacional cuyos valores
de verdad son todos falsos cualquiera que
sean los valores de verdad de los
argumentos.
Ejemplo:
f(p) = p ~p
Contingencia
Es una funcin veritacional cuyos valores
de verdad son unos verdaderos y otros
falsos.
Ejemplo:
f(p,q) = p q
Funciones veritacionales equivalentes

Se dice que dos funciones veritacionales

son equivalentes si tienen la misma
distribucin de valores de verdad.
Ejemplo:
f(p,q,r) = p (q v r)
g(p,q,r) = (p q) v (p r)
Determinacin de k frmulas del nmero
posible de funciones veritacionales segn el
n de argumentos
Funciones de una variable

p f1 f2 f3 f4
V V V F F
F V F V F
 f1(p) = p v ~p
f2(p) = p
f3(p) = ~p
f4(p) = p ~p
 Funciones de dos variables

p q f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 f16

V V V V V V V V V V F F F F F F F F
V F V V V V F F F F V V V V F F F F
F V V V F F V V F F V V F F V V F F
F F V F V F V F V F V F V F V F V F
 f1(p,q) =U(p,q) f9(p,q) = p|q
f2(p,q) = p v q f10(p,q) = p q
f3(p,q) = q pf11(p,q) = ~q
f4(p,q) = p f12(p,q) = ~(p q)
f5(p,q) = p qf13(p,q) = ~p
f6(p,q) = q f14(p,q) = ~(q p)
f7(p,q) = pq f15(p,q) = ~(p v q)
f8(p,q) = p q f16(p,q) = N(p,q)
Convencin notacional
Orden de procedencia.- Con los conectivos
lgicos ~, , v, , se establece una
relacin de procedencia en lo relativo a su
alcance
El alcance del conectivo es mayor que
el alcance del conectivo ~
Convencin notacional
El alcance del conectivo v es mayor que el
alcance del conectivo
El alcance del conectivo es mayor que
el alcance del conectivo v
El alcance del conectivo es mayor que
el alcance del conectivo v
Los conectivos y tienen el mismo
alcance
Ejemplos
1) ~p q = (~p ) q
2) p ~q r = p ( ~q ) r
3) p q v r = (p q ) v r
4) ~p v q ~r = ( ~p ) v [q ( ~r )]
5) p v q r = (p v q) r
6) p v~q~p r vp = [p v(~q ~p)] (r v p)
7) p q r ambiguedad
Expresin de una funcin
veritacional por medio de otras
1) p q = ~(~p v ~q)
2) p v q = ~(~p ~q)
3) p q = ~p v q
4) p q = ~(p ~q)
5) p q = ~(p ~q)
6) p v q = ~p q
7) p q = ~(p ~q) ~(q ~p)
Ejercicio
Expresar la funcin veritacional:
(p q) v (p v q)
en trminos de la conjuncin y negacin

solucin
Reducibilidad de funciones veritacionales de
ms de dos argumentos

N(f(p,q,r)) = 28 = 256

(p q) r = p (q r)
Teorema de Post
Una funcin veritacional de cualquier
nmero de argumentos puede expresarse
en trminos de la conjuncin con el uso de
la negacin
Prueba
Caso particular: Sea f una funcin
veritacional cuya distribucin de valores
de verdad es la siguiente: VFVVFVVV
Regla
Para transformar una funcin veritacional
de cualquier nmero de argumentos en una
conjuncin haciendo uso de la negacin, se
procede de la siguiente manera:
1. Se determina la distribucin de valores de
verdad de la funcin dada.
2. Se niegan los argumentos correspondientes
a las F al arreglo de valores argumentales
relativo a cada F de la distribucin de
valores de la funcin dada.
3. Se unen mediante el conectivo lgico
los argumentos negados y no negados y
luego la conjuncin as obtenida se niega.
4. Las conjunciones negadas se unen
nuevamente con el conectivo , la funcin
resultante es la pedida
Excepcin una tautologa.
Ejemplo: Haciendo uso de la negacin
expresar la funcin veritacional:
como a) una conjuncin b) una disyuncin