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 pq 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 pq 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 pp

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 pq p pq  ( p  q) AB

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 qr p  ( q  r) pq r (pq)  ( r) AB

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: pp

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)