Question

Verifique si los siguientes argumentos son válidos mediante regla de inferencia.
1. p → q
2. q → r / ∴ ¬p → r



1. p ∧ q
2. (p ∨ q) → r / ∴ p ∧ r


1. I ∧ J
2. J ∧ K
3. L ∧ M
4. (I ∨ L) / ∴ K ∨ M



1. N → O
2. (N ∧ O) → P
3. ¬ (N ∧ P) / ∴ ¬N


4. N → (O → P) EXP 2
1. (E ∨ F) ∧ (G ∨ H)
2. (E → G) ∧ (F → H)
3. ¬G / ∴ H

Answer 1

Respuesta:

Explicación paso a paso:

No lo se :(pero dame coronita:)