Diferencia entre revisiones de «Lógica proposicional/Deducciones directas»
Contenido eliminado Contenido añadido
+contenido |
+contenido |
||
Línea 12:
=== Procedimiento ===
* Un identificador único para cada proposición en la secuencia.
* La lista de proposiciones que forman la secuencia.
* La descripción de la equivalencia lógica o regla de equivalencia aplicadas en cada caso para generar la siguiente proposición en la secuencia, o la indicación de que se trata de una premisa.
* Los indicadores de las proposiciones anteriores en la secuencia sobre las que se aplican las reglas de inferencia o las equivalencias lógicas para obtener la proposición actual (dependencias).
Esta información se puede organizar en forma de tabla para facilitar su visualización. Por ejemplo, si nos piden verificar si una proposición <math>M</math> es una consecuencia lógica de las siguientes premisas:
# <math>C \or D</math>
# <math>C \Rightarrow O</math>
# <math>D \Rightarrow M</math>
# <math>\neg O</math>
Podemos crear la siguiente tabla:
{| 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
|-
|...
|...
|...
|-
|?
|<math>M</math>
|Conclusión
|?
|-
|}
=== [Subtema 2] ===
Línea 38 ⟶ 82:
== Términos clave ==
* [[w:Deducción natural|Deducción natural]]
▲* [...]
== Bibliografía ==
| |||