Reglas derivadas fundamentales de LPO (Lógica de primer orden). Lógica de predicados. | Deducción Natural | Pinterest