Diferencia entre revisiones de «Deducción natural»

288 bytes añadidos ,  hace 9 años
\end{matrix}</math>
|<math>\phi \to \psi, \phi \vdash \psi</math>
 
|- align="center"
|<math></math>
|align="left"|[[modus tollens]]
|M.T.
|<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"
|<math>\frac{\phi \leftrightarrow \psi} {\phi \to \psi} \qquad \frac{\phi \leftrightarrow \psi} {\psi \to \phi}</math>
|<math>\phi \leftrightarrow \psi \vdash \phi \to \psi \qquad \phi \leftrightarrow \psi \vdash \psi \to \phi</math>
 
 
|- align="center"
|<math>\to</math>
|align="left"|[[modus tollens]]
|M.T.
|<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"
|<math>\to</math>
|align="left"|[[silogismo hipotético]]
|S.H.
|<math>\begin{matrix}
\phi \to \psi \\
\psi \to \beta \\
\hline
\phi \to \beta
\end{matrix}</math>
|<math>\phi \to \psi, \psi \to \beta \vdash \phi \to \beta</math>
 
|}
 
1348

ediciones