TABLAS DE VERDAD

LA CONJUNCIN.
Smbolo gramatical: y
Smbolo lgico: ^
p: 3 es un nmero impar.
q: 12 es divisible por 4.
P ^ q: 3 es un nmero impar y 12 es divisible por 4.
Julio le dice a Juan Carlos: Te dejo salir a jugar cuando hagas la tarea de
matemticas y el mapa de geografa. Juan Carlos, que es inteligente pero
perezoso, entiende que es verdad que puede salir a jugar cuando realice las dos
tareas ordenadas. Por lo tanto:
VALOR DE VERDAD DE LA CONJUNCIN

Dadas dos proposiciones p y q, la proposicin p ^ q es verdadera slo cuando

ambas proposiciones lo sean y es falsa en los dems casos.
Este anlisis podemos resumirlo en el siguiente esquema llamado tabla de
verdad; as:
p
v
v
f
f

q
v
f
v
f

p
v
f
f
f

LA DISYUNCIN.
Smbolo gramatical (o)
Smbolo lgico (v)
p: 15 es mltiplo de 5.
q: 9 es un nmero primo.
P v q: 15 es mltiplo de 5 o 9 es un nmero primo.
Julio le dice a Juan Carlos Te dejo salir a jugar cuando hagas la tarea de
matemticas o el mapa de geografa. En esta ocasin, Juan Carlos sabe que es
que es VERDAD que sale a jugar cuando es verdad que hace ambas cosas o por
lo menos una de ellas; adems, no podr salir al parque si deja de hacer ambas
cosas. Por lo tanto:
VALOR DE VERDAD DE LA DISYUNCIN
La disyuncin de dos proposiciones p, q es verdadera cuando lo sea al menos una
de las proposiciones simples y es falsa cuando ambas sean falsas; es decir.
p
v

q
v

P q
v

v
f
f

f
v
f

V
V
f

IMPLICACIN
Una implicacin es una proposicin condicional en la cual:
Las proposiciones estn lgicamente relacionadas.
La conclusin o tesis es una consecuencia lgica de la hiptesis.
Para indicar que p implica q escribimos
pq
Implicacin de las proposiciones p y q es la proposicin compuesta p q,
anteponiendo a la primera proposicin la palabra Si, y uniendo ambas mediante la
palabra entonces. En este caso las proposiciones p y q reciben el nombre de
antecedente y consecuente respectivamente. Ejemplo: Dadas las proposiciones: p:a
y b son nmeros pares q: la suma entre a y b es un nmero par La implicacin
entre ambas es : pq: Si a y b son nmeros pares, entonces la suma entre a y b es
un nmero par Analizando la proposicin se deduce que lo nico ilgico, o sea falso,
se presenta cuando la primera proposicin (p) es verdadera y la segunda (q) es falsa.
Simblicamente:( p q ) es F En consecuencia: ( p q ) es V Considerando
este anlisis son equivalentes las proposiciones : pq y ( p q )
Luego la tabla de verdad correspondiente para esta proposicin, tiene la
siguiente estructura:

BICONDICIONAL
El bicondicional pq, que leemos "p si y solo si q" o "p es equivalente a q," se
define por la siguiente tabla de verdad.
La flecha "" es el operador bicondicional.

Ten en cuenta que, en la tabla de verdad, vemos que, para pq ser verdadera,
ambas p y q deben tener los mismos valores de verdad; s no, es falsa la
conversa.