SEMANA 1

ACTIVIDAD
A las proposiciones se las representa con las letras
minúsculas: p, q, r, s, t, etc.
Ejemplos:
Vi la película = p
No vi la película =-p
No vi la película, ni leí la novela =-p ↓ - q

No vi la película, pero leí la novela =-p Ʌ q

Vi la película, pero no leí la novela =p Ʌ - q

Vi la película, y leí la novela = p Ʌ q

a). Escribir la expresión lógica y resolver las tablas de verdad

correspondientes:

1. No es cierto que si llueve y hace sol, las brujas se peinan.

= - (p Ʌ q ) Ʌ r

2. Si no estuvieras enferma, no habrías venido aquí.

= - p → -q

TABLA DE VERDAD

3. Llueve y o bien nieva o sopla el viento.

= p Ʌ (q ⊻ r )
TABLA DE VERDAD

4. O está lloviendo y nevando, o está soplando el viento. = (p

Ʌq)⊻r

TABLA DE VERDAD

5. Si hay verdadera democracia, entonces no hay

detenciones arbitrarias ni otras violaciones a los derechos
civiles.
= p-(-q ↓ r)
 SEMANA 2
ACTIVIDAD
a) Analizar las tablas de verdad de los siguientes ejercicios
resueltos:

1. (p → q) Ʌ ( q ↔ -p)

p q -p (p→q) Ʌ (q↔-p)
F F V V F F
F V V V V V
V F F F F V
V V F V F F

2. (p v q ) ↔ ( -p Ʌ -q ) Contradicción

p q -p -q (p v q) ↔ ( -p Ʌ -q)
F F V V F F V
F V V F V F F
V F F V V F F
V .V F F V F F

DEFINICIONES IMPORTANTES:

CONTRADICCIÓN: Cuando todos los valores son falsos.

CONTINGENCIA: Cuando el resultado final contiene valores

verdaderos y falsos.

TAUTOLOGÍA: Cuando todos los valores son verdaderos.

b). RESOLUCIÓN DE EJERCICIOS: Resolver las siguientes

tablas de verdad aplicando los diferentes teoremas y
operaciones del Álgebra Proposicional:

3. (p Ʌ q) ↔ (-p ˅ q ): Contingencia

p q -p (p Ʌ q) ↔ (-p ˅ q)
F F V F F V
F V V F F V
 V F F F V F
V V F V V V

TABLA DE VERDAD
4. (p Ʌ q ) ↔ -q : Contingencia

p q -q (p Ʌ q) ↔ -q
F F V F F V
F V F F V F
V F V F F V
V V F V F F

TABLA DE VERDAD
5. (p ˅ q ) ↔ ( -p Ʌ -q) : Contradicción

p q -p -q (p ˅ q) ↔ (-p Ʌ -q)
F F V V F F V
F V V F V F F
V F F V V F F
V V F F V F F

TABLA DE VERDAD
6. (p → q) ↔ (-q Ʌ p ): Contradicción

p q -q (p→q) ↔ (-q Ʌ p)
F F V V F F
F V F V F F
V F V F F V
V V F V F F

TABLA DE VERDAD
7. [p → (q ˅ -p)] →-q :

p q -p -q
F F V V
F V V F
 V F F V
V V F F

TABLA DE VERDAD

8. - ( P ˅ q) ↔ (p Ʌ -q): Contingencia

p q -q (p ˅ q) - ( P ˅ q) ↔ (p Ʌ -q)
F F V F V F F
F V F V F V F
V F V V F F V
V V F V F V F

TABLA DE VERDAD

9. NO VI LA PELÍCULA, PERO LEÍ LA NOVELA. =

-p Ʌ q

TABLA DE VERDAD
10. Ni vi la película, ni leí la novela. =
-p ↓ - q
 6. Si no estuvieras enferma, no habrías venido aquí.

-p→ -q

p q -p -q -p → -q
F F V v V
F V V F f
V F F v V
V V F f V
Contingencia

1. Llueve y o bien nieva o sopla el viento.

p Ʌ (q  ⊻ r)

P q r Ʌ (q  ⊻ r)
F F f f f
F f V f v
f v f f v
f V v f f
v f f f f
v f v v v
v v f v v
v v v f f

Contingencia
 1. O está lloviendo y nevando, o está soplando el viento.

(pɅ q ) ⊻ r

p q r ⊻ (pɅ q )
F F F f f
F f v v f
f v F f f
f V V v f
v f f f f
v f v v f
v v f v v
v v v f v
Contingencia

4. Si hay verdadera democracia, entonces no hay detenciones

arbitrarias ni otras violaciones a los derechos civiles

p→(-q↓-r)
p q r -q -r → (-q↓ -r )
F F F v v v f
F f v v f v f
f v F f v v f
f V V f f v v
v f f v v f f
v f v v f f f
v v f f v f f
v v v f f v v
Contingencia
Carlos hará el doctorado cuando y solamente cuando obtenga la
licenciatura
p ↔q

p q (p↔q)
F F v
F v f
v f f
v V v

Contingencia

No es cierto que si llueve y hace sol, las brujas se peinan.

-(p Ʌ q) Ʌ r

p q r (p Ʌ q) -(p Ʌ q) -( pɅq) Ʌ r
F F f f v f
F f v f v f
f v f f v f
f V v f v f
v f f f v f
v f v f v f
v v f v f f
v v v v f f
Contradicción.
 Las brujas se peinan únicamente si llueve y hace sol.

P↔ (q Ʌ r)

p q r ↔ (q Ʌ r)
F F f v f
F f v v f
f v f v f
f V v f v
v f f f f
v f v f f
v v f f f
v v v v v

Contingencia

Cuando las brujas no se peinan, no llueve o no hace sol.

-p Ʌ (-q ˅ -r)
p q r -p -q -r Ʌ (-q ˅ -r)
F F f v v v v v
F f v v v f v v
f v f v f v v v
f V v v f f f f
v f f f v v f v
v f v f v f f v
v v f f f v f v
v v v f f f f f

Contingencia
 Llueve y las brujas no se peinan o bien hace sol y las brujas
no se peinan.

(p Ʌ -q) ˅ (r Ʌ-q)

p q r -q  ⊻ (p Ʌ -q) (r Ʌ-q)
F F f v f f f
F f v v v f v
f v f f f f f
f V v f f f f
v f f v v v f
v f v v f v v
v v f f f f f
v v v f f f f
Contingencia
 1. AB + A(B + C) + B(B + C)

A B C AB (B+C) A(B+C) B(B+C) =F