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

Doy corona

Answer 1

Respuesta:

1. p ∧ q

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

1. I ∧ J si

2. J ∧ K si

3. L ∧ M si

4. (I ∨ L) / ∴ K ∨ M si

1. N → O no

2. (N ∧ O) → P no

3. ¬ (N ∧ P) / ∴ ¬N si

Explicación paso a paso:

4. N → (O → P) EXP 2 si

1. (E ∨ F) ∧ (G ∨ H) si

2. (E → G) ∧ (F → H) no

3. ¬G / ∴ H  no

dame coronita