Diferencia entre revisiones de «Deducción natural»

18 bytes añadidos ,  hace 9 años
→‎Conectivas: Mejoras estéticas
m (Arreglos de estilo en las tablas y quité la mención al silogismo disyuntivo e hipotético que estaban fuera de lugar!)
(→‎Conectivas: Mejoras estéticas)
 
|- align="center"
|rowspan="2"|<math>\neg \,</math>
|align="left"|Introducción de la negación<br />([[reducción al absurdo]])
|<math>I \neg \,</math>
 
|- align="center"
|<math>\neg</math>
|align="left"|Eliminación de la negación
|<math>E \neg \,</math>
 
|- align="center"
|rowspan="2"|<math>\and \,</math>
|align="left"|Introducción de la [[Conjunción lógica|conjunción]]
|<math>I \and \,</math>
 
|- align="center"
|<math>\and</math>
|align="left"|Eliminación de la [[Conjunción lógica|conjunción]]
|<math>E \and \,</math>
 
|- align="center"
|rowspan="2"|<math>\or \,</math>
|align="left"|Introducción de la [[Disyunción lógica|disyunción]]
|<math>I \or \,</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>
 
|- align="center"
|rowspan="2"|<math>\to \,</math>
|align="left"|Introducción del [[condicional material]]<br />(véase [[teorema de la deducción]])
|<math>I \to \,</math>
|<math>\begin{matrix}
 
|- align="center"
|align="left"|Eliminación del [[condicional material]]<br />(véase [[modus ponens]])
|<math>\to</math>
|align="left"|Eliminación del [[condicional material]]<br />([[modus ponens]])
|<math>E \to \,</math>
|<math>\begin{matrix}
 
|- align="center"
|rowspan="2"|<math>\leftrightarrow \,</math>
|align="left"|Introducción del [[bicondicional]]
|<math>I \leftrightarrow \,</math>
 
|- align="center"
|<math></math>
|align="left"|Eliminación del [[bicondicional]]
|<math>E \leftrightarrow \,</math>
20 742

ediciones