Lógica Proposicional
Guía
Lógica Proposicional
Tema IV: Tablas de Verdad
Lógica Proposicional
1.1 CALCULO PROPOSICIONAL
1.1.1. FORMULAS.
Con estos cinco conectivos lógicos con los que se han trabajados expresiones tales como p q, p q, p q, p q y p;
se construyen proposiciones compuestas más complejas, haciendo combinaciones de las anteriores. Entonces es necesario
especificar la manera en que los símbolos (variables proposicionales y conectores lógicos) pueden colocarse juntos.
DEFINICIÓN. Fórmula.
Fórmula es una expresión que contiene una secuencia finita o cadena de variables
proposicionales simples o atómicas (p, q, r, etc.) y conectores lógicos (, , , , ,
etc.) que satisface las siguientes reglas:
(1) Cualquier variable proposicional es una fórmula.
(2) Si p es una fórmula, entonces p es una fórmula.
Lógica Proposicional
(3) Si p y q son fórmulas, entonces p q, p q, p q, p q y p son
fórmulas.
El valor de verdad de una fórmula dependerá de los valores de verdad de las variables proposicionales simples o atómicas que
la componen. El número de combinaciones que tengamos en una tabla de verdad dependerá del número de variables
proposicionales distintas que intervengan en la fórmula, siendo igual a 2 n, donde n es el número de variables proposicionales
diferentes que intervienen en ella.
Ejemplo ilustrativo: Construir la tabla de verdad para la fórmula
[(p q) ( p)] q:
Solución:
En este caso, en la fórmula intervienen dos variables proposicionales distintas, por lo tanto se tienen 2 2 = 4 combinaciones
posibles.
p q pq p (p q) ( p) [(p q) ( p)] q.
V V V F F V
Lógica Proposicional
V F V F F V
F V V V V V
F F F V F V
DEFINICIÓN. Fórmula tautológica.
Se dice que una fórmula es tautológica o tautología si y sólo si su valor de verdad es
verdadero, independientemente de que los valores de verdad de sus variables
proposicionales componentes sean falsos o verdaderos. Es decir, una tautología es
una proposición compuesta que siempre es verdadera.
En la Lógica, tenemos varias tautologías que son importantes. Entre ellas, tenemos:
La ley del medio excluido: p p
La ley de no contradicción: (p p)
La ley de la inferencia contrapositiva (o Modus Tollendo Tollens):
[(p q) ( q)] p
Lógica Proposicional
Ejemplo:
p q (pvq) (pvq)→q
V V V V
V F F V
F V V V
F F V V
p q r (p→q) (q→r) (p→q)^(q→r) (p→r) [(p→q)^(q→r)]→(p→r)]
V V V V V V V V
V V F V F F F V
V F V F V F V V
V F F F V F F V
F V V V V V V V
F V F V F F V V
F F V V V V V V
F F F V V V V V
Lógica Proposicional
p q r s (p→q) (r^~s) q→(r^~s) (p→q)^[q→(r^~s)] (rvs) p→(rvs) {(p→q)^[q→(r^~s)]}→[p→(rvs)]
V V V V V F V V V V V
V V V F V V V V V V V
V V F V V F F F V V V
V V F F V F F F F F V
V F V V F F V F V V V
V F V F F V V F V V V
V F F V F F V F V V V
V F F F F F V F F F V
F V V V V F F F V V V
F V V F V V V V V V V
F V F V V F F F V V V
F V F F V F F F F V V
F F V V V F V V V V V
F F V F V V V V V V V
F F F V V F V V V V V
F F F F V F V V F V V
Ejemplo ilustrativo: Mostrar, mediante una tabla de verdad, la veracidad de ley de la inferencia contrapositiva (o Modus Tollendo
Tollens):
[(p q) ( q)] p
Lógica Proposicional
Solución:
p q pq q (p q) ( q) p [(p q) ( q)] p
V V V F F F V
V F F V F F V
F V V F F V V
F F V V V V V
Lógica Proposicional
DEFINICIÓN. Fórmula contradictoria.
Se dice que una fórmula es contradictoria o una contradicción si y sólo si su valor de
verdad es falso, independientemente de que los valores de verdad de sus variables
proposicionales componentes sean falsos o verdaderos. Es decir, una contradicción
es una proposición compuesta que siempre es falsa.
Ejemplo:
p q (pvq) (pvq)→q ~[(pvq)→q]
V V V V F
V F F V F
F V V V F
F F V V F
Lógica Proposicional
(q→r ~[(p→q)^(q→r)]→(p→r)
p q r (p→q) ) (p→q)^(q→r) (p→r) [(p→q)^(q→r)]→(p→r)] ]
V V V V V V V V F
V V F V F F F V F
V F V F V F V V F
V F F F V F F V F
F V V V V V V V F
F V F V F F V V F
F F V V V V V V F
F F F V V V V V F
p q r s (p→q) (r^~s) q→(r^~s) (p→q)^[q→(r^~s)] (rvs) p→(rvs) (p→q)^[q→(r^~s)]}→[p→(rvs)] ~ {(p→q)^[q→(r^~s)]}→[p→(rvs)]}
V V V V V F V V V V V F
V V V F V V V V V V V F
V V F V V F F F V V V F
V V F F V F F F F F V F
V F V V F F V F V V V F
V F V F F V V F V V V F
V F F V F F V F V V V F
V F F F F F V F F F V F
F V V V V F F F V V V F
F V V F V V V V V V V F
F V F V V F F F V V V F
F V F F V F F F F V V F
Lógica Proposicional
F F V V V F V V V V V F
F F V F V V V V V V V F
F F F V V F V V V V V F
F F F F V F V V F V V F
Ejemplo ilustrativo 1: Mostrar, mediante una tabla de verdad, la ley de contradicción: p p.
Solución:
p p pp
V F F
F V F
Ejemplo ilustrativo 2: Probar que la expresión (p q) ( p q) es una contradicción:
Solución:
A B
p q pq p pq ( p q) AB
V V V F V F F
V F F F F V F
Lógica Proposicional
F V V V V F F
F F V V V F F
DEFINICIÓN. Fórmula sintética o contingencia.
Se dice que una fórmula es sintética o contingencia si y sólo si la misma no es una
tautología ni una contradicción.
Ejemplo:
p q (p^q) (p^q)↔p
V V V V
V F F F
F V F V
F F F V
Lógica Proposicional
p q r (p^q) (p^q)↔r
V V V V V
V V F V F
V F V F F
V F F F V
F V V F F
F V F F V
F F V F F
F F F F V
p q r s (p↔q) (r^s) (p↔q)→(r^s)
V V V V V V V
V V V F V F F
V V F V V F F
V V F F V F F
V F V V F V V
V F V F F F V
V F F V F F V
V F F F F F V
F V V V F V V
F V V F F F V
F V F V F F V
F V F F F F V
F F V V V V V
F F V F V F F
F F F V V F F
F F F F V F F
Lógica Proposicional
Ejemplo ilustrativo: Mostrar que la fórmula no es tautología ni contradicción:
p ( q r) (p q) ( r)
Solución:
En este caso, en la fórmula intervienen 3 variables proposicionales distintas, por lo tanto se tienen 23 = 8 combinaciones
posibles.
A B
p q r q qr p ( q r) pq r (pq) ( r) AB
V V V F V V V F V V
V V F F F F V V V F
V F V V V V F F F F
V F F V V V F V V V
F V V F V V F F F F
F V F F F V F V V V
F F V V V V F F F F
Lógica Proposicional
F F F V V V F V V V
La expresión p ( q r) (p q) ( r) representa una fórmula sintética o contingencia.
1.1.2. REGLAS DEL CÁLCULO PROPOSICIONAL
DEFINICIÓN. Proposiciones Lógicamente Equivalentes.
Las proposiciones compuestas P y Q son lógicamente equivalentes si y solo si
siempre tienen el mismo valor de verdad; es decir, P Q es siempre una
tautología. Algunas veces se denota por P ≡ Q. En este artículo se usa el símbolo
para denotar que P y Q son lógicamente equivalentes.
Se presenta a continuación una lista de importantes tautologías seleccionadas por su utilidad. Estas tautologías pueden
demostrarse con tablas de verdad. En la lista V representa una tautología y F una contradicción.
1. Leyes de identidad: a. (p F) p b. (p V) p
2. Leyes de dominación: a. (p V) V b. (p F) F
Lógica Proposicional
3. Leyes de Idempotencia: a. (p p) p b. (p p) p
4. Ley de la doble negación: ( p) p
5. Ley de contradicción: (p p) F
6. Ley de la no contradicción: (p p)
7. Ley de complemento (p p) V
8. Ley del tercio excluido: pp
a. (p q) (q p)
9. Leyes conmutativas: b. (p q) (q p)
c. (p q) (q p)
a. p (q r) (p q) r
10. Leyes asociativas: b. p (q r) (p q) r
c. p (q r) (p q) r
a. p (q r) (p q) (p r)
11. Leyes distributivas: b. p (q r) (p q) (p r)
c. p (q r) (p q) (p r)
Lógica Proposicional
d. p (q r) (p q) (p r)
a. (p q) (q r) (p r)
12. Leyes transitivas:
b. (p q) (q r) (p r)
a. (p q) ( p q)
13. Leyes de Demorgan:
b. (p q) ( p q)
a. (p q) ( p q)
14. Leyes de implicación:
b. (p q) [ (p q)]
(Equivalencias del condicional)
c. (p q) (p q)
15. Ley de la contrarrecíproca:
(p q) ( q p)
(o de la contraposición)
16. Ley de reducción al absurdo: [(p q) (r r)] (p q)
17. Ley del razonamiento directo:
[(p q) p] q
(Modus Ponendo Ponens)
18. Ley del razonamiento indirecto:
[(p q) q] p
(Modus Tollendo Tollens)
19. Ley del silogismo disyuntivo: [(p q) p] q
Lógica Proposicional
(Modus Tollendo Ponens)
a. (p q) p
20. Leyes de simplificación:
b. (p q) q
21. Ley de adjunción o adición: p (p q)
22. Ley de inferencia por casos: [(p q) (p r)] [p (q r)]
a. [(p q) (p r)] [p (q r)
23. Equivalencias del condicional: b. [(p q) (p r)] [p (q r)
c. [(p r) (q r)] [(p q) r]
a. (p q) (p q) (q p)
b. (p q) ( p q)
24. Equivalencias del bicondicional:
c. (p q) (p q) ( p q)
d. (p q) (p q)
