Diferencia entre revisiones de «Lógica proposicional/Deducciones directas»
Contenido eliminado Contenido añadido
m Redacción |
+contenido |
||
Línea 12:
=== Procedimiento ===
Las demostraciones por deducción directa tienen los siguientes elementos básicos:<ref name="klement" />
* Un identificador único para cada proposición en la secuencia.
Línea 65:
|-
|}
El siguiente paso es agregar filas adicionales para reemplazar la fila con puntos suspensivos con proposiciones derivadas de las premisas hasta llegar a la conclusión. La siguiente tabla muestra el proceso completo de razonamiento:
{| class="wikitable"
!Identificador
!Proposición
!Regla
!Dependencia
|-
|1
|<math>C \or D</math>
|Premisa
|n/a
|-
|2
|<math>C \Rightarrow O</math>
|Premisa
|n/a
|-
|3
|<math>D \Rightarrow M</math>
|Premisa
|n/a
|-
|4
|<math>\neg O</math>
|Premisa
|n/a
|-
|5
|<math>\neg C</math>
|''Modus tollens'' (MT)
|2, 4
|-
|6
|<math>D</math>
|Silogismo disyuntivo (SD)
|1, 5
|-
|7
|<math>M</math>
|''Modus ponens'' (MP)
|2, 6
|-
|}
Por lo anterior podemos decir que la proposición <math>M</math> es una consecuencia lógica de las premisas, a través de la aplicación de las reglas de inferencia ''modus tollens'', silogismo disyuntivo y ''modus ponens''.
=== [Subtema 2] ===
| |||