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

+contenido
(+contenido)
(+contenido)
=== Procedimiento ===
 
No existe una estructura normalizada para el formato de lasLas demostraciones por deducción directa, sin embargo todas tienetienen los siguientes elementos básicos:
 
* 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:
{{comentario|Texto del comentario.}}
 
# <math>C \or D</math>
[Continúa el texto del subtema 1]
# <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] ===
== Términos clave ==
 
* [[w:Deducción natural|Deducción natural]]
* Término clave 1
* Término clave 2
* [...]
 
== Bibliografía ==
19 338

ediciones