Leyes de la lógica

Dr. Rolando Vásquez Jaico

Tautologías y contradicciones

1. Si la tabla de verdad de la proposición es siempre verdadera,

independientemente de la verdad o falsedad de las proposiciones
simples, entonces la expresión es tautológica.
2. Si la tabla de verdad es siempre falsa, será una contradicción.
3. Si es verdadera y falsa, la proposición es una contingencia.

El conjunto de los posibles valores de una proposición p, los representaremos en

las llamadas tablas de verdad, ideadas por L.Wittgensteinl.

Ejemplo 1: tautología
 ((p)  q)  q   p

p q p q (p )  q (( p )  q )  q  ((p )  q )  q   p
V V F F V
F
F V
V F F V V F V
F V V F V F V
F F V V V V

3
 Ejemplo 2: Tautología
p q pV q ¬q ¬ q ⇒ p (pV q) ⇒( ¬ q⇒ p)
1 1 1 0 1 1
1 0 1 1 1 1
0 1 1 0 1 1
0 0 0 1 0 1

4
Ejemplo 3: Contradicción
p q ¬q p∧ ¬ q (p∧ ¬ q) ∧ q

1 1 0 0 0
1 0 1 1 0
0 1 0 0 0
0 0 1 0 0

5
 CONTRADICCIÓN
• A toda proposición simple o compuesta que es siempre FALSA para

todas las combinación de valores de verdad de sus componentes se

le llama CONTRADICCIÓN y se le denota simplemente por F ó 0.

Ejemplo de Contradicción

p q q pq ( p  q)  q  ( p  q )  q   q
V V F V V F
F
V F V F F
F V F F V F
F F V F F F

6
 CONTRADICCIÓN

Ejemplo. Si se tiene
p: “El coche es verde”, la proposición p∧¬p equivale a decir que "El coche es
verde y el coche no es verde".
Por lo tanto se esta contradiciendo, es decir, es una falacia.

p ¬p p∧¬ p
1 0 0
0 1 0

7
 Ejercicio 1
•  principio fundamental del razonamiento lógico, la ley
Un
del silogismo: “Si p implica q y q implica r, entonces p
implica a r”

1) Probar que es una tautología.

2) Probar que la negación de este principio es una
contradicción.

Si P(p; q; …) es una tautología, entonces ¬ P(p; q; …) es una

contradicción y viceversa.
Ejercicio 2 : De las siguientes proposiciones seleccionar: 2
tautologías, 2 contingencias y 2 contradic­ciones.

1. (p ⇒ q) ∧ (q ⇒ p)

2. [p ∧ (q V r)] ⇒ [(p ∧ q) V (p ∧ r)]

3. (p V ¬ q) ⇒ q

4. p ⇒ (p V q)

5. (p ∧ q) ⇒ p

6. [(p ∧ q) ⇔ p] ⇒ (p ⇔ q)

7. [(p ⇒ q) V (r ⇒ s)] ⇒ [(p V r) ⇒ (q V s)]

8. (p v q) ∨ (q v p)

9. (p v q) ∧ ¬ (q v p)

10. ¬ (q v p) ∨ ¬ p ∧¬ q

11. p ⇒ q ∧ q ⇒ p

12. ((p ⇒q) ∧ (q ⇒p)) ⇔ (p⇔q)

9
 Ejercicios 3
1) Sea
p: Hace frío
q: Está lloviendo.
Escribir con un enunciado verbal las
siguientes aserciones.
¬p q⇔p ¬¬q

p˄q q˅¬p (p˄¬q) p

p˅q ¬p˄¬q
¬q p ⇔ ¬q
 Ejercicio 4
• Hallar
2)   la tabla de verdad de cada proposición.
a) (p q) V ¬ (p ⇔ ¬q)
b) [p ¬ q V r)] ∧ ¬[(q V( p ⇔ ¬r)]
c) [p ∧ ¬ q p)] ∧ ¬[(p ⇔ ¬q) (q V ¬p]
d) p ¬ q ≡ q ¬ p
 Ejercicios 5
3) Sea
p: El es alto
q: El es galán
Escribir los siguientes enunciado en forma simbólica con
p y q.

Él es alto y galán
Él es alto pero no es galán
Es falso que él es bajo o galán
É
Él es alto, o él es bajo y galán
 Ejercicios 6
4) Escribir el valor de verdad de cada
uno de los siguientes enunciados.
Si 3+2=7, entonces 4+4=8
No es verdad que 2+2=5 si, y solo si, 4+4=10
Lima está en Chile o París está en Inglaterra
No es verdad que 1+1=3 o que 2+1=3
Es falso que si París está en Inglaterra, entonces Londres está
en Francia
 Ejercicios 7
•  
5) Verificar, por tablas de verdad, que la negación de
p ˄q, p V q, p ⇒ q, p ⇔ q
es lógicamente equivalente a
¬ p V ¬ q, ¬ p ∧ ¬ q, p ˄ ¬ q, p ⇔ ¬ q o ¬ p ⇔ q ,
Respectivamente. Es decir verificar que
¬ (p ∧ q) ≡ ¬ p V ¬ q
¬ (p V q) ≡ ¬ p ∧ ¬ q
¬(p q) ≡ p ˄ ¬ q
¬(p ⇔ q) ≡ p ⇔ ¬ q ≡ ¬ p ⇔ q
6) Demostrar que la operación condicional es distributiva respecto de la operación de
conjunción:
p (q ˄ r) ≡ (p q) ˄ (p r)
7) Decir entre lo que sigue qué es verdadero o falso:
a) p p ˄q
b) p p Vq
Ejercicio 8.

Probar que las siguientes proposiciones son tautologías:

a) p ∧ q ⇒ q S (Simplificación)
b) p ⇒ p V q A (Adición)
a) q ⇒ (p ⇒ q)
C (Condicional)
b) (p ⇒ q) ∧ (q ⇒ r) ⇒ (p ⇒ r)
SH (Silogismo hipotético)
c) (p ⇒ q) ∧ (r ⇒ s) ∧ (p V r) ⇒ q
SD (Silogismo disyuntivo)
V s
MP (Modus (ponendo) ponens)
d) [(p ⇒ q) ∧ p] ⇒ q
MT (Modus (tollendo) tollens)
e) [(p ⇒ q) ∧ ¬q] ⇒ ¬ p
 LEYES DEL ÁLGEBRA
PROPOSICIONAL
•• Aquellas fórmulas lógicas que resultan ser siempre
 
verdaderas no importa la combinación de los valores
veritativos de sus componentes, son tautologías o leyes
lógicas.
• En el cálculo proposicional existen algunas tautologías
especialmente útiles cuya demostración se reduce a la
confección de su correspondiente tabla de verdad.
• Principios de la lógica:
1. Principio de identidad: p ⇒q
2. Principio de no contradicción: (p ∧ p)
3. Principio del tercio excluso:
 Leyes del álgebra proposicional
 1. Ley de la doble negación: P)⇔P
2. Leyes de la simplificación: (p ∧q) ⇒p
(p ∧q) ⇒q
3. Leyes de la Idempotencia de la conjunción y la disyunción.
p ∧ p ⇔ p; p v p ⇔ p
4. Ley de la adición: p ⇒(p v q)
5. Leyes conmutativas de la conjunción y la disyunción.
p ∧ q ⇔ q ∧ p; p v q ⇔q v p; (p ⇔q) ⇔ (q ⇔q)
6. Leyes asociativas de la conjunción y la disyunción. .
⇔[p ∧(q ∧ r)] ; [(p v q) v r] ⇔[p v (q v r)]
[(p ∧ q) ∧ r]
7. Leyes distributivas de ∧ respecto de V y de V respecto de ∧ .
[p ∧ (q v r)] ⇔ [(p ∧ q) v (p ∧ r)]; [p v (q ∧ r)] ⇔ [(p v q) ∧ (p v r)]
Leyes del álgebra proposicional
 8. Leyes del silogismo disyuntivo: [(p v q ) ∧ ⇒p
[(p v q ) ∧ ⇒ q
9. Identidad:
pv0⇔p pv1⇔1
p∧0⇔0 p∧1⇔p
10. Absorción total:
p ∧(p v q )⇔ p
p v (p ∧ q )⇔ p
11. Absorción parcial:
p ∧(p v q )⇔ p ∧q
p v (p ∧ q )⇔ p v q
 Leyes del álgebra proposicional
 
12. Complemento
pvP⇔1 p∧P⇔0
1⇔0 0⇔1
13. Leyes de De Morgan
(P V Q) ⇔ P ∧ Q;
(P ∧ Q) ⇔ P V Q
14. Leyes de dominación
PV 1 ⇔1; P ∧ 0 ⇔0
15. Leyes de identidad
P ∧ 1⇔P; P V 0 ⇔P

16. Implicación: ( p ⇒ q ) ⇔ p v q
17. Exportación: [p ⇒(q ⇒r)]⇔[(p ∧ q) ⇒r]
 Leyes del álgebra proposicional
 
18. Contrarrecíproca: (p ⇒q) ⇔[q⇒p)]
19. Reducción al absurdo: p ⇒q ⇔[(q)⇒]
20. Ley del Modus Ponendo Ponens:
[ ( p ⇒ q ) ∧ p] ⇒ q
21. Ley del Modus Ponendo Ponens:
[ ( p ⇒ q ) ∧q] ⇒ p
22. Leyes de la bicondicional:
(p ⇔q) ⇒(p⇒)
(p ⇔q) ⇒(q⇒)
(p ⇔q) ⇔[(p⇒) ∧ (q⇒)]
 Implicaciones lógicas

  1. Adición: P ⇒ (P V Q)
2. Simplificación: (P ∧ Q) ⇒ P
3. Ley del Modus Ponendo Ponens (Modus Ponens). Dado un condicional y afirmando
("Ponendo") el antecedente, se puede afirmar ("Ponens") el consecuente.
[(P ⇒ Q) ∧ P] ⇒ Q

4. Ley del Modus Tollendo Tollens (Modus Tollens). Dado un condicional y negando
("Tollendo") el consecuente, se puede negar ("Tollens") el antecedente.
[(P ⇒ Q) ∧ Q] ⇒ P

5. Leyes de los Silogismos Hipotéticos.

[(P ⇒ Q) ∧ (Q ⇒ R)] ⇒ (P ⇒ R)
[(P ⇔ Q) ∧ (Q ⇔ R)] ⇒ (P ⇔ R)

6. Leyes de los silogismos disyuntivos.

 7. Ley del dilema constructivo
[ P ∧( P V Q ) ] ⇒ Q
[(P ⇒ Q) ∧ (R ⇒ S) ∧ ] ⇒ )
[P ∧( VQ) ⇒ Q 8. Contradicción
[(P ⇒ C) ⇒
Simplificar la siguiente expresión:

;  
? V=V
•    

• p
 Simplificar la siguiente expresión:
q) q)  
 

q) q)
q) q)
q)
q)
q)
q)
q)

q
Si p es una proposición falsa, determinar el valor
de verdad de la expresión

•  

••  F
• V
•
• p=V
Probar que la proposición es falsa
••  ]

• p, r, q
• 101
Considérese p verdadero. En que casos es
suficiente conocer el valor verdadero de p
para determinar el valor de las siguientes
proposiciones.

•1) 

•2) 

 
3)
Demostrar que la siguiente expresión es
equivalente a: )
{q)]
 
•  
q)]
q)]
]
]
]
Tabla de verdad
 De la falsedad de la proposición
•( 𝑝→¬
  𝑞)∨(¬ 𝑟→ 𝑠)
• Hallar
  el valor de verdad de las siguientes
expresiones:
1)
2) s
 Si la siguiente proposición
•[( 𝑝∧𝑞)→𝑟]→(𝑟∨
  𝑠)
• Es
  verdadera, entonces hallar el valor de
verdad de las siguientes expresiones:
1)
2)
 Ejemplo: La contrarrecíproca
p q ¬p ¬q p⇒q ¬q⇒¬p (p⇒q) ⇔(¬q ⇒¬p)

1 1 0 0 1 1 1
1 0 0 1 1 1 1
0 1 1 0 0 0 1
0 0 1 1 1 1 1

Se puede observar que las columnas de (p ⇒ q) y (¬ q

⇒ ¬ p) son iguales para los mismos valores de verdad,
por lo tanto se puede establecer que
(p ⇒ q) ≡ (¬ q ⇒ ¬ p)

30
 Demostraciones 1
  Cuáles de las siguientes proposiciones son lógicamente equivalente entre sí ?
¿
a) ( p v q) V(r ∧ p)
b) p ∧ (r ⇒ q)
c) q ⇒ p

 
Solución
a) ( p V q) V(r ∧ p)
= (q v p) V( ∧ r)
=[q v[( p ∧ r)] v [ p v ( p ∧ r)]
=q v[( p ∧ r) v( p)]
=q v p ; absorción
= pvq
=p ⇒ q ; c o n t r a r r e c í p r o c a
=q ⇒p
b) p ∧ (r ⇒ q)= p ∧ (r V q)

c) q ⇒ p
=q V p
= q V p= p V q= p ⇒ q
= q ⇒ p.
a) es lógicamente equivalente a c), es decir a) c)
 Demostraciones 2
 
Simplificar:
1. [(q ⇒ p) ∧ (p ⇒ q)] V (p ∧ q) V (p ∧ ))
2. [q ⇒ (p ⇒ q)] ⇒ [(p ⇒ q) ⇔ p]

Solución
  Solución:
 
[(q ⇒ p) ∧ (p ⇒ q)] V (p ∧ q) V (p ∧ )) Simplificamos primero: [q ⇒ (p ⇒ q)]
=[(q V p) ∧ (p V q)] V (p ∧ (q V )) = q ⇒ (p V q)]
=[(q V p) ∧ (p V q)] V (p ∧ 1) = q V(p V q)]
=[(q V p) ∧ (p V q)] V p = q Vp ]
=[(q V p) V p ] ∧ [( V q) V p] =q ∧ p
=[(q V p)V (p V p) ] ∧ [( V p) V ]
=[(q V p)V 1 ] ∧p V] ⇒ [(p ⇒ q) ⇔ p]
=1 ∧( p V = [(p ⇒ q) ⇒ p] ∧ [ p ⇒ (p ⇒ q) ]
=p V = [p ⇒ q) V p] ∧ [ p V (p ⇒ q) ]
=p ∧ = [ V q) V p] ∧ [p V (p V q) ]
= [ V q) V p] ∧ [p V (p V q) ]
=p ∧q) V p] ∧ [p V q ]
= p ∧ [p V q ]
= p ∧ p) V ( p ∧ q)
=0 V ( p ∧ q)
=p∧q
 Demostraciones 3
Demostrar que:
1. p Λ p ⇔ p
2. p ν p ⇔ p.

 Partiendo del primer miembro se llega al segundo así:

p Λ p ⇔ (p Λ p) ν 0, Identidad
⇔ (p Λ p) ν (p Λ p), Complemento
⇔ p Λ (p ν p), Distributiva
⇔ p Λ 1, Complemento
⇔ p Identidad

 Partiendo del segundo miembro se llega al primero así:

p ⇔ p ν 0, Identidad
⇔ p ν (p Λ p), Complemento
⇔ (p ν p) Λ (p ν p), Distributiva
⇔ (p ν p) Λ 1, Complemento
⇔ (p ν p), Identidad.
 Demostraciones 4
 Demostrar que:

(p ν q) Λ (p ν q) ⇔ q.
Demostración:
ν q) ⇔(q ν p) Λ (ν p ) , conmutativa
(p ν q) Λ (p
⇔q ν (p ), distributiva
⇔q ν 0, complemento
⇔q, identidad
 Demostrar las Leyes de De Morgan

 1. (p V q) ⇔ p ∧q
2. (p ∧ q) ⇔ pV q

 
1. (p V q) ⇔ p ∧q
En efecto, si (p V q) es verdad, entonces p V q es falso,
luego p y q son, ambas falsas ,
por lo tanto, p es verdad y q es verdad.
Consecuentemente, p ∧ q es verdad.

Por otra parte:

si (p V q) es falso, entonces p V q es verdad luego una de las dos proposiciones ha

de ser verdad y su negación falsa, luego p ∧q es, en cualquier caso, falso.

 Demostrar las Leyes de De Morgan
 (p ∧ q) ⇔ pV q

 
En efecto, si (p ∧q) es verdad, entonces p ∧ q es falso,
luego una de las dos proposiciones ha de ser falsa y su negación verdad,
luego (p V q) es verdad en cualquiera de los casos.

Por otra parte:

si (p ∧ q) es falso, entonces p ∧ q es verdad, luego p es verdad y q es verdad,

de aquí que p , q sean, ambas falsas,

consecuentemente, pV q sea falso.

 Verificar las leyes de los silogismos disyuntivos
[ P ∧( P V Q ) ] ⇒ Q

  [ P ∧( P V Q ) ] ⇒ Q

E n e f e c t o [ P ∧( P V Q ) ] e s v e r d a d , e n t o n c e s E S v e r d a d
y P V Q es verdad, de aquí que P sea falso y P V Q verdad,
por tanto Q ha de ser verdad

P Q P V Q P [ P ∧( P V Q ) [ P ∧( P V Q ) ] ⇒ Q

1 1 1 0 0 1
1 0 1 0 0 1
0
0 1
1 1
1 1
1 1
1 1
1
0 0 0 1 0 1
0 0 0 1 0 1

  [ P ∧( P V Q ) ] ⇒ Q E S U N A T A U T O L O G Í A

L u e g o , P ∧( P V Q ) i m p l i c a l ó g i c a m e n t e
Dadas las proposiciones p y q, demostrar que la negación de p ó
q implica lógicamente la negación de p.

 
(p V q) ⇒ p,

Es decir si cada vez que (p V q) es verdad, p también lo es.

En efecto, si (p V q) es verdad, entonces p V q es falso,

De aquí que p sea falso y, consecuentemente, p sea
verdad.
También podemos decir que si p es falso, entonces p es
verdad, luego p V q es verdad (cualquiera que sea el valor
de verdad de q) y, por lo tanto, (p V q) es falso.
 Equivalencia Lógica
  Dos formas proposicionales p y q se dicen equivalentes y se escribe p q si
sus tablas de verdad coinciden.
Se denota la equivalencia lógica por
Ejemplo: (p ⇒ q) ∧(q ⇒ p) y (p⇔ q)
Sus tablas de verdad son como sigue:

p q p ⇒q q ⇒p (p ⇒ q) ∧(q⇒ p) p q p⇔ q
1 1 1 1 1 1 1 1
1 0 0 1 0 1 0 0
0 1 1 0 0 0 1 0
0 0 1 1 1 0 0 1

  Luego (p ⇒ q) ∧(q ⇒ p) (p ⇔ q)
 Equivalencia Lógica
  Ejemplo 2: p ⇒q p V q

p q p ⇒q p q p pVq
1 1 1 1 1 0 1
1 0 0 1 0 0 0
0 1 1 0 1 1 1
0 0 1 0 0 1 1

Dos formas proposicionales p y q se dicen equivalentes si sus tablas de verdad

coinciden.
 Equivalencia Lógica
 
Teorema: La relación entre proposiciones definida por p q
es una relación de equivalencia. Es decir:

1. , entonces
2. entonces
 Ejercicios
•  
Trabajo en grupo:
El grupo desarrolla dos ejercicio en clase (por sorteo). Luego, el ejercicio es sustentado
por un representante del grupo. La calificación es por grupo.
Simplificar:
1) [p ˄ (p V ¬ q)] ⇒ ¬[q V(¬p ˄ ¬q]
2) p ¬p ˄ ¬(¬q p)
3) (¬ p q) V ¬ (q q)
4) ¬(p ˄ ¬ q) V q)
5) [¬(p q) ] ˄ (p V q)
6) ¬[p V(¬p V¬ q) ] ˄ (p V q)
7) [¬p ˄ (r q)] ⇔ [p V r) ˄ q) ]
8) [q ˄ (q ˄ q)
9) [(p V q) V (pV ˄ (r V)]
10)[q V [(p ˄ q)
 Circuitos lógicos
• Circuito en serie
p q

• Circuito en paralelo
p

q
 Simplificar
-p q

q
-q

p =p
 Participación en Aula
•
•   Demostrar las siguientes equivalencias:

• Expresar en circuitos lógicos

1) Hallar el equivalente del circuito:

a)
b)
Gracias