Cálculu

Pa cálculu infinitesimal (diferencial o integral) vease Cálculu infinitesimal
 Pal estudiu de los númberos reales, los complexos, los vectores y les sos funciones vease Analís matemáticu

El cálculu (del llatín calculus = piedra)La pallabra castellana cálculu derivar del llatín calculus que significa piedra, yá que s'utilizaben quixarros p'aidase na resolución de los problemes de cálculu aritméticu, pa cuntar y realizar les operaciones aritmétiques elementales. En medicina les piedres de la vesícula o del reñón llámense cálculos fai referencia, indistintamente, a l'aición o la resultancia correspondiente a l'aición de calcular. Calcular, pela so parte, consiste en realizar les operaciones necesaries pa prever la resultancia d'una aición primeramente concebida, o conocer les consecuencies que pueden derivase d'unos datos primeramente conocíos.

Sicasí, l'usu más común del términu cálculu ye'l lóxicu-matemáticu. Dende esta perspeutiva, el cálculu consiste nun procedimientu mecánicu, o algoritmu, per aciu el cual podemos conocer les consecuencies que se deriven d'unos datos primeramente conocíos debidamente formalizaos y simbolizaos.

 Cálculu como razonamientu y cálculu lóxicu-matemáticu 
Exemplu d'aplicación d'un cálculu alxebraicu a la resolución d'un problema según la interpretación d'una teoría física

La espresión del cálculu alxebraicu , indica les rellaciones sintáctiques qu'esisten ente trés variables que nun tienen significáu dalgunu.

Pero si interpretamos  como espaciu,  como velocidá y  como tiempu, tal ecuación modeliza una teoría física qu'establez que l'espaciu percorríu por un móvil con velocidá constante ye direutamente proporcional a la velocidá con que se mueve y de la que dura'l so movimientu.

Coles mesmes, según dicha teoría, sirve pa resolver el problema de calcular cuántos quilómetros percorrió un coche que circula de Madrid a Barcelona a una velocidá constante de 60 km/h mientres 4 hores de percorríu.

 240 quilómetros percorríos = 60 km/h x 4 h

Los dos acepciones del cálculu (la xeneral y l'acutada) enriba definíes tán íntimamente amestaes. El cálculu ye una actividá natural y primordial nel home, qu'empieza a la que empieza a rellacionar unes coses con otres nun pensamientu o discursu. El cálculu lóxicu natural como razonamientu ye'l primer cálculu elemental del ser humanu. El cálculu en sentíu lóxicu-matemáticu apaez cuando se toma conciencia d'esta capacidá de razonar y trata de formalizase.

Poro, podemos estremar dos tipos de operaciones:
 Operaciones empobinaes escontra la consecución d'un fin, como prever, programar, conxeturar, envalorar, precaver, prevenir, proyeutar, configurar, etc. qu'inclúin en cada casu una serie de complexes actividaes y habilidaes tanto de pensamientu como de conducta. Nel so conxuntu diches actividaes adquieren la forma d'argumentu o razones que xustifiquen una finalidá práutica o cognoscitiva.
 Operaciones formales como algoritmu que s'aplica bien direutamente a los datos conocíos o a los esquemes simbólicos de la interpretación lóxicu-matemática de dichos datos; les posibles conclusiones, inferencies o deducciones de dichu algoritmu son la resultancia de l'aplicación de regles puramente establecíes de mano.
Resultáu que ye:
Conclusión d'un procesu de razonamientu.
 Resultáu aplicable direutamente a los datos iniciales (resolución de problemes).
 Modelu de rellaciones primeramente establecíu como teoría científica y significativu al respective de determinaes realidaes (Creación de modelos científicos).
Meru xuegu formal simbólicu de fundamentación, creación y aplicación de les regles que constitúin el sistema formal del algoritmu (Cálculu lóxicu-matemáticu, puramente dichu). 
Dada la importancia qu'históricamente adquirió l'actividá lóxicu-matemática na cultura humana'l presente artículu referir a esti postreru sentíu.

De fechu la pallabra, nel so usu habitual, cuasi queda acutada a esti ámbitu d'aplicación; pa dalgunos, inclusive, queda amenorgada a un solu tipu de cálculu matemáticu, pos en delles universidaes llamábase "Cálculu" a una asignatura específica de cálculu matemáticu (como pue ser el cálculu infinitesimal, analís matemáticu, cálculu diferencial ya integral, etc.).

Nun artículu xeneral sobre la tema nun puede desenvolvese'l conteníu de lo que supón el cálculu lóxicu-matemáticu na actualidá.

Equí espónse solamente'l fundamentu de los sos elementos más simples, teniendo en cuenta que sobre estes estructures simples constrúyense los cálculos más complexos tantu nel aspeutu lóxicu como nel matemáticu.

 Historia del cálculu 

 De la Roma Clásica a la Edá Media 
El términu "cálculu" procede del llatín calculus, piedrina que se mete nel calzáu y que produz molestia. Precisamente tales piedrines enartaes en tires constituyíen el ábaco romanu que, xunto col suanpan chinu, constitúin les primeres máquines de calcular nel sentíu de cuntar.

Los antecedentes de procedimientu de cálculu, como algoritmu, atopar nos qu'utilizaron les xeómetres griegos, Eudoxo en particular, nel sentíu de llegar por aproximamientu de restos cada vegada más pequeños, a una midida de figures curves; según Diofanto precursor del álxebra.

La considerancia del cálculu como una forma de razonamientu astractu aplicáu en tolos ámbitos de la conocencia deber a Aristóteles, quien nos sos escritos lóxicos foi'l primeru en formalizar y simbolizar los tipos de razonamientos categóricos (siloxismos). Esti trabayu sería completáu más tarde polos estoicos, los megáricos, la Escolástica.

Los algoritmos actuales del cálculu aritméticu, utilizaos universalmente, son frutu d'un llargu procesu históricu. De vital importancia son les aportaciones de Muhammad ibn al-Juarismi nel sieglu IX;la pallabra algoritmu introducir en matemátiques n'honor a esti matemáticu árabe.

Introducióse'l 0, yá d'antiguu conocíu na India y constrúyese definitivamente'l sistema decimal de diez cifres con valor posicional de les mesmes, introducíu n'Europa polos árabes. La escritura antiguo de númberos en Babilonia, n'Exiptu, en Grecia o en Roma, faía bien difícil un procedimientu mecánicu de cálculu.Bien interesante la descripción d'esti procesu en Cifra (matemática)

El sistema decimal foi bien importante pal desenvolvimientu de la contabilidá de los comerciantes de la Baxa Edá Media, nos entamos del capitalismu.

El conceutu de función por tables yá yera practicáu d'antiguu pero adquirió especial importancia na Universidá d'Oxford nel sieglu XIV.Ver lóxica empírica La idea d'un llinguaxe o algoritmu capaz de determinar toles verdaes, incluyíes les de la fe, apaecen nel intentu de Raimundo Lulio nel so Ars Magna

Con cuenta de llograr una operatividad mecánica iguábense unes tables a partir de les cualos podía xenerase un algoritmu práuticamente mecánicu. Esti sistema de tables perduró en delles operaciones mientres sieglos, como les tables de llogaritmos, o les funciones trigonométriques; les tables veníen ser como la calculadora de güei día; un preséu imprescindible de cálculu. Les amortizaciones de los creitos nos bancos, por casu, calcular a partir de tables elementales hasta que se produció l'aplicación de la informática nel tercer terciu del sieglu XX.

A finales de la Edá Media'l discutiniu ente los partidarios del ábaco y los partidarios del algoritmu decantóse claramente por estos postreros.Sacrobosco, Algoritmos 1488; Georg von Peurbach, Algorithmus, 1492; Luca Pacioli; Summa de Arithmetica proportioni et porportionalita, 1494. Bien interesante y risondera esposición d'esta guerra en Cifra (matemática) D'especial importancia ye la creación del sistema contable por partida doble encamentáu por Luca Pacioli fundamental pal progresu del capitalismu na Renacencia.Sombart W.: El burgués:Contribución a la hestoria espiritual del home económicu modernu. 1979. Madrid. Alianza

 Renacimientu 
El sistema qu'usamos anguaño foi introducíu por Luca Pacioli en 1494, y foi creáu y desenvueltu pa responder a la necesidá de la contabilidá nos negocios de la burguesía renacentista.

El desenvolvimientu del álxebra (cola introducción d'un sistema de símbolos per un sitiu, y la resolución de problemes per mediu de les ecuaciones) vieno de la mano de los grandes matemáticos renacentistes como Tartaglia, Stevin, Cardano o Vieta y foi esencial pal planteamientu y solución de los más diversos problemes que surdieron na dómina de resultes de los grandes descubrimientos que fixeron posible'l progresu científicu que va surdir nel sieglu XVII.La brúxula y les grandes rutes marítimes, col descubrimientu d'América; el tresformamientu de la guerra pola aplicación de la pólvora, qu'amena l'interés pol estudiu del movimientu de los proyeutiles Tartaglia;l'aceptación del préstamu con interés y la creación de les sociedaes por aiciones qu'empecipiaron el primer gran capitalismu; la nueves tables astronómiques sustituyendo les tables alfonsinas (Tycho Brahe); y el copernicanismo que ruempe la imaxe medieval del mundu

 Sieglos XVII y XVIII 

Nel sieglu XVII el cálculu conoció un enorme desenvolvimientu siendo los autores más destacaos Descartes,Que llega a concebir el mundu como racional sometíu a una mathesis universal, la estensión, que convierte'l mundu material nun inmensu mecanismu, teoría mecanicista, perfectamente calculable según un orde matemáticu que surde del analís concebíu como métodu d'investigación. PascalCálculu de cóniques, estudiu mecánicu de les presiones, principiu de Pascal d'enorme importancia na hidroestática, y finalmente nel cálculu de probabilidaes. y, finalmente, Leibniz y NewtonCol so famosu discutiniu alrodiu de la invención del cálculu infinitesimal de tanta importancia y que paez comprobáu ser productu independiente de cada unu d'ellos col cálculu infinitesimal qu'en munches ocasiones recibió a cencielles, por absorción, el nome de cálculu.

El conceutu de cálculu formal nel sentíu d'algoritmu regláu pal desenvolvimientu d'un razonamientu y la so aplicación al mundu de lo realCálculu de movimientos como'l de cayida llibre de los graves, Galileo,; trayeutoria de los planetes, Kepler; trayeutoria de proyeutiles pa l'artillería; midíes astronómiques y xeográfiques; presiones, Torricelli y Pascal; y toles aplicaciones práutiques d'estos cálculos pa la práutica de la navegación y la naciente industria: bombes de vacíu, prensa hidráulica, lletricidá, magnetismu etc. adquier una importancia y desenvolvimientu enorme respondiendo a una necesidá d'establecer rellaciones matemátiques ente diverses midíes, esencial pal progresu de la ciencia física que, por cuenta de esto, ye tomada como nuevu modelu de Ciencia frente a la especulación tradicional filosófica, pol rigor y seguridá qu'ufierta'l cálculu matemáticu. Camuda asina'l sentíu tradicional de la Física como Ciencia de la Naturaleza y toma el sentíu de ciencia qu'estudia los cuerpos materiales, en cuanto materiales.

A partir d'entós el mesmu sistema de cálculu dexa establecer modelos sobre la realidá física, que la so comprobación esperimentalVease en Lóxica empírica la so aplicación por Galileo al movimientu de cayida llibre de los graves. supón la confirmación de la teoría como sistema. Ye'l momentu del afitamientu del llamáu métodu científicu que'l so meyor esponente ye naquel momentu la Teoría de la Gravitación Universal y les lleis de la Mecánica de Newton.El modelu de Newton basar nuna xeometría analítica espacial de tres dimensiones inmutables como espaciu absolutu y una socesión constante ya inmutable nuna direición de tiempu absolutu nos qu'una infinidá de partícules materiales mases mover según un principiu universal la Gravitación Universal , y unes lleis dinámiques que rixen el movimientu: Principiu d'inercia; Principiu d'aición y reaición; y Principiu fundamental de la dinámica, 

 Sieglos XIX y XX 

Mientres el sieglu XIX y XX el desenvolvimientu científicu y la creación de modelos teóricos fundaos en sistemes de cálculu aplicables tantu en mecánica como n'electromagnetismu y radioactividá, etc. según n'astronomía foi impresionante. Les xeometríes non euclidianes atopen aplicación en modelos teóricos d'astronomía y física. El mundu dexa de ser un conxuntu d'infinites partícules que se mueven nun espaciu-tiempu absolutu y conviértese nun espaciu de configuración o espaciu de fases de  dimensiones que físicamente se faen consistentes na teoría de la relatividá, la mecánica cuántica, la teoría de cuerdes etc. que camuda por completu la imaxe del mundu físicu.

La lóxica coles mesmes sufrió un tresformamientu radical.La Lóxica d'Aristóteles caltúvose práuticamente como tal a lo llargo de los sieglos. Kant, a finales del sieglu XVIII, cuntaba que la Lóxica aristotélica nun sufriera cambeos sustanciales mientres tanto tiempu por tratase d'una ciencia a priori y analítica y, por tanto, constituyise como un llinguaxe formal; consideraba que diera de sí tou lo que podía ufiertar. Kant. Prólogu a la Crítica de la Razón Pura. La formalización simbólica foi capaz d'integrar les lleis lóxiques nun cálculu matemáticu, hasta'l puntu que la distinción ente razonamientu lóxicu-formal y cálculu matemáticu vien considerase como puramente utilitaria.

Na segunda metá del sieglu XIX y primer terciu del XX, a partir del intentu de formalización de tol sistema matemáticu, Frege, y de matematización de la lóxica, (Bolzano, Boole, Whitehead, Russell) foi posible la xeneralización del conceutu como cálculu lóxicu. Llográronse métodos bien potentes de cálculu, sobremanera a partir de la posibilidá de tratar como “oxetu” conxuntos d'infinitos elementos, dando llugar a los númberos transfinitos de Cantor.

Por aciu el cálculu la lóxica atopa nuevos desarrollos como lóxiques modales y lóxiques polivalentes.

Los intentos d'axomatizar el cálculu como cálculu perfectu per parte de Hilbert y Poincaré, llevaron, de resultes de diverses paradoxes (Cantor, Russell etc.) a nuevos intentos de axiomatización, Axomes de Zermelo-Fraenkel y a la demostración de Gödel de la imposibilidá d'un sistema de cálculu perfectu: consistente, decidible y completu en 1931, de grandes implicaciones lóxiques, matemátiques y científiques.

 Actualidá 
Na actualidá, el cálculu nel so sentíu más xeneral, en cuantes que cálculu lóxicu interpretáu matemáticamente como sistema binariu, y físicamente fechu material per aciu la lóxica de circuitos eléctrónicos, adquirió una dimensión y desenvolvimientu impresionante pola potencia de cálculu consiguida polos ordenadores, puramente máquines ordenadores. La capacidá y velocidá de cálculu d'estes máquines fai lo que humanamente sería imposible: millones d'operaciones por segundu.

El cálculu asina utilizáu convertir nun preséu fundamental de la investigación científica poles posibilidaes qu'ufierta pa la modelización de les teoríes científiques, alquiriendo especial relevancia nello'l cálculu numbéricu.

 Conceutu xeneral de cálculu 
El cálculu ye un sistema de símbolos non interpretaos, esto ye, ensin significáu dalgunu, nel que s'establecen per aciu regles estrictes, les rellaciones sintáctiques ente los símbolos pa la construcción de fórmules bien formaes (fbf), según les regles que dexen tresformar diches espresiones n'otres equivalentes; entendiendo por equivalentes que dambes tienen siempres y de forma necesaria'l mesmu valor de verdá. Diches tresformamientos son puramente tautoloxíes.

Un cálculu consiste en:

 Un conxuntu d'elementos primitivos. Dichos elementos pueden establecese por enumeración, o definíos por una propiedá tal que dexe discernir ensin dala dulda cuándo un elementu pertenez o nun pertenez al sistema.
 Un conxuntu de regles de formación de “espresiones bien formaes”(EBFs) que dexen en tou momentu establecer, ensin forma de dulda, cuándo una espresión pertenez al sistema y cuándo non.
 Un conxuntu de regles de tresformamientu d'espresiones, per aciu les cualos partiendo d'una espresión bien formada del cálculu vamos poder llograr una nueva espresión equivalente y bien formada que pertenez al cálculu.

Cuando nun cálculu asina definíu establécense delles espresiones determinaes como verdaes primitives o axomes, dicimos que ye un sistema formal axomáticu.

Un cálculu asina definíu si cumple coles mesmes estos trés condiciones dicimos que ye un Cálculu Perfectu:

 Ye consistente: Nun ye posible que dada una espresión bien formada del sistema, , y la so negación, , sían dambes teoremes del sistema. Nun puede haber contradicción ente les espresiones del sistema.
 Decidible: Dada cualquier espresión bien formada del sistema podemos atopar un métodu que nos dexe decidir per aciu una serie finita d'operaciones si dicha espresión ye o nun ye un teorema del sistema.
 Completu: Cuando dada cualquier espresión bien formada del sistema, podemos establecer la demostración matemática o prueba de que ye un teorema del sistema.

La mesma lóxica-matemática demostró que tal sistema de cálculu perfectu "nun ye posible" (vease'l Teorema de Gödel).

 Cálculu infinitesimal: curtia reseña 

El cálculu infinitesimal, llamáu por brevedá "cálculu", tien el so orixe na antigua xeometría griega. Demócrito calculó'l volume de pirámides y conos considerándolos formaos por un númberu infinitu de seiciones de grosez infinitesimal (infinitamente pequeñu). Eudoxo y Arquímedes utilizaron el "métodu d'escosamientu" o exhaución p'atopar l'área d'un círculu cola exactitú finita riquida per aciu l'usu de polígonos regulares inscritos de cada vegada mayor númberu de llaos. Nel periodu tardíu de Grecia, el neoplatónicu Pappus d'Alexandría fixo contribuciones sobresalientes nesti ámbitu. Sicasí, les dificultaes pa trabayar con númberos irracionales y les paradoxes de Zenón d'Elea torgaron formular una teoría sistemática del cálculu nel periodu antiguu. 

Nel sieglu XVII, Cavalieri y Torricelli ampliaron l'usu de los infinitesimales, Descartes y Fermat utilizaron el álxebra p'atopar el área y les tanxentes (integración y derivación en términos modernos). Fermat y Isaac Barrow teníen la certidume de que dambos cálculos taben rellacionaos, anque fueron Newton (escontra 1660), n'Inglaterra y Leibniz n'Alemaña (escontra 1670) quien demostraron que los problemes del área y la tanxente son inversos, lo que se conoz como teorema fundamental del cálculu. 

El descubrimientu de Newton, a partir del so teoría de la gravitación universal, foi anterior al de Leibniz, pero'l retrasu na so publicación entá provoca discutinios sobre quién de los dos foi'l primeru. Newton utilizó'l cálculu en mecánica nel marcu del so tratáu "Principios matemáticos de filosofía natural", obra científica por excelencia, llamando al so métodu de "flusiones". Leibniz utilizó'l cálculu nel problema de la tanxente a una curva nun puntu, como llende d'aproximamientos socesivos, dando un calter más filosóficu al so discursu. Sicasí, terminó per adoptar se la notación de Leibniz pola so versatilidad. 

Nel sieglu XVIII aumentó considerablemente'l númberu d'aplicaciones del cálculu, pero l'usu imprecisu de les cantidaes infinites ya infinitesimales, según la intuición xeométrica, causaben inda tracamundiu y dulda sobre los sos fundamentos. Ello ye que la noción de llende, central nel estudiu del cálculu, yera entá vaga ya imprecisa nesi entós. Unu de los sos críticos más notables foi'l filósofu George Berkeley. 

Nel sieglu XIX el trabayu de los analistes matemáticos sustituyeron eses vaguedades por fundamentos sólidos basaos en cantidaes finitas: Bolzano y Cauchy definieron con precisión los conceutos de llende en términos de épsilon_delta y de derivada, Cauchy y Riemann fixeron lo propio coles integrales, y Dedekind y Weierstrass colos númberos reales. Foi'l periodu de la fundamentación del cálculu. Por exemplu, súpose que les funciones diferenciables son continues y que les funciones continues son integrables, anque los recíprocos son falsos. Nel sieglu XX, l'analís non convencional, legitimó l'usu de los infinitesimales, coles mesmes que l'apaición de los ordenadores amontó les aplicaciones y velocidá del cálculu.

Anguaño, el cálculu infinitesimal tien un doble aspeutu: per un sitiu, consolidóse'l so calter disciplinariu na formación de la sociedá culta de la conocencia, destacando nesti ámbitu testos propios de la disciplina como'l de Louis Leithold, el de Earl W. Swokowski o'l de James Stewart ente munchos otros; por otru'l so desenvolvimientu como disciplina científica que desaguó n'ámbitos tan especializaos como'l cálculu fraccional, la teoría de funciones analítiques de variable complexa o l'analís matemáticu. L'ésitu del cálculu foi estendíu col tiempu a les ecuaciones diferenciales, al cálculu de vectores, al cálculu de variaciones, al analís complexu y a les topoloxía alxebraica y topoloxía diferencial ente munches otres cañes.

El desenvolvimientu y usu del cálculu tuvo efeutos bien importantes en cuasi toles árees de la vida moderna: ye fundamentu pal cálculu numbéricu aplicáu en cuasi tolos campos téunicos y/o científicos que la so principal carauterística ye la continuidá de los sos elementos, cuantimás na física. Práuticamente tolos desarrollos téunicos modernos como la construcción, aviación, tresporte, meteoroloxía, etc. faen usu del cálculu. Munches fórmules alxebraiques úsense anguaño en balística, calefaición, refrigeración, etc.

Como complementu del cálculu, en rellación a sistemes teóricos o físicos que los sos elementos escarecen de continuidá, desenvolvióse una caña especial conocida como Matemática discreta.

 El cálculu lóxicu 

Entendemos equí por cálculu lóxicu, un algoritmu que dexa cómoda y fácilmente inferir o deducir un enunciáu verdaderu a partir d'otru o otros que se tienen como válidamente verdaderos.

La inferencia o deducción ye una operación lóxica que consiste en llograr un enunciáu como conclusión a partir d'otru(s) (premises) per aciu l'aplicación de regles de inferencia.La deducción suel definise como una inferencia na qu'a partir de verdaes universales conclúyese verdaes particulares. Esti criteriu nun s'afai bien a la lóxica actual, pos se prefier la idea de inferencia como tresformamientu conforme les regles establecíes; seya que non diches regles, que necesariamente se basen en tautoloxíes, pueden considerase como principios universales o xenerales, sobre los cualos constrúyese una deducción; por ello la distinción nun dexa de ser una matización téunica de poca importancia.

Dicimos que daquién infier -o deduz- "T" de "R" si acepta que si "R" tien valor de verdá V, entós, necesariamente, "T" tien valor de verdá V.

Los homes na nuesa xera diaria, utilizamos constantemente'l razonamientu deductivu. Partimos d'enunciaos empíricos -supuestamente verdáeros y válidos- pa concluyir n'otru enunciáu que se deriva d'aquellos, según les lleis de la lóxica natural.L'habilidá peculiar del Sr.Holmes 

La lóxica, como ciencia formal, ocupar d'analizar y sistematizar diches lleis, encontales y convertiles nes regles que dexen el tresformamientu d'unos enunciaos -premises- n'otres conclusiones- con oxetu de convertir les operaciones nun algoritmu rigorosu y eficaz, que garantiza que dada la verdá de les premises, la conclusión ye necesariamente verdadera.

Al aplicar les regles d'esti cálculu lóxicu a los enunciaos que formen un argumentu per aciu la simbolización fayadiza de fórmules o Espresiones bien formaes (EBF) construyimos un modelu o sistema deductivu.

 Sistematización d'un cálculu de deducción natural 

 Regles de formación de fórmules 
I. Una lletra enunciativa (con o ensin subíndice) ye una EBF.

II. Si A ye una EBF, ¬ A tamién lo ye.

III. Si A ye una EBF y B tamién, entós A  B; A  B; A  B; A  B, tamién lo son.

IV. Nenguna espresión ye una fórmula del Cálculu sinón en virtú d'I,II,III.

Notes:
 A, B,... con mayúscules tán utilizaes como metallinguaxe nel que cada variable espresa cualesquier proposición, atómica (p,q,r,s....) o molecular (p/\q), (p\/q)...
 A, B,... son símbolos que signifiquen variables; ¬, , , →, , son símbolos constantes.
 Esisten diverses formes de simbolización. Utilizamos equí la d'usu más frecuente n'España.Desgraciadamente la representación gráfica de los símbolos nun ta normalizada, lo que lleva dacuando a ciertes dificultaes d'interpretación.

 Regles de tresformamientu de fórmules 
1) Regla de sustitución (R.T.1):

Dada una tesis EBF del cálculu, na qu'apaecen variables d'enunciaos, la resultancia de sustituyir una, dalgunes o toes eses variables por espresiones bien formaes (EBF) del cálculu, va ser tamién una tesis EBF del cálculu. Y ello con una única restricción, magar bien importante: cada variable hai de ser sustituyida siempres qu'apaez y siempres pol mesmu sustitutu.

Veamos l'exemplu:

 1 Tresformamientu 2   onde  ; y onde   3   onde  

O viceversa

 1Tresformamientu 2   onde   3   onde  ; y onde  

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

Si X ye una tesis EBF del sistema y ser tamién X  Y, entós Y ye una tesis EBF del sistema.

 Esquemes de inferencia 
Sobre la base d'estos dos regles, siempres vamos poder amenorgar un argumentu cualesquier a la forma:



lo que constitúi un esquema de inferencia nel qu'una vegada conocida la verdá de caúna de les premises A, B,...N y, por tanto, del so productu, podemos llograr la conclusión Y con valor de verdá V, siempres y cuando dichu esquema de inferencia seya una llei lóxica, ye dicir la so tabla de verdá amuésenos que ye una tautoloxía. 

Pola regla de separación vamos poder concluyir Y, de forma independiente como verdá.

Dada la poca operatividad de les tables de verdá, el cálculu constrúyese como una cadena deductiva aplicando a les premises o a los teoremes deducíos les lleis lóxiques utilizaes como regles de tresformamientu, como s'espón en cálculu lóxicu.

 El llinguaxe natural como modelu d'un cálculu lóxicu 
Naturalmente'l cálculu lóxicu ye útil porque puede tener aplicaciones, pero ¿en qué consisten o cómo se faen tales aplicaciones?

Podemos considerar que'l llinguaxe natural ye un modelu de C si podemos sometelo, esto ye, aplica-y una correspondencia en C.Cuando nun Cálculu C, establezse una "correspondencia" de cada símbolu con elementos determinaos individuales estremables ente sigo, d'un Universu L, real, (tal universu L nun ye un conxuntu vacíu, poles mesmes condiciones qu'establecimos) ENTÓS dizse que L ye un MODELU de C.

Pa ello ye necesariu someter al llinguaxe natural a un procesu de formalización de tala forma que podamos amenorgar les espresiones llingüístiques del llinguaxe natural a EBFs d'un cálculu per aciu regles estrictes calteniendo'l sentíu de verdá lóxica de diches espresiones del llinguaxe natural. Esto ye lo que s'espón en cálculu lóxicu.

Les diverses formes en que tratemos les espresiones llingüístiques formalizaes como proposiciones lóxiques dan llugar a sistemes diversos de formalización y cálculu:

 Cálculu proposicional o cálculu d'enunciaos
 Cuando se toma la oración simple significativa del llinguaxe natural con posible valor de verdá o falsedá como una proposición atómica, como un tou ensin analizar.

 Cálculu como lóxica de clases
 Cuando se toma la oración simple significativa del llinguaxe natural con posible valor de verdá o falsedá como resultancia del analís de la oración como una rellación d'individuos o posibles individuos que tienen o nun tener una propiedá común determinada como pertenecientes o non pertenecientes a una clase natural o a un conxuntu como individuos.

 Cálculu de predicaos o cuantificacional
 Cuando se toma la oración simple significativa del llinguaxe natural con posible valor de verdá o falsedá como resultancia del analís de la mesma de forma que una posible función predicativa (P), predicar d'unos posibles suxetos variables (x) [tomaos en tola so posible estensión: (Tolos x); o referente a dellos indeterminaos: (dellos x)], o d'una constante individual esistente (a).

 Cálculu como lóxica de rellaciones
Cuando se toma la oración simple significativa con posible valor de verdá propiu, verdado o falsu, como resultancia del analís de la oración como una rellación "R" que s'establez ente un suxetu y un predicáu.

La simbolización y formación de EBFs en cada unu d'esos cálculos, según les regles de cálculu tratar en cálculu lóxicu.

 Ver tamién 

 Aritmética
 Cálculu lóxicu
 Algoritmu d'Euclides
 Llinguaxe formalizáu
 Llinguaxe formal
 Lóxica proposicional
 Lóxica de primer orde
 Sistema formal
 Siloxismu
 Cálculu del raigañu cuadráu

 Cifra (matemática)
 Puerta lóxica
 Tabla de valores de verdá
 Teoría de conxuntos
 Historia del hardware d'ordenador
 Regla de cálculu
 Sistema de numberación
 Teoría de númberos
 Matemátiques nel Antiguu Exiptu

 Numberación exipcia
 Numberación griega
 Numberación romana
 acarretu
 Potenciación
 Radicación
 Logaritmación
 Álxebra
 Álxebra elemental
 Modelu científicu 

 Referencies 

 Bibliografía 












 Tables d'Aritmética. Ed.EDIVAS S.L. Ref. 25. Zamudio. España.


 Enllaces esternos 


 Cálculu de funciones
 http://www.cenidet.edu.mx/dda/docs/aplicacionteoriaactividad.pdf.
 Introducción a la lóxica de clases 
 Cálculos financieros 
 Cálculos Diferencial nuna variable - Llibru Gratis

Categoría:Cálculu
Categoría:Wikipedia:Artículos con plantía Otros usos a páxines que nun esisten