Documentos de Académico
Documentos de Profesional
Documentos de Cultura
LÓGICA PROPOSICIONAL
Por Omar Chima, Aldair Humanes y Roberth Arroyo
Solución
I.
a. 13 – 25 = 12
Si es proposición. (V)
b. 9 es un número cuadrado.
Si es proposición. (V)
c. ¿Dónde estás?
No es proposición. (n/a)
d. Hanói es la capital de Vietnam.
Si es proposición. (V)
e. ¡Qué lindo día!
No es proposición. (n/a)
II.
a. p: Júpiter es una estrella. (V)
~p: Júpiter no es una estrella. (F)
c. r: 36 es múltiplo de 9. (V)
~r: 36 no es múltiplo de 9. (F)
d. t: 53 + 7 = 0 (F)
~t: 53 + 7 ≠ 0 (V)
C. u: 23 es múltiplo de 6. (F)
IV.
A. s ⇾t
Si 67 es un número primo, entonces 2 no es un número impar. (V)
B. ~u ⇿v
23 no es un múltiplo de 6, si y sólo si (54 – 9) > 3 (V)
C. 𝑠 ∨ ~𝑣
67 es un número primo ó (54 – 9) < 3 (V)
D. ~𝑡 ∧ 𝑣
2 es un número impar y (54 – 9) > 3 (F)
E. u ⇿ ~t
Si 23 es un múltiplo de 6, entonces 2 es un número impar. (F)
V.
1) No llovió ayer. (p)
VI.
s: 15 no es un número primo (V)
t: 2 no es un número impar (V)
Directa = s ⇾ t
Si 15 no es un número primo, entonces 2 no es un número impar.
Inversa = t ⇾ s
Si 2 no es un número impar, entonces 15 no es un número primo.
Reciproca = ~s ⇾ ~t
Si 15 es un número primo, entonces 2 es un número impar.
Contrareciproca = ~t ⇾ ~s
Si 2 es un número impar, entonces 15 es un número primo.
VII.
[(~p ⇿ r) ∧ (q ⇾ p)] ∨ [ ~r ⇾ (~q ∧ ~p)]
① ② ③ ④ ⑤
p q r ~p ~q ~r ~p⇿r q⇾p ~q∧~p ①∧② ~r⇾③ ④∨⑤
v v v F F F F v F F v v
v v F F F v v v F V F v
v F v F v F F v F F v v
v F F F v v v v F v F v
F v v v F F v F F F v v
F v F v F v F F F F F F
F F v v v F v v v v v v
F F F v v v F v v F v v
Contingencia