Question

Utilice las reglas de inferencia para concluir R. Dadas las siguientes
premisas:

1. Q → ¬P
2. ¬Q → R
3. (P ∧ ¬R) ∨ S
4. (S ∨ T) → R

Answer 1

Respuesta:

Las reglas significativas de inferencia en la lógica proposicional incluyen modus ponens, modus tollens y contraposición  (P ∧ ¬R) ∨ S

Explicación paso a paso: