Diferencia entre revisiones de «Lógica proposicional/Deducciones indirectas»
Contenido eliminado Contenido añadido
+contenido |
|||
Línea 40:
La siguiente tabla muestra la información anterior y el proceso de razonamiento usando una deducción indirecta.
{
!Identificador
!Proposición
!Regla
!Dependencias
|-
|1
|-
|2
|-
|3
|-
|4
|<blockquote>Suposición para realizar una demostración indirecta</blockquote>
|<blockquote>n/a</blockquote>
|-
|5
|<blockquote>''Modus tollens'' (MT)</blockquote>
|<blockquote>1, 4</blockquote>
|-
|6
|<blockquote>Ley de De Morgan para la conjunción</blockquote>
|<blockquote>5</blockquote>
|-
|7
|<blockquote></blockquote>
|<blockquote></blockquote>
|-
|8
|<blockquote><math></math></blockquote>
|<blockquote></blockquote>
|<blockquote></blockquote>
|-
|9
|<math></math>
|
|
|-
|}
== Resumen de la lección ==
|