Clculo

En general el trmino clculo (del latn calculus = piedra)

1
hace referencia al resultado
correspondiente a la accin de calcular o contar. 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.

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 comorazonamiento 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:
1. 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.
2. Operaciones formales como algoritmo que se aplica bien directamente a los datos
conocidos o a los esquemas simblicos de la interpretacin lgico-matemtica 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 lgico-matemtico,
propiamente dicho).
Dada la importancia que histricamente ha adquirido la actividad lgico-matemtica 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

Reconstruccin de un bacoromano.

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 losvolmenes 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 enformalizar 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
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

Pgina del artculo de Leibniz"Explication de l'Arithmtique Binaire", 1703/1705.
Durante buena parte del siglo los discpulos de Newton y Leibniz se basaron en sus
trabajos para resolver diversos problemas de fsica, astronoma e ingeniera, lo que les
permiti, al mismo tiempo, crear campos nuevos dentro de las matemticas. As, los
hermanos Bernoulli inventaron el clculo de variaciones y el matemtico francs Monge la
geometra descriptiva. Lagrange, tambin francs, dio un tratamiento completamente
analtico de la mecnica, realiz contribuciones al estudio de las ecuaciones diferenciales
y la teora de nmeros, y desarroll la teora de grupos. Su contemporneo Laplace
escribi Teora analtica de las probabilidades (1812) y el clsico Mecnica celeste (1799-
1825), que le vali el sobrenombre de "el Newton francs".
Sin embargo el gran matemtico del siglo fue el suizo Euler, quien aport ideas
fundamentales sobre el clculo y otras ramas de las matemticas y sus aplicaciones.
Euler escribi textos sobre clculo, mecnica y lgebra que se convirtieron en modelos a
seguir para otros autores interesados en estas disciplinas. El xito de Euler y de otros
matemticos para resolver problemas tanto matemticos como fsicos utilizando el clculo
slo sirvi para acentuar la falta de un desarrollo adecuado y justificado de las ideas
bsicas del clculo. La teora de Newton se bas en la cinemtica y las velocidades, la de
Leibniz en los infinitsimos, y el tratamiento de Lagrange era completamente algebraico y
basado en el concepto de las series infinitas. Todos estos sistemas eran inadecuados en
comparacin con el modelo lgico de la geometra griega, y este problema no fue resuelto
hasta el siglo posterior.
A los matemticos de fines del siglo el horizonte matemtico les pareca obstruido. Se
haba llegado al estudio de cuestiones muy complicadas a las que nos se les conoca o
vea un alcance claro. Los sabios sentan la necesidad de estudiar conceptos nuevos y
hallar nuevos procedimientos.


Siglos XIX y XX

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 dimensiones que fsicamente se hacen consistentes en lateora 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.
11
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
En general el trmino clculo hace referencia, indistintamente, a la accin o el resultado
correspondiente a la accin de calcular. Calcular consiste en realizar las operaciones
necesarias para prever el resultado de una accin anteriormente concebida, o conocer las
consecuencias que se pueden derivar de unos datos previamente conocidos.
El clculo se puede aplicar en distintas ciencias, como son: la medicina, la economa, la
ingeniera, la arquitectura, etc. En Medicina, el clculo, especficamente el algoritmo, se
aplica a la epidemiologa y el logaritmo, a la inmunologa. En Economa y Administracin,
el anlisis de la economa y la administracin trata frecuentemente con cambios, l clculo
es para los directores de empresa y economistas es una herramienta muy valiosa. El
anlisis marginal es quiz la aplicacin ms directa del clculo a la economa y a la
administracin. Como ya hemos visto, el clculo diferencial es tambin el mtodo
mediante el cual se obtienen mximos y mnimos de funciones, por consiguiente,
utilizando el clculo se pueden resolver problemas relativos a maximizar ganancias o
minimizar costos. En Ingeniera, en particular la ingeniera electrnica, utiliza bastantes
ecuaciones diferenciales ya que es una herramienta para el anlisis de seales analgicas
o digitales, y la electrnica tiene varias materias respecto a seales o tratamiento de
seales.
Clculo infinitesimal: breve resea
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
grosorinfinitesimal (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 lasparadojas 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
Barrowtenan 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.
12
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 lasComputadoras 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
lastopologa 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
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.
13

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 enunciado que se deriva de aquellos, segn las leyes de la lgica
natural.
14

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 este clculo lgico a los enunciados que forman
un argumento mediante la simbolizacin adecuada de frmulas o expresiones bien
formadas (EBF) construimos un modelo o sistema deductivo. En ese contexto, las reglas
de formacin de frmulas definen una sintaxis de un lenguaje formal de smbolos no
interpretados, es decir, sin significado alguno, en el que se establecen mediante reglas
estrictas, las relaciones sintcticasentre los smbolos para la construccin de frmulas
bien formadas (fbf), as como las reglas que 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 sierva de base para el clculo lgico est formado por varias
clases de entidades:
1. 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.
2. Un conjunto de reglas de formacin de expresiones bien formadas(EBFs)
que permitan en todo momento establecer, sin forma de duda, cundo una
expresin pertenece al sistema y cundo no.
3. 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:
1. Es consistente: No es posible que dada una expresin bien formada del
sistema, , y su negacin, , sean ambas teoremas del sistema. No
puede haber contradiccin entre las expresiones del sistema.
2. 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.
3. 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
Reglas de formacin de frmula

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.
15

Reglas de transformacin de frmulas
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:
1

Transformacin
2

donde ; y donde
3

donde

O viceversa
1

Transformacin
2

donde
3

donde ; y donde

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
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 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
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.
16

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
EBFs 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.