Lógica
Demostrar la validez del siguiente razonamiento con las reglas de la deducción natural:
A -> (B ->¬(A o B)) .'. ¬ (A ^ B)
Gracias
A -> (B ->¬(A o B)) .'. ¬ (A ^ B)
Gracias
1 Respuesta
Respuesta de ktantan
1