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

+contenido
m (Arreglando enlace)
(+contenido)
La lógica proposicional nos permite derivar información nueva a partir de la que conocemos usando diferentes técnicas. La forma más sencilla de hacerlo es construyendo una tabla de verdad con todos los posibles valores para las proposiciones atómicas, las premisas y la conclusión que queremos lograr. Si la conclusión es verdadera en todas las filas de la tabla en que las premisas son verdaderas, podemos decir que la conclusión es una consecuencia lógica de las premisas. Este método garantiza que siempre encontraremos una respuesta, sin embargo las tablas de verdad aumentan de tamaño de forma exponencial y pueden llegar a ser muy grandes incluso al tratar con problemas de tamaño moderado. Por ejemplo, una tabla con 8 proposiciones atómicas necesitará 256 filas para registrar todas las combinaciones posibles de valores de verdad de las variables.<ref name="aho1994" />
 
Como una alternativa al procedimiento anterior, podemos intentar determinar la validez de un argumento al reducir el proceso de razonamiento a una serie de pasos, cada uno de los cuales está justificado por las premisas o por los pasos anteriores y que consiste en la aplicación de una forma de razonamiento sencilla y reconocida universalmente como válida. Este método de razonamiento se conoce como '''deducción natural''' y en el caso de la lógica proposicional consiste en la aplicación de las equivalencias lógicas y de las reglas de inferencia sobre las premisas y sobre proposiciones derivadas en pasos anteriores.<ref name="klement" />
Como una alternativa al procedimiento anterior, podemos aplicar las equivalencias lógicas y las reglas de inferencia de diversas maneras para transformar las proposiciones y verificar si la conclusión es una consecuencia lógica de las premisas. Una de estas técnicas es la '''deducción directa'''.
 
Existen diferentes técnicas de deducción natural y una de ellas es la '''deducción directa'''. Una deducción directa de una conclusión a partir de una lista de premisas consiste en una lista ordenada de fórmulas bien formadas, donde la conclusión es el miembro final de la lista y cada miembro de la secuencia es:<ref name="klement" />
 
# Una premisa.
# Derivado a partir de miembros anteriores en la secuencia usando reglas de inferencia.
# Derivado a partir de un miembro anterior en la secuencia al reemplazarlo con una proposición lógicamente equivalente.
 
=== [Subtema 1] ===
 
[Texto del subtema 1]<ref name="klement" />
 
{{comentario|Texto del comentario.}}
 
</references>
 
 
{{navegación|[[Lógica proposicional]]|[[Lógica proposicional/Tercera evaluación parcial|Tercera evaluación parcial]]|[[Lógica proposicional/Deducciones directas/Evaluación|Evaluación de la lección 10]]}}
19 338

ediciones