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

+contenido
(+contenido)
(+contenido)
|n/a
|-
|...4
|<math>\neg C</math>
|...
|''Modus tollens'' (MT)
|...
|2, 3
|...
|-
|...5
|<math>\neg (A \and B)</math>
|...
|''Modus tollens'' (MT)
|...
|1, 4
|...
|-
|...6
|...
|...
|...
|-
|...
|...
|...
|...
|-
|...
|...
|...
|...
|-
|?
|<math>\neg A \or \neg B</math>
|Ley de De Morgan para la conjunción
|Conclusión
|?5
|-
|}
19 338

ediciones