Diferencia entre revisiones de «Deducción natural»

213 bytes añadidos ,  hace 9 años
m
m
 
{|border="1" cellpadding="7" style="margin:1em; border:solid 1px LightGray; border-collapse:collapse;"
!Conectiva
!Nombre de la regla
!Abreviación
!Formalización
!Cálculo de secuentes
 
|- align="center"
|<math>\neg</math>
|align="left"|Introducción de la negación<br />([[reducción al absurdo]])
|<math>I \neg \,</math>
\end{matrix}</math>
|
 
|- align="center"
|<math>\neg</math>
|align="left"|Eliminación de la negación
|<math>E \neg \,</math>
|<math>\frac{\neg \neg \phi} {\phi}</math>
|<math>\neg \neg \phi \vdash \phi</math>
 
|- align="center"
|<math>\and</math>
|align="left"|Introducción de la [[Conjunción lógica|conjunción]]
|<math>I \and \,</math>
\end{matrix}</math>
|<math>\phi, \psi \vdash \phi \and \psi \qquad \phi, \psi \vdash \psi \and \phi</math>
 
|- align="center"
|<math>\and</math>
|align="left"|Eliminación de la [[Conjunción lógica|conjunción]]
|<math>E \and \,</math>
|<math>\frac{\phi \and \psi} {\phi} \qquad \frac{\phi \and \psi} {\psi}</math>
|<math>\phi \and \psi \vdash \phi \qquad \phi \and \psi \vdash \psi</math>
 
|- align="center"
|<math></math>
|align="left"|Introducción de la [[Disyunción lógica|disyunción]]
|<math>I \or \,</math>
|<math>\frac{\phi} {\phi \or \psi} \qquad \frac{\phi} {\psi \or \phi}</math>
|<math>\phi \vdash \phi \or \psi \qquad \phi \vdash \psi \or \phi</math>
 
|- align="center"
|<math>\or</math>
|align="left"|Eliminación de la [[Disyunción lógica|disyunción]]<br />([[silogismo disyuntivo]])
|<math>E \or \,</math>
\end{matrix}</math>
|<math>\phi \or \psi, \neg \phi \vdash \psi \qquad \phi \or \psi, \neg \psi \vdash \phi</math>
 
|- align="center"
|<math>\to</math>
|align="left"|Introducción del [[condicional material]]<br />([[teorema de la deducción]])
|<math>I \to \,</math>
 
|- align="center"
|<math>\to</math>
|align="left"|Eliminación del [[condicional material]]<br />([[modus ponens]])
|<math>E \to \,</math>
 
|- align="center"
|<math></math>
|align="left"|[[modus tollens]]
|M.T.
|
|<math>\begin{matrix}
\phi \to \psi \\
 
|- align="center"
|<math></math>
|align="left"|Introducción del [[bicondicional]]
|<math>I \leftrightarrow \,</math>
\end{matrix}</math>
|<math>\phi \to \psi, \psi \to \phi \vdash \psi \leftrightarrow \phi</math>
 
|- align="center"
|<math></math>
|align="left"|Eliminación del [[bicondicional]]
|<math>E \leftrightarrow \,</math>
1348

ediciones