Diferencia entre revisiones de «Deducción natural»

236 bytes añadidos ,  hace 9 años
\end{matrix}</math>
|
 
|- align="center"
|align="left"|Eliminación del [[condicional material]]<br />([[modus ponens]])
\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]]
1348

ediciones