Tablas de verdad

¿Qué son las tablas de
verdad?
Gloria Rodríguez Morúa
¿Qué son?
Son gráficos que nos sirven para conocer los
valores de verdad de las proposiciones
compuestas
¿De qué se
componen?
p
q
p^q
v
v
v
v
f
f
f
v
f
f
f
f
 Está compuesta de columnas y renglones
pνq
 Hay una tabla de verdad para cada conectiva lógica
Cada proposición tiene sólo dos valores
Verdadero
V
Falso
F
Valores de
proposición
La llama es un rumiante
La lagartija es ovíparo
La ballena es mamífero
México significa ombligo del
universo
Cantona es una zona
arqueológica de México
Para encontrar el número de la combinación
de valores se aplica la formula
2n
en donde n es el número de variables
2n=2x1= 2
Negación
P
˜P
V
F
F
V
Regla: Una proposición que es
verdadera es falsa
2n=2x1
Conjunción
p^q
p
q
p^q
v
v
v
v
f
f
f
v
f
f
f
f
Aplicamos la fórmula: 2n = 22 = 2 x 2 = 4
Regla: Su Verdad depende de sus dos enunciados. Es
verdadera solo si ambas verdaderas, y es falsa cuando
al menos uno de los enunciados es falsa.
2n=2x2.
Disyunción Inclusiva
pνq
Presenta una disyuntiva es decir,
una alternativa entre dos
enunciados, puede ser inclusiva o
exclusiva.
p
q
p νq
v
v
v
v
f
v
f
v
v
f
f
f
Regla: Es verdadera si al menos una de las dos es
verdadera.
O el Quijote lo escribió Miguel de Cervantes
o lo escribió Juan Ruíz de Alarcón
p
q
p ν q
DISYUNCIÓN EXCLUSIVA
v
v
f
pνq
v
f
v
f
v
v
f
f
f
Regla: es falsa si ambos
componentes son verdaderos o
falsos
Aplicamos la fórmula: 2n = 22 = 2 x 2 = 4
p
q
v
v
v
Condicional o
implicación
v
f
f
f
v
v
Expresa la condición que existe
entre dos enunciados.
f
f
v
p
q
p
q
Si en México se respetan los derechos humanos entonces
hay libertad de expresión
Regla: La proposición condicional es falsa sólo en
caso que el antecedente sea verdadero y el
consecuente falso (VF). En los demás es verdadera.
 2n=2x2
Bicondicional
p
q
p
q
p
q
v
v
v
v
f
f
f
v
f
f
f
v
 Me dejarán elegir carrera si y solo sí tengo promedio
de 8
 Regla: Es verdadera cuando ambas proposiciones son
verdaderas o ambas falsas.
Resultados
Tautologico (V)
Contingente
(VF)
Contradictorio
(F)
 Bibliografía
 Castrejón, R. M. (2007). Introducción a la lógica proposicional.
México: Torres Asociados.
 Chávez, P. (1994). Lógica, Introducción a la Ciencia de la
Razonamiento. México: Publicaciones Cultural.
 Escobar, G. (2006). Lógica, nociones y aplicaciones. México:
McGraw Hill.