Diferencia entre revisiones de «Lógica proposicional/Deducciones indirectas»

Contenido eliminado Contenido añadido
Lsanabria (discusión | contribs.)
+contenido
Lsanabria (discusión | contribs.)
+contenido
Línea 62:
|-
|4
|<math>D</math>
|Eliminación de la conjunción (EC)
|3
|-
|5
|<math>\neg A</math>
|''Modus ponens'' (MP)
|2, 4
|-
|6
|<math>B \and D</math>
|Conmutatividad de la conjunción
|3
|-
|7
|<math>B</math>
|Eliminación de la conjunción (EC)
|6
|-
|8
|<blockquote><math>\neg C</math></blockquote>
|<blockquote>Suposición para realizar una demostración indirecta</blockquote>
|<blockquote>n/a</blockquote>
|-
|59
|<blockquote><math>\neg (\neg A \and B)</math></blockquote>
|<blockquote>''Modus tollens'' (MT)</blockquote>
|<blockquote>1, 48</blockquote>
|-
|610
|<blockquote><math>\neg \neg A \or \neg B</math></blockquote>
|<blockquote>Ley de De Morgan para la conjunción</blockquote>
|<blockquote>59</blockquote>
|-
|711
|<blockquote><math>\neg B \or \neg \neg A</math></blockquote>
|<blockquote>Conmutatividad de la disyunción</blockquote>
|<blockquote>10</blockquote>
|-
|812
|<blockquote><math>\neg \neg A</math></blockquote>
|<blockquote>Silogismo disyuntivo (SD)</blockquote>
|<blockquote>7, 11</blockquote>
|-
|913
|<blockquote><math>A</math></blockquote>
|<blockquote>Doble negación</blockquote>
|<blockquote>12</blockquote>
|-
|14
|<blockquote><math>A \and \neg A</math></blockquote>
|<blockquote>Introducción de la conjunción (IC)</blockquote>
|<blockquote>5, 13</blockquote>
|-
|15
|<math>C</math>
|Deducción indirecta
|8, 9, 10, 11, 12, 13, 14
|-
|}