Practico Nº1

Algebra Superior MAT-121

Nombre:
Docente:
Fecha:

LOGICA
1.- Simbolizar cada una de las proposiciones siguientes:
a) “El gordo Alberto vive para comer y no come para vivir”

P: El gordo Alberto vive para comer

Q: El gordo Alberto come para vivir
P^῀ Q

b) “Si una sustancia orgánica se descompone, entonces sus componentes se

transforman en abono y fertilizan al suelo”

P: una sustancia se descompone

Q: sus componentes se transforman en abono
R: fertilizan el suelo
P→(QᶺR)
2.- Sean p, q y r los siguientes enunciados:
p: Estudiare matemáticas
q: Iré a mi clase de computación
r: Estoy de buen humor
Escriba en lenguaje común las oraciones que corresponden a los siguientes
enunciados:
a) ῀ p ᶺ q: (no estudiare matemáticas y iré a mi clase de computación)
b) ῀ r → (p ᵛ ῀ q): (Si no estoy de buen humor, entonces estudiare
matemáticas o no iré a computación)
Determinar, por medio de una tabla de verdad, si cada una de las siguientes
proposiciones es una tautología, contradicción o contingencia.
3.- (~p ⊻ ~r) ↔ [~ (p ˄ q) ˅ ~r]
p q r (~p ⊻ ~r) ↔ [~ (p ˄ q) ˅ ~r]
v v v f f f v f v v v f f
v v f f v v v f v v v v v
v f v f f f f v v f f v f
v f f f v v v v v f f v v
f v v v v f v v f f v v f
f v f v f v f v f f v v v
f f v v v f v v f f f v f
f f f v f v f v f f f v v

4.- [(~p ˄ q) → ~r] ↔ [r ˄ ~ (p ˅ ~q)]

p q r [(~p ˄ q) → ~r] ↔ [r ˄ ~ (p ˅ ~q)]
v v v f f v v f f v f f v v f
v v f f f v v v f f f f v v f
v f v f f f v f f v f f v v v
v f f f f f v v f f f f v v v
f v v v v v f f f v v v f f f
f v f v f v v v f f f v f f f
f f v v f f v f f v f f f v v
f f f v f f v v f f f f f v v

5.- [(r → ~p) ˄ (p → ~q)] ˅ [(~p → r) ˄ (~q → p)]

p q r [(r → ~p) ˄ (p → ~q)] ˅ [(~p → r) ˄ (~q → p)]
v v v v f f f v f f v f v v v f v v
v v f f v f f v f f v f v f v f v v
v f v v f f f v v v v f v v v v v v
v f f f v f v v v v v f v f v v v v
f v v v v v v f v f v v v v v f v f
f v f f v v v f v f v v f f f f v f
f f v v v v v f v v v v v v f v f f
f f f f v v v f v v v v f f f v f f
Simplificar las proposiciones siguientes:
7.- [q → (r ˄ ~q)]→ [(q ˄ ~p) → r] implicación
~ [~q ˅ (r ˄ ~q)] ˅ [~ (q ˄ ~p) ˅ r] de Morgan
[q ˄ ~ (r ˄ ~q)] ˅ [(~q ˅ p) ˅ r] de Morgan
[q ˄ (~r ˅ q)] ˅ [(~q ˅ p) ˅ r] distributiva, conmutativa
[(q ˄ ~r) ˅ (q ˄ q)] ˅ [(p ˅ ~q) ˅ r] negación, idempotencia
[f ˄ q] ˅ [v ˅r] absorción
F˅v “disyunción”
V

8.- [(r → p) → (p ˄ r)] → [(r ˅ q) → (~r ˄ q)] implicación

~ [~ (~r ˅ p) ˅ (p ˄ r)] ˅ [~ (r ˅ q) ˅ (~r ˄ q)] de Morgan
[(~r ˅ p) ˅ ~ (p ˄ r)] ˅ [(~r ˄ ~q) ˅ (~r ˄ q)] de Morgan

6.- [q → (p ˄ r)] ˄ [~p → (p ˄ r)] implicación

[~q ˅ (p ˄ r)] ˄ [p ˅ (p ˄ r)] distributiva
[(~q ˅ p) ˄ (~q ˅ r)] ˄ [(p ˅ p) ˄ (p ˅ r)]
9.- Sean q y s proposiciones cualquiera, p y r proposiciones tales que ~ (p ˅ ~r) es
verdadera. Hallar el valor de verdad de las proposiciones siguientes:
a) ~ (p ˄ ~q) → ~ (s ˅ r) de Morgan
(~p ˅ q) → (~s ˄ ~r) implicación
~ (~p ˅ q) ˅ (~s ˄ ~r) de Morgan
(p ˄ ~q) ˅ (~s ˄ ~r)

Sabemos que:
~ (p ˅ ~r) ≡ V
~p ˄ r ≡ V
~p ≡ V; p ≡ F
r ≡ V; ~r ≡ F

reemplazando en el ejercicio tenemos:

(F ˄ ~q) ˅ (~s ˄ F) absorción
F ˅ F la disyunción
F
b) [(~r ˄ q) ⊻ ~p] → ~ [(p ˄ s) ˅ ~r] implicación
~ [(~r ˄ q) ⊻ ~p] ˅ ~ [(p ˄ s) ˅ ~r] de Morgan
[~ (~r ˄ q) ⊻ p] ˅ [~ (p ˄ s) ˅ r] de Morgan
[(r ˅ ~q) ⊻ p] ˅ [(~p ˄ ~s) ˄ r]

Sabemos que:
~ (p ˅ ~r) ≡ V
~p ˄ r ≡ V
~p ≡ V; p ≡ F
r ≡ V; ~r ≡ F

reemplazando en el ejercicio tenemos:

[(V ˅ ~q) ⊻ F] ˅ [(V ˄ ~s) ˄V] absorción
[V ⊻ F] ˅ [V ˄ V]
V˅V
V
10.- Si las implicaciones (p ˄ ~q) → q y (p ˄ q) → ~r son verdaderas,
¿Cuál es el valor de verdad de p y de r?