Professional Documents
Culture Documents
Clculo lgico
Artculo principal: Clculo lgico.
El clculo lgico es un sistema de reglas de
inferencia o deducir un enunciado a partir de otro u
otros. El clculo lgico requiere un conjunto
consistente de axiomas y unas reglas de inferencia
y su propsito es poder deducir algortmicamente
proposiciones lgicas verdaderas a partir de
axiomas vlidos. La inferencia es una operacin
lgica que consiste en obtener una proposicin
lgica como conclusin a partir de otro(s) (premisas)
mediante la aplicacin de reglas de inferencia.15
Informalmente interpretamos que que alguien
infiere -o deduce- "T" de "R" si acepta que si "R"
tiene valor de verdad V, entonces, necesariamente,
"T" tiene valor de verdad V. Sin embargo, en el
enfoque moderno del clculo lgico no es necesario
acudir al concepto de verdad, para construir el
clculo lgico.
Los hombres en nuestra tarea diaria, utilizamos
constantemente el razonamiento deductivo.
Partimos de enunciados empricos -supuestamente
verdaderos y vlidos- para concluir en otro
Transformacin
donde
; y donde
donde
O viceversa
1
Transformacin
donde
donde
; y donde