OBJETIVOS

Conocer el significado de la palabra

calculo
Desarrollar un conocimiento claro del
papel que juegan las matemticas en el
desarrollo de la humanidad
Entender de forma cronolgica los hechos
ms importantes en el desarrollo que ha
vivido la ciencia de las matemticas a lo
largo de toda la historia, hasta llegar a las
ciencias modernas.
Conocer de forma clara la influencia de los
distintos grupos culturales en el
desarrollo del clculo
INTRODUCCIN
La palabra clculo proviene del latn calculus,
que significa contar con piedras. Precisamente
desde que el hombre ve la necesidad de
contar, comienza la historia del calculo, o de
las matemticas.
Las matemticas son una de las ciencias ms
antiguas, y ms tiles. El concepto de
matemticas, se comenz a formar, desde que
el hombre vio la necesidad de contar objetos,
esta necesidad lo llev a la creacin de
sistemas de numeracin que inicialmente se
componan con la utilizacin de los dedos,
piernas, o piedras. De nuevo, por la
necesidad, se hizo forzosa la implementacin

de sistemas ms avanzados y que pudieran

resolver la mayora de los problemas que se
presentaban con continuidad.

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

enunciado que se deriva de aquellos, segn las

leyes de la lgica natural.16
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 sintcticas
entre 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 frmulas
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.17

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
2
3

Transformacin
donde

; y donde

donde

O viceversa
1

Transformacin

donde

donde

2) Regla de separacin (R.T.2):

; y donde

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