LOGICA PROPOSICIONAL:

En los ejercicios del 1 al 12 establecer, por medio de una tabla de valores, si cada
uno de los siguientes esquemas moleculares es contingente, tautológico o
contradictorio.
1.
pq ~ [~p → ~ (~q ᴧ ~p)] v ~ (~p v ~q)
VV F F V V F F F V V F
VF F F V V V F F F F V
FV F V V V F F V F F V
FF V V F F V V V V F V
RPT: Contingencia
2.
pq [(p v ~q) ᴧ ~p] ∆ ~ (~q → p)
VV V V F F F F F F V V
VF V V V F F F F V V V
~FV F F F F V F F F V F
FF F V V V V F V V F F
RPT: Contradicción
3.
pq ~ (p → q) ↔ ~ (~q → ~p)
VV F V V F F V F
VF V F V V V F F
FV F V V F F V V
FF F V V F V V V
RPT: Tautología
4.
pqr [p → (q → r)] ↔ [(p ᴧ ~r) → ~q]
VVV V V V F V F
VVF F F V V F F
VFV V V V F V V
VFF V V V V V V
FVV V V V F V F
FVF V F V F V F
FFV V V V F V V
FFF V V V F V V
RPT: Tautología
5.
pqr [(p ᴧ ~q) ᴧ (~p ↔ r)] → (p v ~q)
VVV V F F F F F V V V V F
VVF V F F F F V F V V V F
VFV V V V F F F V V V V V
VFF V V V V F V F V V V V
FVV F F F F V V V V F F F
FVF F F F F V F F V F F F
FFV F F V F V V V V F V V
FFF F F V F V F F V F V V
RPT: Tautología
6.
pqr [p v (q → ~r)] ᴧ [~p v r) ↔ ~q]
VVV V F F F V V F F
VVF V V V F F F V F
VFV V V V F V V V V
VFF V V F F F F F V
FVV F F F V V V F F
FVF V V F V V F F F
FFV V V V V V V V V
FFF V V V V V F V V
RPT: Contingencia
7.
pqr [(~p ᴧ q] → ~r] ↔ [r ᴧ ~ (p v ~q)]
VVV F F V V F F V F F V V F
VVF F F V V V F F F F V V F
VFV F F F V F F V F F V V V
VFF F F F V V F F F F V V V
FVV V V V F F F V V V F F F
FVF V V V V V F F F V F F F
FFV V F F V F F V F F F V V
FFF V F F V V F F F F F V V
RPT: Contradicción
8.
pq ~ [p ᴧ q] v [p ᴧ (~p v q)]] ↔ (p → ~q)
VV F V V V V V V F V V V V F F
VF V V F F F V F F F F V V V V
FV V F F V F F F V V V V F V F
FF V F F F F F F V V F V F V V
RPT: Tautología
9.
pq [p ᴧ (~q →p)] ᴧ ~[(p ↔~q) → (q v ~p)]
VV V V F F V V
VF V V V V F F
FV F V F V V V
FF F F F F V V
RPT: Contingencia
10.
pqr [~p ᴧ (q v ~r)] ↔ [(~p ᴧ q) v ~ (p v r)]
VVV F F V V F V F F V F F V V V
VVF F F V V V V F F V F F V V F
VFV F F F F F V F F F F F V V V
VFF F F F V V V F F F F F V V F
FVV V V V V F V V V V V F F V V
FVF V V V V V V V V V V V F F F
FFV V F F F F V V F F F F F V V
FFF V V F V V V V F F V V F F F
RPT: Tautología
11.
Pqr [p ∆ ~q) ᴧ ~ (r ᴧ q)] ↔ ~ [(p ∆ ~q) → (q ᴧ r)]
VVV V V F F F V V V V F V V F V V V V
VVF V V F V V F F V V V V V F F V F F
VFV V F V F V V F F V F V F V V F F V
VFF V F V F V F F F V F V F V V F F F
FVV F F F F F V V V V F F F F V V V V
FVF F F F F V F F V V F F F F V V F F
FFV F V V V V V F F V V F V V F F F V
FFF F V V V V F F F V V F V V F F F F
RPT: Tautología
12.
pqr [[(~p ᴧ r) → q] ↔ [~q ↔ (p v r)]] ∆ [(p ↔ q) ∆ (q v ~r)]
VVV F F V F V F F F V V V F V V V F V V F
VVF F F F F V F F F V V F F V V V F V V V
VFV F F V V F V V V V V V V V F F F F F F
VFF F F F V F V V V V V F F V F F V F V V
FVV V V V F V F F F F V V V F F V V V V F
FVF V F F V V V F V F F F F F F V V V V V
FFV V V V F F F V V F V V V F V F V F F F
FFF V F F F F F V F F F F F F V F F F V V
RPT: Contingencia
13. Afirmamos que:
“Hoy es lunes pero no martes, entonces hoy no es feriado” ↔ “Hoy es feriado,
entonces no es, verdad que hoy es lunes y no es martes”.
P: Hoy es lunes q:Hoy es martes f:Hoy es feriado
a)
pqr [(p ᴧ ~q) → ~r] ↔ [r → ~ (p ᴧ ~q)]
VVV V F F V F V V V V V F F
VVF V F F V V V F V V V F F
VFV V V V F F V V F F V V V
VFF V V V V V V F V F V V V
FVV F F F V F V V V V F F F
FVF F F F V V V F V V F F F
FFV F F V V F V V V V F F V
FFF F F V V V V F V V F F V
RPT: Tautología
“Hoy es lunes o martes, si y solo si, hoy no es lunes” ↔ “Hoy no es lunes y hoy es
martes”.
b)
pq [(p v q) ↔ ~p] ↔ (~p ᴧ q)
VV V V V V F V F F V
VF V V F V V V F F F
FV F V V V F V V V V
FF F F F V V V V F F
RPT: Tautología
“Hoy es feriado y no es martes, entonces hoy es martes” ↔ “Hoy no es martes,
entonces hoy es feriado”.
qr [(r ᴧ ~q) → q] ↔ (~q → r)
VV V F F V V V F V V
VF F F F V V V F V F
FV V V V F F F V V V
FF F F V V F F V F F
RPT: Contingencia
¿Cuáles son verdaderas?
RPT: Solo A y B.
14.
(1) Es necesario y suficiente que p y q sean falsos para que:
~ (p ᴧ r) → (q v ~r) sea falsa.
p = F, q = F
~ (p ᴧ r) → (q v ~r)
~ (F ᴧ r) → (F v ~r)
~ (F) → (F v ~r)
V → (F v ~r)
(2) Es necesaria que q sea falsa y r verdadera para que:
(p ᴧ ~q) → (~r v ~q) sea falsa.
q = F, r = V
(p ᴧ ~q) → (~r v ~q)
(p ᴧ V) → (F v ~q)
Si p = V
(V ᴧV) → (F v F)
V→F
F
(3)
No es necesario que p y q sean verdaderas para que:
~ (p ∆ q) v (~p ∆ ~q) sea verdadera.
p = V, q = V
~ (p ∆ q) v (~p ∆ ~q)
~ (V ∆ V) v (F ∆ F)
~ (F) v (F)
V v F
V
¿Cuáles de estas afirmaciones son verdaderas?
RPT: Solo (2) y (3)
15. Dados los esquemas lógicos: P = (p → q) ᴧ ~ (~p ᴧ q); R= ~ (~p ↔ q);
Q = ~ (p v ~q). ¿Cuál de las siguientes relaciones es correcta?
P:
pq (p → q) ᴧ ~ (~p ᴧ q)
VV V V V V V F F V
VF V F F F V F F F
FV F V V F F V V V
FF F V F V V V F F

R:
pq ~ (~p ↔ q)
VV V F F V
VF F F V F
FV F V V V
FF V V F F

Q:
pq ~ (p v ~q)
VV F V V F
VF F V V V
FV V F F F
FF F F V V

RPT: P = R
16. Si se sabe que: p*q = (p → ~q) y p # q = ~p ᴧ ~q, evaluar el esquema
molecular A = (p → r) # (q*r)
Pqr ~ (p → r) ᴧ ~ (q → ~r)
VVV F V V V F V V F F
VVF V V F F F F V V V
VFV F V V V F F F V F
VFF V V F F F F F V V
FVV F F V V F V V F F
FVF F F V F F F V V V
FFV F F V V F F F V F
FFF F F V F F F F V V
RPT: Contradicción
q*r = (q → ~r)
A = (p → r) # (q → ~r) A = ~ (p → r) ᴧ ~ (q → ~r)
 17. Si definimos el conectivo ∆ como: p∆q = (p ᴧ ~q) v [(p ᴧ r) ᴧ ~q], donde r es
una proposición cualquiera. Analizar cuáles de las siguientes afirmaciones son
correctas.
Pqr (p ᴧ ~q) v [(p ᴧ r) ᴧ ~q]
VVV V F F F V V V F F
VVF V F F F V F F F F
VFV V V V V V V V V V
VFF V V V V V F F F V
FVV F F F F F F V F F
FVF F F F F F F F F F
FFV F F V F F F V F V
FFF F F V F F F F F V
. Es lo mismo que (~q ᴧ p)
 P ∆ q = ~q ᴧ p = p ᴧ ~q
RPT: Solo C y D
18.Dada la siguiente información: p*q = (~p → q) ᴧ (~q ↔ p)
P#q = (~p ↔ q) v (~q → p) evaluar la fórmula: [(p*q) ᴧ (q v r)] → (~p#q)
*(p*q) = p∆q (~p#q) = ~p v q
pq (~p → q) ᴧ (~q ↔ p)
VV V F F
VF V V V
FV V V V
FF F F F
P∆q
Pq (~p ↔ q) v (~q → p)
VV F V V
VF V V V
FV V V V
FF F F F
Pvq
Pqr [(p ∆ q) ᴧ (q v r)] → (~p v q)
VVV FF V V V
VVF FF V V V
VFV VV V F F
VFF VF F V F
FVV VV V V V
FVF VV V V V
FFV FF V V V
FFF FF F V V
RPT: Contingencia
19.
Pqr [(p ∆(~q)] ᴧ ~(q ᴧ ~r)] → (p → ~r)
VVV V V V F F
VVF V F F V V
VFV F F V V F
VFF F F V V V
FVV F F V V V
FVF F F F V V
FFV V V V V V
FFF V V V V V
A ᴧ C → \ B (NO IMPLICA)
Pqr [(p ∆(~q)] v (p → ~r)] → ~(q ᴧ ~r)
VVV V V F V V
VVF V V V F F
VFV F F F V V
VFF F V V V V
FVV F V V V V
FVF F V V F F
FFV V V V V V
FFF V V V V V
A v B → \ C (NO IMPLICA)
20.
pqr [p ↔~(q ᴧ r)] → [ ~(p ᴧ q) v ~r] A →K
VVV F V F
A : Implica a K
VVF V V V
VFV V V V
VFF V V V
FVV V V V
FVF F V V
FFV F V V
FFF F V V

pqr (q ᴧ~r) → [ ~(p ᴧ q) v ~r] B→K

VVV F V F
B : Implica a K
VVF V V V
VFV F V V
VFF F V V
FVV F V V
FVF V V V
FFV F V V
FFF F V V
 pqr (~p ∆ ~r) → [ ~(p ᴧ q) v ~r]
VVV F V F
C→K
VVF V V V
VFV F V V C: Implica a K
VFF V V V
FVV V V V
FVF F V V
FFV V V V
FFF F V V
21.
pqr [(p →~q) ᴧ (r → q)] → (q →~r)
VVV F V F
M:no implica a L
VVF F V V
VFV V V V
VFF V V V
FVV F V F
FVF V V V
FFV F V V
FFF V V V
pqr [(p →~q) ᴧ (r → p)] → [(~(~ p v q)] ᴧ q] M: no implica a
VVV F V F S
VVF F V F
VFV V F F
VFF V F F
FVV F V F
FVF V F F
FFV F V F
FFF V F F

22.
a)
pqr (p → q) ᶱ (q # r)
VVV V V F
VVF V V F
VFV F F F
VFF F V V
FVV V V F
FVF V V F
FFV V V F
FFF V F V
RPT: Contingencia
b)
qr (q ᴧ r) # (r ᴧ q)
VV V F V
VF F F F
FV F F F
FF F V F

RPT: Contingencia
c)
mnq (m ↔ n) * (n # q)
VVV V V F
VVF V V F
VFV F V F
VFF F V V
FVV F V F
FVF F V F
FFV V V F
FFF V F V
RPT: Contingencia
d)
nq (~n ᶱ~q) # (q * n)
VV F V F
VF V F V
FV V F V
FF F F V

RPT: Contingencia