COLEGIO DE BACHILLERES DEL ESTADO DE

TLAXCALA
PLANTEL 08, IXTACUIXTLA

CALCULO DIFERENCIAL

PROF. MARIA ELIZABETH TAPIA LIMA

ALUM. YOSELIN HERNANDEZ HERNANDEZ

GRUPO: 503




QUE ES EL CALCULO DIFERENCIAL?

El clculo diferencial es una parte del anlisis matemtico que consiste en el estudio de
cmo cambian las funciones cuando sus variables cambian. El principal objeto de estudio en
el clculo diferencial es la derivada. Una nocin estrechamente relacionada es la de diferencial
de una funcin.
El estudio del cambio de una funcin es de especial inters para el clculo diferencial, en
concreto el caso en el que el cambio de las variables es infinitesimal, esto es, cuando dicho
cambio tiende a cero (se hace tan pequeo como se desee). Y es que el clculo diferencial se
apoya constantemente en el concepto bsico del lmite. El paso al lmite es la principal
herramienta que permite desarrollar la teora del clculo diferencial y la que lo diferencia
claramente del lgebra.
Desde el punto de vista matemtico de las funciones y la geometra, la derivada de una
funcin en un cierto punto es una medida de la tasa en la cual una funcin cambia conforme
un argumento se modifica. Esto es, una derivada involucra, en trminos matemticos,
una tasa de cambio. Una derivada es el clculo de las pendientes instantneas de en
cada punto . Esto se corresponde a las pendientes de las tangentes de la grfica de dicha
funcin en sus puntos (una tangente por punto); Las derivadas pueden ser utilizadas para
conocer la concavidad de una funcin, sus intervalos de crecimiento, sus mximos y mnimos.
La inversa de una derivada se llama primitiva, anti derivada o integral indefinida.






EVOLUCION HISTORICA

El clculo se deriva de la antigua geometra griega. Demcrito calculo el volumen de pirmides
y conos, Eudoxo y Arqumedes utilizaron el "mtodo de agotamiento" para encontrar el rea
de un circulo con la exactitud requerida mediante el uso de polgonos inscritos.

Isaac Newton fue discpulo de Barrow.

En el siglo XVII, Francesco B. Cavalieri y Evangelista Torricelli ampliaron el uso de los
infinitesimales, y Descartes y Pierre de Fermat utilizaron el lgebra para encontrar el rea y las
tangentes (integracin y diferenciacin en trminos modernos). Fermat e Isaac Barrow tena la
certeza de que Gottfried W. Leibniz (hacia 1670) quienes demostraron que son inversos, lo
que se conoce como "teorema fundamental del clculo".
En el siglo XVIII aument considerablemente el nmero de aplicaciones del clculo, pero el
uso impreciso de las cantidades infinitivas e infinitesimales, as como la intuicin geomtrica,
causaban todava confusin y controversia sobre sus fundamentos.
En el siglo XIX los analistas matemticos sustituyeron esas vaguedades por fundamentos
slidos basados en cantidades finitas: Bernhard Bolzano y Augustin Loui Cauchy definieron
con precisin los lmites y las derivadas; Cauchy y Bernhard Riemann hicieron lo propio con
las integrales. En el siglo XX, el anlisis no convencional, legitim el uso de los infitesimales.
Al mismo tiempo, la aparicin de los creadores o computadoras ha incrementado las
aplicaciones y velocidad del clculo.




USO ANTIGUO DEL CLCULO

En sus comienzos el clculo fue desarrollado para estudiar cuatro problemas cientficos y
matemticos:
1._ Encontrar la tangente a una curva en un punto.
2._ Encontrar el valor mximo o mnimo de una cantidad.
3._ Encontrar la longitud de una curva, en el rea de una regin y el volumen de un slido.
4._ Dada una frmula de la distancia recorrida por un cuerpo en cualquier tiempo conocido,
encontrar la velocidad y la aceleracin del cuerpo en cualquier instante.

ACTUALIDAD

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 la topologa algebraica y
topologa diferencial entre muchas otras ramas. El desarroll 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 la fsica. La capacidad y
velocidad de las computadoras hacia el clculo hacen que humanamente sera imposible
hacer millones de operaciones por segundo.

HISTORIA

Los problemas tpicos que dieron origen al clculo infinitesimal, comenzaron a plantearse en la
poca clsica de la antigua Grecia (siglo III a.c), con conceptos de tipo geomtrico como
el problema de la tangente a una curva de Apolonio de Perge, pero no se encontraron
mtodos sistemticos de resolucin hasta el siglo XVII por la obra de Isaac Newton y Gottfried
Leibniz.
Ellos sintetizaron dos conceptos y mtodos usados por sus predecesores en lo que hoy
llamamos diferenciacin e integracin. Desarrollaron reglas para manipular las derivadas
(reglas de derivacin) y mostraron que ambos conceptos eran inversos (teorema fundamental
del clculo).
Desde el siglo XVII, muchos matemticos han contribuido al clculo diferencial. En el siglo
XIX, el clculo tom un estilo ms riguroso, debido a matemticos como Augustin Louis
Cauchy (17891857), Bernhard Riemann (18261866), y Karl Weierstrass (18151897). Fue
tambin durante este periodo que el clculo diferencial fue generalizado al espacio eucldeo y
el plano complejo.

Recta tangente a una funcin en un
punto
La recta tangente a una funcin f(x) es como se ha visto el lmite de las rectas secantes
cuando uno de los puntos de corte de la secante con la funcin se hace tender hacia el otro
punto de corte. Tambin puede definirse a la recta tangente como la mejor aproximacin lineal
a la funcin en su punto de tangencia, esto es, la recta tangente es la funcin polinmica de
primer grado que mejor aproxima a la funcin localmente en el punto de tangencia que
consideremos.
Si conocemos la ecuacin de la recta tangente T
a
(x) a la funcin f(x) en el punto a podemos
tomar T
a
(x) como una aproximacin razonablemente buena de f(x) en las proximidades del
punto a. Esto quiere decir que si tomamos un punto a + h y lo evaluamos tanto en la funcin
como en la recta tangente, la diferencia ser despreciable frente
a h en valor absoluto si h tiende a cero. Cuanto ms cerca estemos del punto a tanto ms
precisa ser nuestra aproximacin de f(x).
Para una funcin f(x) derivable localmente en el punto a, la recta tangente a f(x) por el
punto a es:
T
a
(x)= f(a) + f '(a)(x-a).
Uso de las derivadas para
realizar grficos de funciones
Las derivadas son una til herramienta para examinar las grficas de funciones. En
particular, los puntos en el interior de un dominio de una funcin de valores reales que
llevan a dicha funcin a un extremo local tendrn una primera derivada de cero. Sin
embargo, no todos los puntos crticos son extremos locales. Por ejemplo, f(x)=x tiene un
punto crtico en x=0, pero en ese punto no hay un mximo ni un mnimo. El criterio de la
primera derivada y el criterio de la segunda derivada permiten determinar si los puntos
crticos son mximos, mnimos o ninguno.
En el caso de dominios multidimensionales, la funcin tendr una derivada parcial de cero
con respecto a cada dimensin en un extremo local. En este caso, la prueba de la
segunda derivada se puede seguir utilizando para caracterizar a los puntos crticos,
considerando el eigen valor de la matriz Hessiana de las segundas derivadas parciales de
la funcin en el punto crtico. Si todos los eigen valores son positivos, entonces el punto es
un mnimo local; si todos son negativos es un mximo local. Si hay algunos eigen valores
positivos y algunos negativos, entonces el punto crtico es un punto silla, y si no se cumple
ninguno de estos casos, la prueba es no concluyente (e.g., los engei valores son 0 y 3).
Una vez que se encuentran los extremos locales, es mucho ms fcil hacerse de una
burda idea de la grfica general de la funcin, ya que (en el caso del dominio mono
dimensional) se incrementar o decrementar uniformemente excepto en los puntos
crticos, y por ello (suponiendo su continuidad) tendr valores intermedios entre los
valores en los puntos crticos de cada lado.

GENERALIZACION DEL CACULO
INTEGRAL

Cuando una funcin depende de ms de una variable, se utiliza el concepto de derivada
parcial. Las derivadas parciales se pueden pensar informalmente como tomar la derivada de
una funcin con respecto a una de ellas, manteniendo las dems variables constantes. Las
derivadas parciales se representan como (en dnde ; es una 'd' redondeada conocida
como 'smbolo de la derivada parcial').
El concepto de derivada puede ser extendido de forma ms general. El hilo comn es que la
derivada en un punto sirve como una aproximacin lineal a la funcin en dicho punto. Quiz la
situacin ms natural es que las funciones sean diferenciables en las variedades. La derivada
en un cierto punto entonces se convierte en una transformacin lineal entre los
correspondientes espacios tangentes y la derivada de la funcin se convierte en un mapeo
entre los grupos tangentes.
Para diferenciar todas las funciones continuas y mucho ms, se puede definir el concepto
de distribucin.
Para las funciones complejas de una variable compleja, la diferenciabilidad es una condicin
mucho ms fuerte que la simple parte real e imaginaria de la funcin diferenciada con respecto
a la parte real e imaginaria del argumento. Por ejemplo, la
funcin satisface lo segundo, pero no lo primero. Vea
tambin Funcin holomrfica.
Vea tambin: diferintegral. ptimo de una funcin real de dos variables sujeta a restricciones
Dadas las funciones, de valor real, y ambas con dominio, el problema consiste en hallar los
valores mximos o mnimos (valores extremos) de cuando se restringe a tomar valores en el
conjunto.
De la Antigedad

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. 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. 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.
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.
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. 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. 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.
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.
Siglos XVII y XVIII

En el siglo XVII el clculo conoci un enorme desarrollo siendo los autores ms
destacados Descartes, Pascal y, finalmente, Leibnizy Newton

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 real

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 experimental

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.

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
se 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 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. 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.
CALCULO 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 tena la certeza de que
ambos clculos estaban relacionados, aunque fueron Newton (hacia1660), 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.
CALCULO LOGICO
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.
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 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.

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.