Clculo lgico

El clculo lgico, o derivacin lgica, es un algoritmo o sistema lgico que permite inferir
o deducir un enunciado verdadero a partir de otro u otros que se tienen
como vlidamenteverdaderos.
La inferencia o deduccin es una operacin lgica que consiste en obtener
un enunciado como -conclusin- a partir de otro(s) -premisa(s)- mediante la aplicacin
de reglas de inferencia.
Decimos 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.
Las personas en nuestra tarea diaria, utilizamos constantemente el razonamiento
deductivo; partimos de enunciados empricos -supuestamente verdaderos y vlidos- para
concluir en otro enunciado que se deriva de aquellos.
La lgica matemtica, como ciencia formal, se ocupa de analizar y sistematizar las reglas
que permiten la transformacin de unos enunciados -premisas- en otros -conclusiones-
con objeto de convertir las operaciones deductivas en un clculo riguroso y eficaz.
Al aplicar las reglas de este clculo lgico a los enunciados que forman un argumento,
previa la simbolizacin adecuada de los enunciados en frmulas o Expresiones bien
formadas (EBF)1 construimos un modelo dentro de un sistema deductivo que, referido al
lenguaje ordinario, llamamos de Clculo de deduccin natural.
La representacin grfica de los smbolos (constantes lgicas) no est normalizada, lo que
lleva a veces a ciertas dificultades de interpretacin.

ndice
[ocultar]

1Sistematizacin de un clculo
o 1.1Reglas de formacin de frmulas
2Concepto de modelo
3El lenguaje natural como modelo de un clculo lgico
o 3.1Reglas de simbolizacin
4Cadena deductiva
o 4.1De qu manera puede obtenerse la conclusin?
5Reglas del clculo de deduccin natural. Clculo proposicional
o 5.1Reglas primitivas
o 5.2Reglas derivadas
o 5.3Reglas de Reemplazo
5.3.1Leyes de De Morgan
o 5.4Clculo como lgica de clases
5.4.1Elementos y su simbolizacin
5.4.2Operaciones entre las clases y su simbolizacin
5.4.3Relaciones entre las clases
5.4.4Proposiciones tipo
5.4.5Reglas del clculo de clases
6Reglas del clculo cuantificacional. Clculo de predicados
o 6.1Reglas de simbolizacin
o 6.2Cuantificadores
o 6.3Clases de proposiciones
o 6.4Reglas del clculo cuantificacional
7Clculo de relaciones
8Referencias
9Vase tambin
 10Bibliografa

Sistematizacin de un clculo[editar]
Reglas de formacin de frmulas[editar]
I.- Una letra enunciativa (con o sin subndice) es una EBF (Expresin Bien Formada - en
ingls wff o sea well- formed formula que significa frmula bien formada).
II.- Si A es una frmula, A tambin lo es.
III.- Si A es una EBF y B tambin, (A /\ B); (A \/ B); (A B); (A B) tambin lo son.
IV.- Ninguna expresin es una frmula del Clculo sino en virtud de I, II, III.
Nota: A, B,... con maysculas estn utilizadas como metalenguaje en el que cada variable
expresa cualquier proposicin, atmica o molecular.
Nota: Para la definicin como funcin lgica de , /\, \/, , y , vase Tabla de valores de
verdad
Reglas de transformacin
R.T.1: Dada una tesis EBF del clculo, en la que aparecen variables de enunciados, el
resultado de sustituir una, algunas o todas esas variables por expresiones bien formadas
(EBF) del clculo, ser tambin una tesis EBF del clculo. Y ello con una nica restriccin,
si bien muy importante: cada variable ha de ser sustituida siempre que aparece y siempre
por el mismo sustituto.
Veamos el ejemplo:

1 Regla de Transformacin

2
donde ; y donde

3
donde

O viceversa

1 Regla de Transformacin

2
donde

3
donde ; y donde

Esta regla recibe el nombre de regla de sustitucin

R.T.2: Si X es una tesis EBF del sistema y lo es tambin X --> Y, entonces Y es una tesis
EBF del sistema.
Esta regla recibe el nombre de regla de separacin
Sobre la base de estas dos reglas, siempre podremos reducir un argumento cualquiera a
la forma:

lo que constituye un esquema de inferencia en el que de la verdad de las premisas A, B, N

y su producto, podemos obtener la conclusin Y.