TALLER EVALUATIVO LÓGICA MATEMÁTICA – ING DE SISTEMAS I SEM

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)

b. q: El 35 es un número primo. (F)

~q: El 35 no es un número primo. (V)

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)

e. s: Canadá es un continente (F)

~s: Canadá no es un continente. (V)
III.
A. s: 67 es un número primo. (V)

B. t: 2 no es un número impar. (V)

C. u: 23 es múltiplo de 6. (F)

D. v: (54 – 9) > 3 (V)

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)

2) Llueve, nieva y graniza. (~p ∧ q ∧ r)

3) Llueve, nieva o graniza. (~p ∨ q ∨ r)

4) Si llueve, habrá buena cosecha. (~p ⇾ s)

5) Habrá buena cosecha, si llueve. (s ⇾ ~p)

 6) No llueve, pero nieva.(No llueve = ~p, pero nieva = q, conector lógico = ?)

7) Si nieva y hace sol, podremos esquiar. ((q ∧ t) ⇾ u)

8) No es cierto que llueve y me moje. (~(~p ∧ v))

9) Si no llueve y no nieva, entonces o hace sol o hay niebla.

((p ∧ ~q) ⇾ (t ∨ w))

10) No es cierto que si llueve y me mojo, entonces me resfriaré.

(~((~p ∧ v) ⇾ x))

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