Diferencia entre revisiones de «Deducción natural»

Contenido eliminado Contenido añadido
Omerta-ve (discusión · contribs.)
Omerta-ve (discusión · contribs.)
Línea 83:
\end{matrix}</math>
|
 
|- align="center"
|align="left"|Eliminación del [[condicional material]]<br />([[modus ponens]])
Línea 93 ⟶ 94:
\end{matrix}</math>
|<math>\phi \to \psi, \phi \vdash \psi</math>
 
|- align="center"
|align="left"|[[modus tollens]])
|
|<math>\begin{matrix}
\phi \to \psi \\
\neg \psi \\
\hline
\neg \phi
\end{matrix}</math>
|<math>\phi \to \psi, \neg \psi \vdash \neg \phi</math>
 
|- align="center"
|align="left"|Introducción del [[bicondicional]]