En los siguientes ejercicios del 1 al 12 establecer, por medio de una tabla

de valores, si cada uno de los esquemas moleculares es contingente,

tautológico o contradictorio:
1. ~[~p→~ (~q ٨ ~p)] ٧~ (~p ٧ ~q)

p q ~[~p→~ (~q ٨ ~p)] ٧~ (~p ٧ ~q)

V V F FV V F F F V V F F F
V F F FV V V F F F F F V V
F V F VV V F F V F F V V F
F F V VF F V V V V F V V V

CONTINGENCIA

2. [(p٧~q )٨ ~p)] ∆ ~ (~q →p)

p q [(p٧~q )٨ ~p)] ∆ ~ (~q →p)

V V VV F F F F F F VV
V F VV V F F F F V VV
F V F F F F V F F F VF
F F F V V V V F V V FF

CONTRADICCION

3. ~ (p→q ) ↔ ~ (~q →~p)

p q ~ (p→q ) ↔ ~ (~q →~p)

V V F VV V V F F V F
V F V VF F V V V F F
F V F FV V V F F V V
F F F FV F V F V V V

TAUTOLOGIA
 4. [p →(q→ r )] ↔[(p٨ ~r ) →~q]

p q r [p →(q→ r )] ↔[(p٨ ~r ) →~q]

V V V V V VV V V VF F V F
V V F V F VF F V VV V F F
V F V V V FV V V VF F V V
V F F V V FV F V VV V V V
F V V F V VV V V FF F V F
F V F F V VF F V FF V V F
F F V F V FV V V FF F V V
F F F F V FV F V FF V V V

TAUTOLOGIA

5. [(p٨ ~q) ٨ (~p↔ r )] → (p٧ ~q )]

p q r [(p٨ ~q) ٨ (~p↔ r )] → (p٧ ~q )]

V V V VF F F F F V V VV F
V V F VF F F F V F V VV F
V F V VV V F F F V V VV V
V F F VV V V F V F V VV V
F V V FF F F V V V V FF F
F V F FF F F V F F V FF F
F F V FF V F V V V V FV V
F F F FF V F V F F V FV V

TAUTOLOGIA
 6. [p٧ (q→~r)] ٨ [(~p٧ r ) ↔~q]

p q r [p٧ (q→~r)] ٨ [(~p٧ r ) ↔~q]

V V V VV V F F V FFF V F
V V F VV V V V F FVV F F
V F V VV F V F F FFF F V
V F F VV F V V V FVV V V
F V V FF V F F F VVF F F
F V F FV V V V F VVV F F
F F V FV F V F V VVF V V
F F F FV F V V V VVV V V

CONTINGENCIA

7. [(~p٨ q) →~r ] ↔ [r٨ ~(p٧ ~q )]

p q r [(~p٨ q) →~r ]↔ [r٨ ~(p٧ ~q )]

V V V F FV V F F VF F VV F
V V F F FV V V F FF F VV F
V F V F FF V F F VF F VV V
V F F F FF V V F FF F VV V
F V V VVV F F F VV V FF F
F V F VVV V V F FF V FF F
F F V V FF V F F VF F FV V
F F F V FF V V F FF F FV V

CONTRADICCION
 8. ~{(p٨ q) ٧ [p٨ (~p ٧ q)]} ↔ (p→~q )
p q ~{(p٨ q) ٧ [p٨ (~p ٧ q)]} ↔ (p→~q )
V V F VV V V VV FVV V V F F
V F V VF F F V F FFF V VV V
F V V FF V F FF VVV V F V F
F F V FF F F FF VV F V F V V

TAUTOLOGIA

9. [p٨ (~q→ p)] ٨ ~[(p↔~q)→(q٧ ~p)]

p q [p٨ (~q→ p)] ٨ ~[(p↔~q)→(q٧ ~p)]
V V VV F VV F F VF F V VV F
V F VV V VV V V V V V F FF F
F V FF F VF F F FV F V VV V
F F FF V FF F F FF V V FV V

CONTINGENCIA

10.[~p٨ (q٧ ~r)] ↔ [(~p٨ q)٧ ~(p٧ r)]

p q r [~p٨ (q٧ ~r)] ↔ [(~p٨ q)٧ ~(p٧ r)]
V V V F F VV F V F F V F F VVV
V V F F F VV V V F F V F F VVF
V F V F F FF F V F F F F F VVV
V F F F F FV V V F F F F F VVF
F V V V V VV F V V V V V F FVV
F V F V V VV V V V V V V V FFF
F F V V F FF F V V F F F F FVV
F F F V V FV V V V F F V V FFF

TAUTOLOGIA
 11. [(p∆ ~q)٨ ~ (r٨ q)] ↔ ~[(p∆ ~q) →(q٨ r)

p q r [(p∆ ~q)٨ ~ (r٨ q)] ↔ ~[(p∆ ~q) →(q٨ r)

V V V VV F F F VVV V F VV F V VVV
V V F VV F V V FFV V V VV F F VFF
V F V VF V F V VFF V F VF V V FFV
V F F VF V F V FFF V F VF V V FFF
F V V FF F F F VVV V F FF F V VVV
F V F FF F F V FFV V F FF F V VFF
F F V FV V V V VFF V V FV V F FFV
F F F FV V V V FFF V V FV V F FFF

TAUTOLOGIA

12. {[(~p٨ r) → q] ↔ [~q↔ (p٧ r)]} ∆ {(p↔ q) ∆ (q٧~r)}

p q r {[(~p٨ r) → q] ↔ [~q↔ (p٧ r)]} ∆ {(p↔ q) ∆ (q٧~r)}

V V V F FV V V F F F VVV F V VV F VVF
V V F F FF V V F F F VVF F V VV F VVV
V F V F FV V F V V V VVV V V FF F FFF
V F F F FF V F V V V VVF F V FF V FVV
F V V V VV V V F F F FVV V F FV V VVF
F V F V FF V V V F V FFF F F FV V VVV
F F V V VV F F F V V FVV F F VF V FFF
F F F V FF V F F V F FFF F F VF F FVV

CONTINGENCIA
13. Afirmamos que:
A: "Hoy es lunes pero no martes, entones hoy no es feriado"↔ "Hoy
es feriado, entonces no es verdad que hoy es lunes y no es martes".
B: "hoy es lunes o martes, si y solo si, hoy no es lunes"↔ "Hoy no
es lunes y hoy es martes"
C: "Hoy es feriado y no es martes, entonces hoy es martes” ↔ “Hoy
no es martes, entonces hoy es feriado".

¿Cuáles son verdaderas?

Solución:
p: hoy es lunes
q: hoy es martes
r: hoy es feriado

A: [(p٧~q) → ~r] ↔ [r→ ~(p٨~q)]….VERDADERA

p q r [(p٧~q) → ~r] ↔ [r→ ~(p٨~q)]

V V V VF F V F V V V V VF F
V V F VF F V V V F V V VF F
V F V VV V F F V V F F VV V
V F F VV V V V V F V F VV V
F V V FF F V F V V V V FF F
F V F FF F V V V F V V FF F
F F V FF V V F V V V V FF V
F F F FF V V V V F V V FF V

B: [(p٧ q) ↔~p] ↔ [(~p٨ q)]……………VERDADERA

p q [(p٧ q) ↔~p] ↔ [(~p٨ q)]

V V VVV F F V F FV
V F VVF F F V F FF
F V FVV V V V V VV
F F FFF F V V V FF
C: [(r٨~q) → q] ↔ [(~q→ r)]…………FALSA

p q [(r٨~q) → q] ↔ [(~q→ r)]

V V VF F V V V F VV
V F FF F V V V F V F
F V VV V F F F V VV
F F FF V V F F V FF

14. ¿Cuáles de las siguientes afirmaciones son verdaderas?

a) Es necesario y suficiente que p y q sean falsos para que:
~(p٨r) → (q٧~r) sea falsa.

b) Es necesario que q sea falsa y r verdadera para que:

(p٨~q) →(~r٧~p) sea falsa.

c) No es necesario que p y q sean verdaderas para que:

~ (p∆ q) ٧ (~p∆ ~q) sea verdadera.

Solución:
a) ~ (p٨r) → (q٧~r) sea falsa.
~ (p٨r) → (q٧~r)=F
F V V=r

~(F) F F
V F
F
*Necesariamente p y q tienen que ser falsos para que cumpla
la condición.

b) (p٨~q) → (~r٧~p) sea falsa.

(p٨~q) → (~r٧~p)= F
F=q V=r

V V F F
V F
F
*Necesariamente q tiene que ser falsa y r verdadera para que
cumpla la condición.
 c) ~(p∆ q) ٧ (~p∆ ~q) sea verdadera.
~(p∆ q) ٧ (~p∆ ~q)= V
V F F V V V F F
~(V) Ó ~(F)
F V V V
V V
*No es necesario que p y q sean verdaderas porque q también
puede ser falsa.

15. Dados los esquemas lógicos: P= (p→q) ٨~(~p٨q) ;

R=~ (~p↔q); Q=~ (p٧~q).

Solución:
P= (p→q) ٨~ (~p٨q)
a. Aplicamos la condicional:
P= (~p٧q) ٨~ (~p٨q)
b. Aplicamos la negación:
P= (~p٧q) ٨ (p٧~q)

R= ~ (~p↔q)
a. Aplicamos la bicondicional:
R= ~ [(~p→q) ٨ (q→~p)
b. Aplicamos la condicional:
R= ~ [~ (~p٧q) ٨ (~q٧~p)]
c. Aplicamos la negación:
R= (~p٨~q) ٧ (q٨p)]
R= [(~p٨~q) ٧ q] ٨ [(~p٨~q) ٧ p)]
d. Aplicamos la absorción:
R= (~p٧q) ٨ (~q٧p)]
e. Aplicamos la conmutativa:
R= (~p٧q) ٨ (p ٧~q)]

Q=~ (p٧~q)
a. Aplicamos la negación:
Q=~p٨q)

¿Cuál de las siguientes relaciones es correcta?

a) P =R b) R =Q c) P= R d) Ninguna
16. Si se sabe que: p*q= (p→~q) y p# q= ~p٨~q, evaluar el
esquema molecular:
A = (p→r) # (q*r)
Solución:
A = (p→r) # (q*r)
A = (p→r) # (q→~r) (p→r)=p ; (q→~r)=q
A = ~(p→r) ٨~(q→~r)
*Evaluamos el siguiente esquema: CONTRADICCIÓN
p q r ~(p→r) ٨ ~(q→~r)
V V V F VVV F V V F F
V V F V VFF F F V V V
V F V F VVV F F F V F
V F F V VFF F F F V V
F V V F FVV F V V F F
F V F F FVF F F V V V
F F V F FVV F F F V F
F F F F FVF F F F V V

17. Si definimos el conectivo ∆ como:

p∆ q = (p٨ ~q) ٧ [(p٨ r) ٨ ~q], donde r es una proposición
cualquiera. Analizar cuáles de las siguientes afirmaciones
son correctas.
a) p∆ p es una contradicción c) q∆ t = q٨ ~t
b) p∆ q = q∆ p d) p∆~q = p٨ (~p ٧ q)

Solución:
a) p∆ p es una contradicción:
*Remplazando q por p: VERDADERA
p r (p٨ ~p) ٧ [(p٨ r) ٨ ~p]
V V VF F F VVV F F
V F VF F F VFF F F
F V FF V F FFV F V
F F FF V F FFF F V
 b) p∆ q = q∆ p: FALSA
*Remplazamos en la tabla de valores:
* p∆ q * q∆ p
p q r (p٨ ~q) ٧ [(p٨ r) ٨ ~q] (q٨ ~p) ٧ [(q٨ r) ٨ ~p]
V V V VF F F VVV F F VF F F VVV F F
V V F VF F F VFF F F VF F F VFF F F
V F V VV V V VVV V V FF F F FFV F F
V F F VV V V VFF F V FF F F FFF F F
F V V FF F F FFV F F VV V V VVV V V
F V F FF F F FFF F F VV V V VFF F V
F F V FF V F FFV F V FF V F FFV F V
F F F FF V F FFF F V FF V F FFF F V

c) q∆ t = q٨ ~t: FALSA
* q∆ t * q∆ ~t
p t r (q٨ ~t) ٧ [(q٨ r) ٨ ~t] (q٨ t) ٧ [(q٨ r) ٨ t]
V V V VF F F VVV F F VV V V VVV V v
V V F VF F F VFF F F VV V V VFF F V
V F V VV V V VVV V V VF F F VVV F F
V F F VV V V VFF F V VF F F VFF F F
F V V FF F F FFV F F FF V F FFV F V
F V F FF F F FFF F F FF V F FFF F V
F F V FF V F FFV F V FF F F FFV F V
F F F FF V F FFF F V FF F F FFF F F

d) p∆~q = p٨ (~p ٧ q): FALSA

* p∆~q
p q r (p٨ q) ٧ [(p٨ r) ٨ q]
V V V VV V V VVV V v
V V F VV V V VFF F V
V F V VF F F VVV F F
 V F F VF F F VFF F F
F V V FF V F FFV F V
F V F FF V F FFF F V
F F V FF F F FFV F V
F F F FF F F FFF F F

* p٨ (~p ٧ q)
p q r (p٨~q) ٧ [(p٨ r) ٨ (P٨~q)]
V V V VF F F VVV F VF F
V V F VF F F VFF F VF F
V F V VV V V VVV V VV V
V F F VV V V VFF F VV V
F V V FF F F FFV F FF F
F V F FF F F FFF F FF F
F F V FF V F FFV F FF V
F F F FF V F FFF F FF V

18.Dada la siguiente información:

p*q = (~p→q) ٨ (~q↔p);
p# q= (~p↔q) ٧ (~q→p)
Evaluar la fórmula: [(p* q) ٨ (q٧ r)] → (~p# q)

Solución:
[(p* q) ٨ (q٧ r)] → (~p# q)
 (p* q)= (~p→q) ٨ (~q↔p)
 (~p# q)= [(p↔q) ٧ (~q→~p)]

/Remplazamos en la fórmula:
{[(~p→q) ٨ (~q↔p)] ٨ (q٧ r)} ↔ [(p↔q) ٧ (~q→~p)]

/Evaluamos el esquema:
 p q r {[(~p→q)٨(~q↔p)]٨(q٧ r)}↔[(p↔q)٧(~q→~p)]
V V V F VV F F FV F VVV F VVV V FV F
V V F F VV F F FV F VVF F VVV V FV F
V F V F VF V V VV V FVV F VFF F VF F
V F F F VF V V VV F FFF V VFF F VF F
F V V V VV V F VF V VVV V FFV V FV V
F V F V VV V F VF V VVF V FFV V FV V
F F V V FF F V FF F FVV F FVF V VV V
F F F V FF F V FF F FFF F FVF V VVV
RPTA: FFFVVVFF

19.Dados los siguientes esquemas moleculares: A = p∆~q, B = p→~r

y C = ~ (q٨~r).
Determinar:
a) Si la conjunción de A y C implica a B
b) Si la disyunción de A y B implica a C.

Solución:
a) Si la conjunción de A y C implica a B

p q r (p∆~q ) ٨ ~(q٨~r) → (p→~r)

V V V VV F V V VF F F V F F
V V F VV F F F VV V V V V V
V F V VF V F V FF F V VFF
V F F VF V V V FF V V V V V
F V V FF F F V VF F V F V F
F V F FF F F F VV V V F V V
F F V FV V V V FF F V FVF
F F F FV V V V FF V V F V V
*La conjunción de A y C no implica a B.
 b) Si la disyunción de A y B implica a C.

p q r (p∆~q ) ٧ (p٨~r) → ~(q٨~r)

V V V VV F V VF F V V VF F
V V F VV F V VV V F FVVV
V F V VF V F VF F V VFFF
V F F VF V V VV V V VFFV
F V V FF F V FV F V VVFF
F V F FF F V FV V F FVVV
F F V FV V V FV F V VFFF
F F F FV V V VV V V VFFV
*La disyunción de A y B no implica a C.

20. Determinar si cada una de las proposiciones que aparecen a

continuación implica a K = ~ (p ٨ q) ٧~r.
A= p↔~ (q٨r) ; B= (q ٨~r) ; C= ~p∆~r
Solución:
a) A implica a K:

p q r p↔~ (q٨r) → ~ (p ٨ q) ٧~r

V V V VV V FFV F F VVV FF
V V F VV V FFF V F VVV VV
V F V VF F VVV V V VFF VF
V F F VV V VFF V V VFF VV
F V V FF V FFV V V FFV VF
F V F FF V FFF V V FFV V V
F F V FV F VVV V V FFF V F
F F F FF V VFF V V FFF VV
*A no implica a K
b) B implica a K:

p q r (q ٨~r) → ~ (p ٨ q) ٧~r
V V V VF F V F VVV F F
V V F VV V V F VVV V V
V F V FF F V V VFF V F
V F F FF V V V VFF V V
F V V VF F V V FFV V F
F V F VV V V V FFV V V
F F V FF F V V FFF V F
F F F FF V V V FFF V V
*B si implica a K.

c) C implica a K:
p q r (~p∆~r) → ~ (p ٨ q) ٧~r
V V V FF F V F VVV F F
V V F FV V V F VVV V V
V F V FF F V V VFF V F
V F F FV V V V VFF V V
F V V VV F V V FFV V F
F V F VF V V V FFV V V
F F V VV F V V FFF V F
F F F VF V V V FFF V V
*C si implica a K.

21. Sean las siguientes proposiciones: M= (p→~q)٨(r→p);

S=[~(~p٧q)] ٨ q; L= q→~r , analizar:
a) M implica a L
b) M implica a S
 Solución:
a) M implica a L:
p q r (p→~q)٨(r→p)→ (q→~r)
V V V V F F F VVV V V F F
V V F V F F F FVV V V V V
V F V V V V V VVV V F V F
V F F V V V V FVV V F V V
F V V F V F F VFF V VF F
F V F F V F V FVF V V V V
F F V F VV F VFF V F V F
F F F F VV V FVF V F V V
*M si implica a L.

b) M implica a S:
p q r (p→~q)٨(r→p)→[~(~p٧q)] ٨ q
V V V V F F F VVV V F F VV FV
V V F V F F F FVV V F F VV FV
V F V V V V V VVV F V F FF FF
V F F V V V V FVV F V F FF FF
F V V F V F F VFF V F V VV FV
F V F F V F V FVF V F V VV VV
F F V F VV F VFF V F V VF FF
F F F F VV V FVF F F V VF FF
*M no implica a S
22. Dada la siguiente tabla:
p q P*q P#q p𝜃q
V V F F F
V F V F V
F V V F V
F F V V F
Evaluar las formulas:
a) (p→q) 𝜃 (q # r)
b) (q ٨ r)#( (r ٨ q)
c) (m↔n)*(n # q)
d) (~n𝜃~q)#(q * n)
Solución:
a) (p→q) 𝜃 (q # r)
*(q # r)= (p # q)
*(p→q) 𝜃 (p # )= p 𝜃 q
p q (p→q) 𝜃 (q # r)
V V V V F
V F F F F
F V V V F
F F V F V

b) (q ٨ r)#( (r ٨ q)
*(q ٨ r)#( (r ٨ q)= (p # q)
p q (q ٨ r)#( (r ٨ q)
V V V F V
V F F V F
F V F V F
F F F V F

c) (m↔n)*(n # q)
*(n # q)= (p # q)
*(m↔n)*(p # q)= (p * q)
p q (m↔n)*(n # q)
V V V V F
V F F V F
F V F V F
F F V F V
d) (~n𝜃~q)#(q * n)
*(~n𝜃~q)= ~(n𝜃q)
*(q * n)= (p * q)
*~(n𝜃q)# (p * q)= (p * q)
p q ~(n𝜃q)#(p * q)
V V V F F
V F F F V
F V F F V
F F V F V