Question

[(q ->~r) ∧ (p -> q )] -> (p ⟶ ~ r )
Premisas:
P1: (q->~r)
P2: (p -> q )
Conclusión: (p ⟶ ~r )

Como podría llegar a la conclusión utilizando reglas de inferencia

Answer 1

Respuesta:

a ir n t j t u u t i e j r g u t i

Explicación:

t u 7 t. t UV t i t u r 8 t 7 5