Está en la página 1de 15

Para otros usos de este trmino, vase Clculo (desambiguacin).

Para clculo infinitesimal (diferencial o integral), vase Clculo infinitesimal.


Para el estudio de los nmeros reales, los complejos, los vectores y sus
funciones, vase Anlisis matemtico.
En general el trmino clculo (del latn calculus = piedra)1 hace referencia al
resultado correspondiente a la accin de calcular. Calcular, por su parte,
consiste en realizar las operaciones necesarias para prever el resultado de
una accin previamente concebida, o conocer las consecuencias que se
pueden derivar de unos datos previamente conocidos.

No obstante, el uso ms comn del trmino clculo es el lgico-matemtico.


Desde esta perspectiva, el clculo consiste en un procedimiento mecnico, o
algoritmo, mediante el cual podemos conocer las consecuencias que se
derivan de unos datos previamente conocidos debidamente formalizados y
simbolizados.

ndice [ocultar]
1

Clculo como razonamiento y clculo lgico-matemtico

Historia del clculo

2.1

De la Antigedad

2.2

Renacimiento

2.3

Siglos XVII y XVIII

2.4

Siglos XIX y XX

2.5

Actualidad

Clculo infinitesimal: breve resea

Clculo lgico

4.1

Sistematizacin de un clculo de deduccin natural

4.1.1 Reglas de formacin de frmulas


4.1.2 Reglas de transformacin de frmulas
4.2

Esquemas de inferencia

4.3

El lenguaje natural como modelo de un clculo lgico

Vase tambin

Referencias

6.1

Bibliografa

6.2

Enlaces externos

Clculo como razonamiento y clculo lgico-matemtico[editar]


Ejemplo de aplicacin de un clculo algebraico a la resolucin de un
problema, segn la interpretacin de una teora fsica
La expresin del clculo algebraico y = xt, indica las relaciones sintcticas
que existen entre tres variables que no tienen significado alguno.
Pero si interpretamos y como espacio, x como velocidad y t como tiempo, tal
ecuacin modeliza una teora fsica que establece que el espacio recorrido
por un mvil con velocidad constante es directamente proporcional a la
velocidad con que se mueve y al tiempo que dura su movimiento.
Al mismo tiempo, segn dicha teora, sirve para resolver el problema de
calcular cuntos kilmetros ha recorrido un coche que circula de Madrid a
Barcelona a una velocidad constante de 60 km/h durante 4 horas de
recorrido.
240 kilmetros recorridos = 60 km/h x 4 h
Las dos acepciones del clculo (la general y la restringida) arriba definidas
estn ntimamente ligadas. El clculo 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 clculo lgico natural
como razonamiento es el primer clculo elemental del ser humano. El clculo
en sentido lgico-matemtico 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 consecucin 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

prctica o cognoscitiva.
Operaciones formales como algoritmo que se aplica bien directamente a los
datos conocidos o a los esquemas simblicos de la interpretacin lgicomatemtica de dichos datos; las posibles conclusiones, inferencias o
deducciones de dicho algoritmo son el resultado de la aplicacin de reglas
estrictamente establecidas de antemano.
Resultado que es:
Conclusin de un proceso de razonamiento.
Resultado aplicable directamente a los datos iniciales (resolucin de
problemas).
Modelo de relaciones previamente establecido como teora cientfica y
significativo respecto a determinadas realidades (Creacin de modelos
cientficos).
Mero juego formal simblico de fundamentacin, creacin y aplicacin de las
reglas que constituyen el sistema formal del algoritmo (Clculo lgicomatemtico, propiamente dicho).
Dada la importancia que histricamente ha adquirido la actividad lgicomatemtica en la cultura humana el presente artculo se refiere a este ltimo
sentido. De hecho la palabra, en su uso habitual, casi queda restringida a
este mbito de aplicacin; para algunos, incluso, queda reducida a un solo
tipo de clculo matemtico, pues en algunas universidades se llamaba
"Clculo" a una asignatura especfica de clculo matemtico (como puede ser
el clculo infinitesimal, anlisis matemtico, clculo diferencial e integral,
etc.).
En un artculo general sobre el tema no puede desarrollarse el contenido de
lo que supone el clculo lgico-matemtico en la actualidad. Aqu se expone
solamente el fundamento de sus elementos ms simples, teniendo en cuenta
que sobre estas estructuras simples se construyen los clculos ms
complejos tanto en el aspecto lgico como en el matemtico.
Historia del clculo[editar]
De la Antigedad[editar]

Reconstruccin de un baco romano.

Un baco moderno.
El trmino "clculo" procede del latn calculus, piedrecita que se mete en el
calzado y que produce molestia. Precisamente tales piedrecitas ensartadas
en tiras constituan el baco romano que, junto con el suanpan chino,
constituyen las primeras mquinas de calcular en el sentido de contar.

Los antecedentes de procedimiento de clculo, como algoritmo, se


encuentran en los que utilizaron los gemetras griegos, Eudoxo en particular,
en el sentido de llegar por aproximacin de restos cada vez ms pequeos, a
una medida de figuras curvas; as como Diofanto precursor del lgebra.

Se considera que Arqumedes fue uno de los matemticos ms grandes de la


antigedad y, en general, de toda la historia.2 3 Us el mtodo exhaustivo
para calcular el rea bajo el arco de una parbola con el sumatorio de una
serie infinita, y dio una aproximacin extremadamente precisa del nmero
Pi.4 Tambin defini la espiral que lleva su nombre, frmulas para los
volmenes de las superficies de revolucin y un ingenioso sistema para
expresar nmeros muy largos.

La consideracin del clculo como una forma de razonamiento abstracto


aplicado en todos los mbitos del conocimiento se debe a Aristteles, quien
en sus escritos lgicos fue el primero en formalizar y simbolizar los tipos de
razonamientos categricos (silogismos). Este trabajo sera completado ms
tarde por los estoicos, los megricos, la Escolstica.

Los algoritmos actuales del clculo aritmtico, utilizados universalmente, son


fruto de un largo proceso histrico. 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 representacin de los


nmeros arbigos 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 nmeros en Babilonia,
en Egipto, en Grecia o en Roma, haca muy difcil un procedimiento mecnico
de clculo.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 funcin 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 mecnica se confeccionaban unas tablas a


partir de las cuales se poda generar un algoritmo prcticamente mecnico.
Este sistema de tablas ha perdurado en algunas operaciones durante siglos,
como las tablas de logaritmos, o las funciones trigonomtricas; las tablas
venan a ser como la calculadora de hoy da; un instrumento imprescindible
de clculo. Las amortizaciones de los crditos en los bancos, por ejemplo, se
calculaban a partir de tablas elementales hasta que se produjo la aplicacin
de la informtica en el tercer tercio del siglo XX.

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

Renacimiento[editar]
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 burguesa renacentista.

El desarrollo del lgebra (con la introduccin de un sistema de smbolos por


un lado, y la resolucin de problemas por medio de las ecuaciones) vino de la
mano de los grandes matemticos de la poca renacentista como Tartaglia,
Stevin, Cardano o Vieta y fue esencial para el planteamiento y solucin de los
ms diversos problemas que surgieron en la poca como consecuencia de los
grandes descubrimientos que hicieron posible el progreso cientfico que
surgir en el siglo XVII.10

Siglos XVII y XVIII[editar]

Pgina del artculo de Leibniz "Explication de l'Arithmtique Binaire",


1703/1705.
En el siglo XVII el clculo conoci un enorme desarrollo siendo los autores
ms destacados Descartes,11 Pascal12 y, finalmente, Leibniz y Newton13
con el clculo infinitesimal que en muchas ocasiones ha recibido
simplemente, por absorcin, el nombre de clculo.

El concepto de clculo formal en el sentido de algoritmo reglado para el


desarrollo de un razonamiento y su aplicacin al mundo de lo real14 adquiere
una importancia y desarrollo enorme respondiendo a una necesidad de
establecer relaciones matemticas entre diversas medidas, esencial para el
progreso de la ciencia fsica que, debido a esto, es tomada como nuevo
modelo de Ciencia frente a la especulacin tradicional filosfica, por el rigor y
seguridad que ofrece el clculo matemtico. Cambia as el sentido tradicional
de la Fsica como filosofa 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 clculo permite establecer modelos


sobre la realidad fsica, cuya comprobacin experimental15 supone la
confirmacin de la teora como sistema. Es el momento de la consolidacin
del llamado mtodo cientfico cuyo mejor exponente es en aquel momento la
Teora de la Gravitacin Universal y las leyes de la Mecnica de Newton.16

Siglos XIX y XX[editar]

George Boole.
Durante el siglo XIX y XX el desarrollo cientfico y la creacin de modelos
tericos fundados en sistemas de clculo aplicables tanto en mecnica como
en electromagnetismo y radioactividad, etc. as como en astronoma fue
impresionante. Las geometras no euclidianas encuentran aplicacin en
modelos tericos de astronoma y fsica. El mundo deja de ser un conjunto de
infinitas partculas que se mueven en un espacio-tiempo absoluto y se
convierte en un espacio de configuracin o espacio de fases de n
dimensiones que fsicamente se hacen consistentes en la teora de la

relatividad, la mecnica cuntica, la teora de cuerdas etc. que cambia por


completo la imagen del mundo fsico.

La lgica asimismo sufri una transformacin radical.17 La formalizacin


simblica fue capaz de integrar las leyes lgicas en un clculo matemtico,
hasta el punto que la distincin entre razonamiento lgico-formal y clculo
matemtico viene a considerarse como meramente utilitaria.

En la segunda mitad del siglo XIX y primer tercio del XX, a partir del intento
de formalizacin de todo el sistema matemtico, Frege, y de matematizacin
de la lgica, (Bolzano, Boole, Whitehead, Russell) fue posible la
generalizacin del concepto como clculo lgico. Se lograron mtodos muy
potentes de clculo, sobre todo a partir de la posibilidad de tratar como
objeto conjuntos de infinitos elementos, dando lugar a los nmeros
transfinitos de Cantor.

Mediante el clculo la lgica encuentra nuevos desarrollos como lgicas


modales y lgicas polivalentes.

Los intentos de axiomatizar el clculo como clculo perfecto por parte de


Hilbert y Poincar, llevaron, como consecuencia de diversas paradojas
(Cantor, Russell etc.) a nuevos intentos de axiomatizacin, Axiomas de
Zermelo-Fraenkel y a la demostracin de Gdel de la imposibilidad de un
sistema de clculo perfecto: consistente, decidible y completo en 1931, de
grandes implicaciones lgicas, matemticas y cientficas.

Actualidad[editar]
En la actualidad, el clculo en su sentido ms general, en tanto que clculo
lgico interpretado matemticamente como sistema binario, y fsicamente
hecho material mediante la lgica de circuitos electrnicos, ha adquirido una
dimensin y desarrollo impresionante por la potencia de clculo conseguida
por los ordenadores, propiamente mquinas computadoras. La capacidad y
velocidad de clculo de estas mquinas hace lo que humanamente sera
imposible: millones de operaciones por segundo.

El clculo as utilizado se convierte en un instrumento fundamental de la


investigacin cientfica por las posibilidades que ofrece para la modelizacin
de las teoras cientficas, adquiriendo especial relevancia en ello el clculo
numrico.

Clculo infinitesimal: breve resea[editar]


Artculo principal: Clculo infinitesimal
El clculo infinitesimal, llamado por brevedad "clculo", tiene su origen en la
antigua geometra griega. Demcrito calcul el volumen de pirmides y
conos considerndolos formados por un nmero infinito de secciones de
grosor infinitesimal (infinitamente pequeo). Eudoxo y Arqumedes utilizaron
el "mtodo de agotamiento" o exhaucin para encontrar el rea de un crculo
con la exactitud finita requerida mediante el uso de polgonos regulares
inscritos de cada vez mayor nmero de lados. En el periodo tardo de Grecia,
el neoplatnico Pappus de Alejandra hizo contribuciones sobresalientes en
este mbito. Sin embargo, las dificultades para trabajar con nmeros
irracionales y las paradojas de Zenn de Elea impidieron formular una teora
sistemtica del clculo 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 (integracin y derivacin en trminos modernos). Fermat e Isaac
Barrow tenan la certeza de que ambos clculos 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 clculo.
Leibniz es el creador del simbolismo de la derivada, diferencial y la s
estilizada para la integracin, en vez de la I de Bernoulli. Us el nombre de
clculo diferencial y el nombre de clculo integral propuso Juan Bernoulli, que
sustituy al nombre de 'clculo sumatorio' de Leibniz. La simbologa de
Leibniz impuls el avance del calculus en Europa. 18 continental

El descubrimiento de Newton, a partir de su teora de la gravitacin universal,


fue anterior al de Leibniz, pero el retraso en su publicacin an provoca
controversias sobre quin de los dos fue el primero. Newton utiliz el clculo
en mecnica en el marco de su tratado "Principios matemticos de filosofa
natural", obra cientfica por excelencia, llamando a su mtodo de "fluxiones".
Leibniz utiliz el clculo en el problema de la tangente a una curva en un

punto, como lmite de aproximaciones sucesivas, dando un carcter ms


filosfico a su discurso. Sin embargo, termin por adoptarse la notacin de
Leibniz por su versatilidad.

En el siglo XVIII aument considerablemente el nmero de aplicaciones del


clculo, pero el uso impreciso de las cantidades infinitas e infinitesimales, as
como la intuicin geomtrica, causaban todava confusin y duda sobre sus
fundamentos. De hecho, la nocin de lmite, central en el estudio del clculo,
era an vaga e imprecisa en ese entonces. Uno de sus crticos ms notables
fue el filsofo George Berkeley.

En el siglo XIX el trabajo de los analistas matemticos sustituyeron esas


vaguedades por fundamentos slidos basados en cantidades finitas: Bolzano
y Cauchy definieron con precisin los conceptos de lmite en trminos de
psilon_delta y de derivada, Cauchy y Riemann hicieron lo propio con las
integrales, y Dedekind y Weierstrass con los nmeros reales. Fue el periodo
de la fundamentacin del clculo. Por ejemplo, se supo que las funciones
diferenciables son continuas y que las funciones continuas son integrables,
aunque los recprocos son falsos. En el siglo XX, el anlisis no convencional,
legitim el uso de los infinitesimales, al mismo tiempo que la aparicin de las
Computadoras ha incrementado las aplicaciones y velocidad del clculo.

Actualmente, el clculo infinitesimal tiene un doble aspecto: por un lado, se


ha consolidado su carcter disciplinario en la formacin 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 cientfica que ha
desembocado en mbitos tan especializados como el clculo fraccional, la
teora de funciones analticas de variable compleja o el anlisis matemtico.
El xito del clculo ha sido extendido con el tiempo a las ecuaciones
diferenciales, al clculo de vectores, al clculo de variaciones, al anlisis
complejo y a las topologa algebraica y topologa diferencial entre muchas
otras ramas.

El desarrollo y uso del clculo ha tenido efectos muy importantes en casi


todas las reas de la vida moderna: es fundamento para el clculo numrico
aplicado en casi todos los campos tcnicos y/o cientficos cuya principal
caracterstica es la continuidad de sus elementos, en especial en la fsica.

Prcticamente todos los desarrollos tcnicos modernos como la construccin,


aviacin, transporte, meteorologa, etc. hacen uso del clculo. Muchas
frmulas algebraicas se usan hoy en da en balstica, calefaccin,
refrigeracin, etc.

Como complemento del clculo, en relacin a sistemas tericos o fsicos


cuyos elementos carecen de continuidad, se ha desarrollado una rama
especial conocida como Matemtica discreta.

Clculo lgico[editar]
Artculo principal: Clculo lgico
El clculo lgico es un sistema de reglas de inferencia o deduccin de un
enunciado a partir de otro u otros. El clculo lgico requiere un conjunto
consistente de axiomas y unas reglas de inferencia; su propsito es poder
deducir algortmicamente proposiciones lgicas verdaderas a partir de dichos
axiomas. La inferencia es una operacin lgica que consiste en obtener una
proposicin lgica como conclusin a partir de otra(s) (premisas) mediante la
aplicacin 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 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 enunciado que se deriva de
aquellos, segn las leyes de la lgica natural.20

La lgica, como ciencia formal, se ocupa de analizar y sistematizar dichas


leyes, fundamentarlas y convertirlas en las reglas que permiten la
transformacin 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 conclusin es
necesariamente verdadera.

Al aplicar las reglas de un clculo lgico a los enunciados de un argumento


mediante la simbolizacin adecuada como frmulas o expresiones bien
formadas (EBF) del clculo, construimos un modelo o sistema deductivo. En
ese contexto, las reglas de formacin de frmulas definen la sintaxis de un
lenguaje formal de smbolos no interpretados, es decir, sin significado alguno;
y las reglas de transformacin 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 tautologas.

Un lenguaje formal que sirve de base para el clculo lgico est formado por
varias clases de entidades:

Un conjunto de elementos primitivos. Dichos elementos pueden establecerse


por enumeracin, o definidos por una propiedad tal que permita discernir sin
duda alguna cundo un elemento pertenece o no pertenece al sistema.
Un conjunto de reglas de formacin de expresiones bien formadas (EBF)
que permitan en todo momento establecer, sin forma de duda, cundo una
expresin pertenece al sistema y cundo no.
Un conjunto de reglas de transformacin de expresiones, mediante las cuales
partiendo de una expresin bien formada del clculo podremos obtener una
nueva expresin equivalente y bien formada que pertenece al clculo.
Cuando en un clculo as definido se establecen algunas expresiones
determinadas como verdades primitivas o axiomas, decimos que es un
sistema formal axiomtico. Un clculo as definido si cumple al mismo tiempo
estas tres condiciones decimos que es un Clculo Perfecto:

Es consistente: No es posible que dada una expresin bien formada del


sistema, , y su negacin, no , sean ambas teoremas del sistema. No puede
haber contradiccin entre las expresiones del sistema.
Decidible: Dada cualquier expresin bien formada del sistema podemos
encontrar un mtodo que nos permita decidir mediante una serie finita de
operaciones si dicha expresin es o no es un teorema del sistema.
Completo: Cuando dada cualquier expresin bien formada del sistema,
podemos establecer la demostracin matemtica o prueba de que es un

teorema del sistema.


La misma lgica-matemtica ha demostrado que tal sistema de clculo
perfecto "no es posible" (vase el Teorema de Gdel).

Sistematizacin de un clculo de deduccin natural[editar]


Reglas de formacin de frmulas[editar]
I. Una letra enunciativa (con o sin subndice) es una EBF.

II. Si A es una EBF, A tambin lo es.

III. Si A es una EBF y B tambin, entonces 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.

Notas:
A, B,... con maysculas estn utilizadas como metalenguaje en el que cada
variable expresa cualquier proposicin, atmica (p,q,r,s....) o molecular (p
q), (p q)...
A, B,... son smbolos que significan variables; , , , , , son smbolos
constantes.
Existen diversas formas de simbolizacin. Utilizamos aqu la de uso ms
frecuente en Espaa.21
Reglas de transformacin de frmulas[editar]
1) Regla de sustitucin (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:

[(p q) r] t sTransformacin

ArB

C B Donde C = A r

Donde A = (p q); y donde B = (t s)

O viceversa

C B Transformacin

ArB

[(p q) r] t sDonde (p q) = A; y donde (t s) = B

Donde A r = C

2) Regla de separacin (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.

Esquemas de inferencia[editar]
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 conclusin Y con valor de verdad V, siempre y cuando

dicho esquema de inferencia sea una ley lgica, es decir su tabla de verdad
nos muestre que es una tautologa.

Por la regla de separacin podremos concluir Y, de forma independiente


como verdad.

Dada la poca operatividad de las tablas de verdad, el clculo se construye


como una cadena deductiva aplicando a las premisas o a los teoremas
deducidos las leyes lgicas utilizadas como reglas de transformacin, como
se expone en clculo lgico.

El lenguaje natural como modelo de un clculo lgico[editar]


Naturalmente el clculo lgico es til porque puede tener aplicaciones, pero
en qu consisten o cmo 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


formalizacin de tal forma que podamos reducir las expresiones lingsticas
del lenguaje natural a EBF de un clculo mediante reglas estrictas
manteniendo el sentido de verdad lgica de dichas expresiones del lenguaje
natural. Esto es lo que se expone en clculo lgico.

Las diversas formas en que tratemos las expresiones lingsticas


formalizadas como proposiciones lgicas dan lugar a sistemas diversos de
formalizacin y clculo:

Clculo proposicional o clculo de enunciados


Cuando se toma la oracin simple significativa del lenguaje natural con
posible valor de verdad o falsedad como una proposicin atmica, como un
todo sin analizar.

Clculo como lgica de clases


Cuando se toma la oracin simple significativa del lenguaje natural con
posible valor de verdad o falsedad como resultado del anlisis de la oracin
como una relacin de individuos o posibles individuos que poseen o no
poseen una propiedad comn determinada como pertenecientes o no
pertenecientes a una clase natural o a un conjunto como individuos.
Clculo de predicados o cuantificacional
Cuando se toma la oracin simple significativa del lenguaje natural con
posible valor de verdad o falsedad como resultado del anlisis de la misma
de forma que una posible funcin predicativa (P), se predica de unos posibles
sujetos variables (x) [tomados en toda su posible extensin: (Todos los x); o
referente a algunos indeterminados: (algunos x)], o de una constante
individual existente (a).
Clculo como lgica de relaciones
Cuando se toma la oracin simple significativa con posible valor de verdad
propio, verdado o falso, como resultado del anlisis de la oracin como una
relacin R que se establece entre un sujeto y un predicado.

La simbolizacin y formacin de EBFs en cada uno de esos clculos, as como


las reglas de clculo se trata en clculo lgico.