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

m
Redacción
(+contenido)
m (Redacción)
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" />
 
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 escumple una de las siguientes condiciones:<ref name="klement" />
 
# UnaEs una premisa.
# DerivadoEs derivado a partir de miembros anteriores en la secuencia usando reglas de inferencia.
# DerivadoEs derivado a partir de un miembro anterior en la secuencia al reemplazarlo con una proposición lógicamente equivalente.
 
=== Procedimiento ===
19 338

ediciones