Diferencia entre revisiones de «Lógica proposicional/Deducciones directas»

Contenido eliminado Contenido añadido
Lsanabria (discusión | contribs.)
m Corrigiendo referencia
Línea 107:
|<math>M</math>
|''Modus ponens'' (MP)
|23, 6
|-
|}