C�lculo

Ir a la navegaci�nIr a la b�squeda
Para otros usos de este t�rmino, v�ase C�lculo (desambiguaci�n).
Para c�lculo infinitesimal (diferencial o integral), v�ase C�lculo infinitesimal.
Para el estudio de los n�meros reales, los complejos, los vectores y sus funciones,
v�ase An�lisis matem�tico.
En general el t�rmino c�lculo (del lat�n calculus = piedrecita, usado para contar o
como ayuda al calcular)1? hace referencia al resultado correspondiente a la acci�n
de calcular. Calcular, por su parte, consiste en realizar las operaciones
necesarias para prever el resultado de una acci�n previamente concebida, o conocer
las consecuencias que se pueden derivar de unos datos previamente conocidos.

No obstante, el uso m�s com�n del t�rmino "c�lculo" es el l�gico-matem�tico. Desde

esta perspectiva, el c�lculo consiste en un procedimiento mec�nico, o algoritmo,
mediante el cual podemos conocer las consecuencias que se derivan de unos datos
previamente conocidos debidamente formalizados y simbolizados.

�ndice
1 C�lculo como razonamiento y c�lculo l�gico-matem�tico
2 Historia del c�lculo
2.1 De la Antig�edad
2.2 Renacimiento
2.3 Siglos XVII y XVIII
2.4 Siglos XIX y XX
2.5 Actualidad
3 C�lculo infinitesimal: breve rese�a
4 C�lculo l�gico
4.1 Sistematizaci�n de un c�lculo de deducci�n natural
4.1.1 Reglas de formaci�n de f�rmulas
4.1.2 Reglas de transformaci�n de f�rmulas
4.2 Esquemas de inferencia
4.3 El lenguaje natural como modelo de un c�lculo l�gico
5 V�ase tambi�n
6 Referencias
7 Bibliograf�a
8 Enlaces externos
C�lculo como razonamiento y c�lculo l�gico-matem�tico
Ejemplo de aplicaci�n de un c�lculo algebraico a la resoluci�n de un problema,
seg�n la interpretaci�n de una teor�a f�sica
La expresi�n del c�lculo algebraico {\displaystyle y=xt} {\displaystyle y=xt},
indica las relaciones sint�cticas que existen entre tres variables que no tienen
significado alguno.
Pero si interpretamos {\displaystyle y} y como espacio, {\displaystyle x} x como
velocidad y {\displaystyle t} t como tiempo, tal ecuaci�n modeliza una teor�a
f�sica que establece que el espacio recorrido por un m�vil con velocidad constante
es directamente proporcional a la velocidad con que se mueve y al tiempo que dura
su movimiento.
Al mismo tiempo, seg�n dicha teor�a, sirve para resolver el problema de calcular
cu�ntos kil�metros ha recorrido un coche que circula de Madrid a Barcelona a una
velocidad constante de 60 km/h durante 4 horas de recorrido.
240 kil�metros recorridos = 60 km/h x 4 h
Las dos acepciones del c�lculo (la general y la restringida) arriba definidas est�n
�ntimamente ligadas. El c�lculo es una actividad natural y primordial en el hombre,
que comienza en el mismo momento en que empieza a relacionar unas cosas con otras
en un pensamiento o discurso. El c�lculo l�gico natural como razonamiento es el
primer c�lculo elemental del ser humano. El c�lculo en sentido l�gico-matem�tico
aparece cuando se toma conciencia de esta capacidad de razonar y trata de
formalizarse.
Por lo tanto, podemos distinguir dos tipos de operaciones:

Operaciones orientadas hacia la consecuci�n de un fin, como prever, programar,

conjeturar, estimar, precaver, prevenir, proyectar, configurar, etc. que incluyen
en cada caso una serie de complejas actividades y habilidades tanto de pensamiento
como de conducta. En su conjunto dichas actividades adquieren la forma de argumento
o razones que justifican una finalidad pr�ctica o cognoscitiva.
Operaciones formales como algoritmo que se aplica bien directamente a los datos
conocidos o a los esquemas simb�licos de la interpretaci�n l�gico-matem�tica de
dichos datos; las posibles conclusiones, inferencias o deducciones de dicho
algoritmo son el resultado de la aplicaci�n de reglas estrictamente establecidas de
antemano.
Resultado que es:
Conclusi�n de un proceso de razonamiento.
Resultado aplicable directamente a los datos iniciales (resoluci�n de problemas).
Modelo de relaciones previamente establecido como teor�a cient�fica y significativo
respecto a determinadas realidades (Creaci�n de modelos cient�ficos).
Mero juego formal simb�lico de fundamentaci�n, creaci�n y aplicaci�n de las reglas
que constituyen el sistema formal del algoritmo (C�lculo l�gico-matem�tico,
propiamente dicho).
Dada la importancia que hist�ricamente ha adquirido la actividad l�gico-matem�tica
en la cultura humana el presente art�culo se refiere a este �ltimo sentido. De
hecho la palabra, en su uso habitual, casi queda restringida a este �mbito de
aplicaci�n; para algunos, incluso, queda reducida a un solo tipo de c�lculo
matem�tico, pues en algunas universidades se llamaba "C�lculo" a una asignatura
espec�fica de c�lculo matem�tico (como puede ser el c�lculo infinitesimal, an�lisis
matem�tico, c�lculo diferencial e integral, etc.).
En un art�culo general sobre el tema no puede desarrollarse el contenido de lo que
supone el c�lculo l�gico-matem�tico en la actualidad. Aqu� se expone solamente el
fundamento de sus elementos m�s simples, teniendo en cuenta que sobre estas
estructuras simples se construyen los c�lculos m�s complejos tanto en el aspecto
l�gico como en el matem�tico.
Historia del c�lculo
De la Antig�edad

Reconstrucci�n de un �baco romano.

Un �baco moderno.
El t�rmino "c�lculo" procede del lat�n calculus, piedrecita que se mete en el
calzado y que produce molestia. Precisamente tales piedrecitas ensartadas en tiras
constitu�an el �baco romano que, junto con el suanpan chino, constituyen las
primeras m�quinas de calcular en el sentido de contar.

Los antecedentes de procedimiento de c�lculo, como algoritmo, se encuentran en los

que utilizaron los ge�metras griegos, Eudoxo en particular, en el sentido de llegar
por aproximaci�n de restos cada vez m�s peque�os, a una medida de figuras curvas;
as� como Diofanto precursor del �lgebra.

Se considera que Arqu�medes fue uno de los matem�ticos m�s grandes de la antig�edad
y, en general, de toda la historia.2?3? Us� el m�todo exhaustivo para calcular el
�rea bajo el arco de una par�bola con el sumatorio de una serie infinita, y dio una
aproximaci�n extremadamente precisa del n�mero Pi.4? Tambi�n defini� la espiral que
lleva su nombre, f�rmulas para los vol�menes de las superficies de revoluci�n y un
ingenioso sistema para expresar n�meros muy largos.

La consideraci�n del c�lculo como una forma de razonamiento abstracto aplicado en

todos los �mbitos del conocimiento se debe a Arist�teles, quien en sus escritos
l�gicos fue el primero en formalizar y simbolizar los tipos de razonamientos
categ�ricos (silogismos). Este trabajo ser�a completado m�s tarde por los estoicos,
los meg�ricos, la Escol�stica.

Los algoritmos actuales del c�lculo aritm�tico, utilizados universalmente, son

fruto de un largo proceso hist�rico. De vital importancia son las aportaciones de
Muhammad ibn al-Juarismi en el siglo IX;5?

En el siglo XIII, Fibonacci introduce en Europa la representaci�n de los n�meros

ar�bigos del sistema decimal. Se introdujo el 0, ya de antiguo conocido en la India
y se construye definitivamente el sistema decimal de diez cifras con valor
posicional. La escritura antigua de n�meros en Babilonia, en Egipto, en Grecia o en
Roma, hac�a muy dif�cil un procedimiento mec�nico de c�lculo.6?

El sistema decimal fue muy importante para el desarrollo de la contabilidad de los

comerciantes de la Baja Edad Media, en los inicios del capitalismo.

El concepto de funci�n por tablas ya era practicado de antiguo pero adquiri�

especial importancia en la Universidad de Oxford en el siglo XIV.7? La idea de un
lenguaje o algoritmo capaz de determinar todas las verdades, incluidas las de la
fe, aparecen en el intento de Raimundo Lulio en su Ars Magna

A fin de lograr una operatividad mec�nica se confeccionaban unas tablas a partir de

las cuales se pod�a generar un algoritmo pr�cticamente mec�nico. Este sistema de
tablas ha perdurado en algunas operaciones durante siglos, como las tablas de
logaritmos, o las funciones trigonom�tricas; las tablas ven�an a ser como la
calculadora de hoy d�a; un instrumento imprescindible de c�lculo. Las
amortizaciones de los cr�ditos en los bancos, por ejemplo, se calculaban a partir
de tablas elementales hasta que se produjo la aplicaci�n de la inform�tica en el
tercer tercio del siglo XX.

A finales de la Edad Media la discusi�n entre los partidarios del �baco y los
partidarios del algoritmo se decant� claramente por estos �ltimos.8? De especial
importancia es la creaci�n del sistema contable por partida doble recomendado por
Luca Pacioli fundamental para el progreso del capitalismo en el Renacimiento.9?

Renacimiento
El sistema que usamos actualmente fue introducido por Luca Pacioli en 1494, el cual
fue creado y desarrollado para responder a la necesidad de la contabilidad en los
negocios de la burgues�a renacentista.

El desarrollo del �lgebra (con la introducci�n de un sistema de s�mbolos por un

lado, y la resoluci�n de problemas por medio de las ecuaciones) vino de la mano de
los grandes matem�ticos de la �poca renacentista como Tartaglia, Stevin, Cardano o
Vieta y fue esencial para el planteamiento y soluci�n de los m�s diversos problemas
que surgieron en la �poca, que dieron como consecuencia los grandes descubrimientos
que hicieron posible el progreso cient�fico que surgir�a en el siglo XVII.10?

Siglos XVII y XVIII

P�gina del art�culo de Leibniz "Explication de l'Arithm�tique Binaire", 1703/1705.

En el siglo XVII el c�lculo conoci� un enorme desarrollo siendo los autores m�s
destacados Descartes,11? Pascal12? y, finalmente, Leibniz y Newton13? con el
c�lculo infinitesimal que en muchas ocasiones ha recibido simplemente, por
absorci�n, el nombre de c�lculo.

El concepto de c�lculo formal en el sentido de algoritmo reglado para el desarrollo

de un razonamiento y su aplicaci�n al mundo de lo real14? adquiere una importancia
y desarrollo enorme respondiendo a una necesidad de establecer relaciones
matem�ticas entre diversas medidas, esencial para el progreso de la ciencia f�sica
que, debido a esto, es tomada como nuevo modelo de Ciencia frente a la especulaci�n
tradicional filos�fica, por el rigor y seguridad que ofrece el c�lculo matem�tico.
Cambia as� el sentido tradicional de la F�sica como filosof�a de la naturaleza y
toma el sentido de ciencia que estudia los cuerpos materiales, en cuanto
materiales.

A partir de entonces el propio sistema de c�lculo permite establecer modelos sobre

la realidad f�sica, cuya comprobaci�n experimental15? supone la confirmaci�n de la
teor�a como sistema. Es el momento de la consolidaci�n del llamado m�todo
cient�fico cuyo mejor exponente es en aquel momento la Teor�a de la Gravitaci�n
Universal y las leyes de la Mec�nica de Newton.16?

Siglos XIX y XX

George Boole.
Durante el siglo XIX y XX el desarrollo cient�fico y la creaci�n de modelos
te�ricos fundados en sistemas de c�lculo aplicables tanto en mec�nica como en
electromagnetismo y radioactividad, etc. as� como en astronom�a fue impresionante.
Las geometr�as no euclidianas encuentran aplicaci�n en modelos te�ricos de
astronom�a y f�sica. El mundo deja de ser un conjunto de infinitas part�culas que
se mueven en un espacio-tiempo absoluto y se convierte en un espacio de
configuraci�n o espacio de fases de {\displaystyle n} n dimensiones que f�sicamente
se hacen consistentes en la teor�a de la relatividad, la mec�nica cu�ntica, la
teor�a de cuerdas etc. que cambia por completo la imagen del mundo f�sico.

La l�gica asimismo sufri� una transformaci�n radical.17? La formalizaci�n simb�lica

fue capaz de integrar las leyes l�gicas en un c�lculo matem�tico, hasta el punto
que la distinci�n entre razonamiento l�gico-formal y c�lculo matem�tico viene a
considerarse como meramente utilitaria.

En la segunda mitad del siglo XIX y primer tercio del XX, a partir del intento de
formalizaci�n de todo el sistema matem�tico, Frege, y de matematizaci�n de la
l�gica, (Bolzano, Boole, Whitehead, Russell) fue posible la generalizaci�n del
concepto como c�lculo l�gico. Se lograron m�todos muy potentes de c�lculo, sobre
todo a partir de la posibilidad de tratar como �objeto� conjuntos de infinitos
elementos, dando lugar a los n�meros transfinitos de Cantor.

Mediante el c�lculo la l�gica encuentra nuevos desarrollos como l�gicas modales y

l�gicas polivalentes.

Los intentos de axiomatizar el c�lculo como c�lculo perfecto por parte de Hilbert y
Poincar�, llevaron, como consecuencia de diversas paradojas (Cantor, Russell etc.)
a nuevos intentos de axiomatizaci�n, Axiomas de Zermelo-Fraenkel y a la
demostraci�n de G�del de la imposibilidad de un sistema de c�lculo perfecto:
consistente, decidible y completo en 1931, de grandes implicaciones l�gicas,
matem�ticas y cient�ficas.

Actualidad
En la actualidad, el c�lculo en su sentido m�s general, en tanto que c�lculo l�gico
interpretado matem�ticamente como sistema binario, y f�sicamente hecho material
mediante la l�gica de circuitos electr�nicos, ha adquirido una dimensi�n y
desarrollo impresionante por la potencia de c�lculo conseguida por los ordenadores,
propiamente m�quinas computadoras. La capacidad y velocidad de c�lculo de estas
m�quinas hace lo que humanamente ser�a imposible: millones de operaciones por
segundo.

El c�lculo as� utilizado se convierte en un instrumento fundamental de la

investigaci�n cient�fica por las posibilidades que ofrece para la modelizaci�n de
las teor�as cient�ficas, adquiriendo especial relevancia en ello el c�lculo
num�rico.

C�lculo infinitesimal: breve rese�a

Art�culo principal: C�lculo infinitesimal
El c�lculo infinitesimal, llamado por brevedad "c�lculo", tiene su origen en la
antigua geometr�a griega. Dem�crito calcul� el volumen de pir�mides y conos
consider�ndolos formados por un n�mero infinito de secciones de grosor
infinitesimal (infinitamente peque�o). Eudoxo y Arqu�medes utilizaron el "m�todo de
agotamiento" o exhauci�n para encontrar el �rea de un c�rculo con la exactitud
finita requerida mediante el uso de pol�gonos regulares inscritos de cada vez mayor
n�mero de lados. En el periodo tard�o de Grecia, el neoplat�nico Pappus de
Alejandr�a hizo contribuciones sobresalientes en este �mbito. Sin embargo, las
dificultades para trabajar con n�meros irracionales y las paradojas de Zen�n de
Elea impidieron formular una teor�a sistem�tica del c�lculo en el periodo antiguo.

En el siglo XVII, Cavalieri y Torricelli ampliaron el uso de los infinitesimales,

Descartes y Fermat utilizaron el �lgebra para encontrar el �rea y las tangentes
(integraci�n y derivaci�n en t�rminos modernos). Fermat e Isaac Barrow ten�an la
certeza de que ambos c�lculos estaban relacionados, aunque fueron Newton (hacia
1660), en Inglaterra y Leibniz en Alemania (hacia 1670) quienes demostraron que los
problemas del �rea y la tangente son inversos, lo que se conoce como teorema
fundamental del c�lculo. Leibniz es el creador del simbolismo de la derivada,
diferencial y la s estilizada para la integraci�n, en vez de la I de Bernoulli. Us�
el nombre de c�lculo diferencial y el nombre de c�lculo integral propuso Juan
Bernoulli, que sustituy� al nombre de 'c�lculo sumatorio' de Leibniz. La simbolog�a
de Leibniz impuls� el avance del c�lculo en Europa continental.18?

El descubrimiento de Newton, a partir de su teor�a de la gravitaci�n universal, fue

anterior al de Leibniz, pero el retraso en su publicaci�n a�n provoca controversias
sobre qui�n de los dos fue el primero. Newton utiliz� el c�lculo en mec�nica en el
marco de su tratado "Principios matem�ticos de filosof�a natural", obra cient�fica
por excelencia, llamando a su m�todo de "fluxiones". Leibniz utiliz� el c�lculo en
el problema de la tangente a una curva en un punto, como l�mite de aproximaciones
sucesivas, dando un car�cter m�s filos�fico a su discurso. Sin embargo, termin� por
adoptarse la notaci�n de Leibniz por su versatilidad.

En el siglo XVIII aument� considerablemente el n�mero de aplicaciones del c�lculo,

pero el uso impreciso de las cantidades infinitas e infinitesimales, as� como la
intuici�n geom�trica, causaban todav�a confusi�n y duda sobre sus fundamentos. De
hecho, la noci�n de l�mite, central en el estudio del c�lculo, era a�n vaga e
imprecisa en ese entonces. Uno de sus cr�ticos m�s notables fue el fil�sofo George
Berkeley.

En el siglo XIX el trabajo de los analistas matem�ticos sustituyeron esas

vaguedades por fundamentos s�lidos basados en cantidades finitas: Bolzano y Cauchy
definieron con precisi�n los conceptos de l�mite en t�rminos de �psilon_delta y de
derivada, Cauchy y Riemann hicieron lo propio con las integrales, y Dedekind y
Weierstrass con los n�meros reales. Fue el periodo de la fundamentaci�n del
c�lculo. Por ejemplo, se supo que las funciones diferenciables son continuas y que
las funciones continuas son integrables, aunque los rec�procos son falsos. En el
siglo XX, el an�lisis no convencional, legitim� el uso de los infinitesimales, al
mismo tiempo que la aparici�n de las computadoras ha incrementado las aplicaciones
y velocidad del c�lculo.

Actualmente, el c�lculo infinitesimal tiene un doble aspecto: por un lado, se ha

consolidado su car�cter disciplinario en la formaci�n de la sociedad culta del
conocimiento, destacando en este �mbito textos propios de la disciplina como el de
Louis Leithold, el de Earl W. Swokowski o el de James Stewart entre muchos otros;
por otro su desarrollo como disciplina cient�fica que ha desembocado en �mbitos tan
especializados como el c�lculo fraccional, la teor�a de funciones anal�ticas de
variable compleja o el an�lisis matem�tico. El �xito del c�lculo ha sido extendido
con el tiempo a las ecuaciones diferenciales, al c�lculo de vectores, al c�lculo de
variaciones, al an�lisis complejo y a las topolog�a algebraica y topolog�a
diferencial entre muchas otras ramas.

El desarrollo y uso del c�lculo ha tenido efectos muy importantes en casi todas las
�reas de la vida moderna: es fundamento para el c�lculo num�rico aplicado en casi
todos los campos t�cnicos y/o cient�ficos cuya principal caracter�stica es la
continuidad de sus elementos, en especial en la f�sica. Pr�cticamente todos los
desarrollos t�cnicos modernos como la construcci�n, aviaci�n, transporte,
meteorolog�a, etc. hacen uso del c�lculo. Muchas f�rmulas algebraicas se usan hoy
en d�a en bal�stica, calefacci�n, refrigeraci�n, etc.

Como complemento del c�lculo, en relaci�n a sistemas te�ricos o f�sicos cuyos

elementos carecen de continuidad, se ha desarrollado una rama especial conocida
como Matem�tica discreta.

C�lculo l�gico
Art�culo principal: C�lculo l�gico
El c�lculo l�gico es un sistema de reglas de inferencia o deducci�n de un enunciado
a partir de otro u otros. El c�lculo l�gico requiere un conjunto consistente de
axiomas y unas reglas de inferencia; su prop�sito es poder deducir algor�tmicamente
proposiciones l�gicas verdaderas a partir de dichos axiomas. La inferencia es una
operaci�n l�gica que consiste en obtener una proposici�n l�gica como conclusi�n a
partir de otra(s) (premisas) mediante la aplicaci�n de reglas de inferencia.19?

Informalmente interpretamos 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 c�lculo l�gico no es necesario acudir al
concepto de verdad, para construir el c�lculo l�gico.

Los hombres en nuestra tarea diaria, utilizamos constantemente el razonamiento

deductivo. Partimos de enunciados emp�ricos -supuestamente verdaderos y v�lidos-
para concluir en otro enunciado que se deriva de aquellos, seg�n las leyes de la
l�gica natural.20?

La l�gica, como ciencia formal, se ocupa de analizar y sistematizar dichas leyes,

fundamentarlas y convertirlas en las reglas que permiten la transformaci�n de unos
enunciados -premisas- en otros -conclusiones- con objeto de convertir las
operaciones en un algoritmo riguroso y eficaz, que garantiza que dada la verdad de
las premisas, la conclusi�n es necesariamente verdadera.

Al aplicar las reglas de un c�lculo l�gico a los enunciados de un argumento

mediante la simbolizaci�n adecuada como f�rmulas o expresiones bien formadas (EBF)
del c�lculo, construimos un modelo o sistema deductivo. En ese contexto, las reglas
de formaci�n de f�rmulas definen la sintaxis de un lenguaje formal de s�mbolos no
interpretados, es decir, sin significado alguno; y las reglas de transformaci�n del
sistema permiten transformar dichas expresiones en otras equivalentes; entendiendo
por equivalentes que ambas tienen siempre y de forma necesaria el mismo valor de
verdad. Dichas transformaciones son meramente tautolog�as.

Un lenguaje formal que sirve de base para el c�lculo l�gico est� formado por varias
clases de entidades:

Un conjunto de elementos primitivos. Dichos elementos pueden establecerse por

enumeraci�n, o definidos por una propiedad tal que permita discernir sin duda
alguna cu�ndo un elemento pertenece o no pertenece al sistema.
Un conjunto de reglas de formaci�n de �expresiones bien formadas� (EBF) que
permitan en todo momento establecer, sin forma de duda, cu�ndo una expresi�n
pertenece al sistema y cu�ndo no.
Un conjunto de reglas de transformaci�n de expresiones, mediante las cuales
partiendo de una expresi�n bien formada del c�lculo podremos obtener una nueva
expresi�n equivalente y bien formada que pertenece al c�lculo.
Cuando en un c�lculo as� definido se establecen algunas expresiones determinadas
como verdades primitivas o axiomas, decimos que es un sistema formal axiom�tico. Un
c�lculo as� definido si cumple al mismo tiempo estas tres condiciones decimos que
es un C�lculo Perfecto:

Es consistente: No es posible que dada una expresi�n bien formada del sistema, �, y
su negaci�n, no � �, sean ambas teoremas del sistema. No puede haber contradicci�n
entre las expresiones del sistema.
Decidible: Dada cualquier expresi�n bien formada del sistema podemos encontrar un
m�todo que nos permita decidir mediante una serie finita de operaciones si dicha
expresi�n es o no es un teorema del sistema.
Completo: Cuando dada cualquier expresi�n bien formada del sistema, podemos
establecer la demostraci�n matem�tica o prueba de que es un teorema del sistema.
La misma l�gica-matem�tica ha demostrado que tal sistema de c�lculo perfecto "no es
posible" (v�ase el Teorema de G�del).

Sistematizaci�n de un c�lculo de deducci�n natural

Reglas de formaci�n de f�rmulas
I. Una letra enunciativa (con o sin sub�ndice) es una EBF.

II. Si A es una EBF, � A tambi�n lo es.

III. Si A es una EBF y B tambi�n, entonces A ? B; A ? B; A ? B; A ? B, tambi�n lo

son.

IV. Ninguna expresi�n es una f�rmula del C�lculo sino en virtud de I, II, III.

Notas:
A, B,... con may�sculas est�n utilizadas como metalenguaje en el que cada variable
expresa cualquier proposici�n, at�mica (p,q,r,s....) o molecular (p ? q), (p ?
q)...
A, B,... son s�mbolos que significan variables; �, ?, ?, ?, ?, son s�mbolos
constantes.
Existen diversas formas de simbolizaci�n. Utilizamos aqu� la de uso m�s frecuente
en Espa�a.21?
Reglas de transformaci�n de f�rmulas
1) Regla de sustituci�n (R.T.1):

Dada una tesis EBF del c�lculo, en la que aparecen variables de enunciados, el
resultado de sustituir una, algunas o todas esas variables por expresiones bien
formadas (EBF) del c�lculo, ser� tambi�n una tesis EBF del c�lculo. Y ello con una
�nica restricci�n, si bien muy importante: cada variable ha de ser sustituida
siempre que aparece y siempre por el mismo sustituto.

Veamos el ejemplo:

1 [(p ? q) ? r] ? t ? s Transformaci�n
2 A ? r ? B Donde A = (p ? q); y donde B = (t ? s)
3 C ? B Donde C = A ? r

O viceversa

1 C ? B Transformaci�n
2 A ? r ? B Donde A ? r = C
3 [(p ? q) ? r] ? t ? s Donde (p ? q) = A; y donde (t ? s) = B

2) Regla de separaci�n (R.T.2):

Si X es una tesis EBF del sistema y lo es tambi�n X ? Y, entonces Y es una tesis

EBF del sistema.

Esquemas de inferencia
Sobre la base de estas dos reglas, siempre podremos reducir un argumento cualquiera
a la forma:

[A ? B ? C ... ? N] ? Y

lo que constituye un esquema de inferencia en el que una vez conocida la verdad de

cada una de las premisas A, B, ... N y, por tanto, de su producto, podemos obtener
la conclusi�n Y con valor de verdad V, siempre y cuando dicho esquema de inferencia
sea una ley l�gica, es decir su tabla de verdad nos muestre que es una tautolog�a.

Por la regla de separaci�n podremos concluir Y, de forma independiente como verdad.

Dada la poca operatividad de las tablas de verdad, el c�lculo se construye como una
cadena deductiva aplicando a las premisas o a los teoremas deducidos las leyes
l�gicas utilizadas como reglas de transformaci�n, como se expone en c�lculo l�gico.

El lenguaje natural como modelo de un c�lculo l�gico

Naturalmente el c�lculo l�gico es �til porque puede tener aplicaciones, pero �en
qu� consisten o c�mo se hacen tales aplicaciones?

Podemos considerar que el lenguaje natural es un modelo de C si podemos someterlo,

es decir, aplicarle una correspondencia en C.22?

Para ello es necesario someter al lenguaje natural a un proceso de formalizaci�n de

tal forma que podamos reducir las expresiones ling��sticas del lenguaje natural a
EBF de un c�lculo mediante reglas estrictas manteniendo el sentido de verdad l�gica
de dichas expresiones del lenguaje natural. Esto es lo que se expone en c�lculo
l�gico.

Las diversas formas en que tratemos las expresiones ling��sticas formalizadas como
proposiciones l�gicas dan lugar a sistemas diversos de formalizaci�n y c�lculo:

C�lculo proposicional o c�lculo de enunciados

Cuando se toma la oraci�n simple significativa del lenguaje natural con posible
valor de verdad o falsedad como una proposici�n at�mica, como un todo sin analizar.
C�lculo como l�gica de clases
Cuando se toma la oraci�n simple significativa del lenguaje natural con posible
valor de verdad o falsedad como resultado del an�lisis de la oraci�n como una
relaci�n de individuos o posibles individuos que poseen o no poseen una propiedad
com�n determinada como pertenecientes o no pertenecientes a una clase natural o a
un conjunto como individuos.
C�lculo de predicados o cuantificacional
Cuando se toma la oraci�n simple significativa del lenguaje natural con posible
valor de verdad o falsedad como resultado del an�lisis de la misma de forma que una
posible funci�n predicativa (P), se predica de unos posibles sujetos variables (x)
[tomados en toda su posible extensi�n: (Todos los x); o referente a algunos
indeterminados: (algunos x)], o de una constante individual existente (a).
C�lculo como l�gica de relaciones
Cuando se toma la oraci�n simple significativa con posible valor de verdad propio,
verdado o falso, como resultado del an�lisis de la oraci�n como una relaci�n R que
se establece entre un sujeto y un predicado.
La simbolizaci�n y formaci�n de EBFs en cada uno de esos c�lculos, as� como las
reglas de c�lculo se trata en c�lculo l�gico.

V�ase tambi�n
Aritm�tica
C�lculo l�gico
Algoritmo de Euclides
Lenguaje formalizado
Lenguaje formal
L�gica proposicional
L�gica de primer orden
Sistema formal
Silogismo
C�lculo de la ra�z cuadrada
Cifra (matem�tica)
Puerta l�gica
Tabla de valores de verdad
Teor�a de conjuntos
Historia del hardware de computador
Regla de c�lculo
Sistema de numeraci�n
Teor�a de n�meros
Matem�ticas en el Antiguo Egipto
Numeraci�n egipcia
Numeraci�n griega
Numeraci�n romana
Acarreo
Potenciaci�n
Radicaci�n
Logaritmaci�n
�lgebra
�lgebra elemental
Modelo cient�fico