Lógica matemática

Ir a la navegaciónIr a la búsqueda
La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica
formal o logística,1 es el estudio formal y simbólico de la lógica, y su aplicación
a algunas áreas de la matemática y la ciencia. Comprende la aplicación de las
técnicas de la lógica formal a la construcción y el desarrollo de las matemáticas y
el razonamiento matemático, y conversamente la aplicación de técnicas matemáticas a
la representación y el análisis de la lógica formal. La investigación en lógica
matemática ha jugado un papel crucial en el estudio de los fundamentos de las
matemáticas.

La lógica matemática estudia la inferencia mediante la construcción de sistemas

formales como la lógica proposicional, la lógica de primer orden o la lógica modal.
Estos sistemas capturan las características esenciales de las inferencias válidas
en los lenguajes naturales, pero al ser estructuras formales susceptibles de
análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.

La lógica matemática se suele dividir en cuatro áreas: teoría de modelos, teoría de

la demostración, teoría de conjuntos y teoría de la computabilidad. La teoría de la
demostración y la teoría de modelos fueron el fundamento de la lógica matemática.
La teoría de conjuntos se originó en el estudio del infinito por Georg Cantor y ha
sido la fuente de muchos de los temas más desafiantes e importantes de la lógica
matemática, desde el teorema de Cantor, el axioma de elección y la cuestión de la
independencia de la hipótesis del continuo, al debate moderno sobre grandes axiomas
cardinales. La lógica matemática tiene estrechas conexiones con las ciencias de la
computación. La teoría de la computabilidad captura la idea de la computación en
términos lógicos y aritméticos. Sus logros más clásicos son la indecidibilidad del
Entscheidungsproblem de Alan Turing y su presentación de la tesis de Church-Turing.
Hoy en día, la teoría de la computabilidad se ocupa principalmente del problema más
refinado de las clases de complejidad (¿cuándo es un problema eficientemente
solucionable?) y de la clasificación de los grados de insolubilidad.

La lógica matemática también estudia las definiciones de nociones y objetos

matemáticos básicos como conjuntos, números, demostraciones y algoritmos. La lógica
matemática estudia las reglas de deducción formales, las capacidades expresivas de
los diferentes lenguajes formales y las propiedades metalógicas de los mismos.

En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si

es o no válido un argumento dado dentro de un determinado sistema formal. En un
nivel avanzado, la lógica matemática se ocupa de la posibilidad de axiomatizar las
teorías matemáticas, de clasificar su capacidad expresiva, y desarrollar métodos
computacionales útiles en sistemas formales. La teoría de la demostración y la
matemática inversa son dos de los razonamientos más recientes de la lógica
matemática abstracta. Debe señalarse que la lógica matemática se ocupa de sistemas
formales que pueden no ser equivalentes en todos sus aspectos, por lo que la lógica
matemática no es un método para descubrir verdades del mundo físico real, sino solo
una fuente posible de modelos lógicos aplicables a teorías científicas, muy
especialmente a la matemática convencional.

Por otra parte, la lógica matemática no estudia el concepto de razonamiento humano

general o el proceso creativo de construcción de demostraciones matemáticas
mediante argumentos rigurosos pero con lenguaje informal con algunos signos o
diagramas, sino solo de demostraciones y razonamientos que se pueden formalizar por
completo.

Índice
1 Áreas
2 Sistemas formales
3 Metalógica
4 Teoría de modelos
5 Teoría de la computabilidad
6 Teoría de conjuntos
7 Teoría de la demostración
8 Historia
8.1 Siglo XIX
8.2 Siglo XX
9 Véase también
10 Referencias
11 Bibliografía
12 Enlaces externos
Áreas
La Mathematics Subject Classification divide la lógica matemática en las siguientes
áreas:

Filosófica y crítica
Lógica general (que incluye campos como la lógica modal y la lógica borrosa)
Teoría de modelos
Teoría de la computabilidad
Teoría de conjuntos
Teoría de la demostración y matemática constructiva algebraica
Modelos no estándar
En algunos casos hay conjunción de intereses con la informática teórica, pues
muchos pioneros de la informática, como Alan Turing, fueron matemáticos y lógicos.
Así, el estudio de la semántica de los lenguajes de programación procede de la
teoría de modelos, así como también la verificación de programas y el caso
particular de la técnica del model checking. También el isomorfismo de Churry-
Howard entre pruebas y programas se corresponde con la teoría de pruebas, donde la
lógica intuicionista y la lógica lineal son especialmente significativas.

Algunos sistemas formales como el cálculo lambda y la lógica combinatoria entre

otras han devenido en auténticos lenguajes de programación, creando nuevos
paradigmas como son la programación funcional y la programación lógica.

Sistemas formales
Esta sección es un extracto de Sistema formal[editar]
Mergefrom.svg
Se ha sugerido que Cálculo lógico sea fusionado en este artículo o sección (véase
discusión).
Una vez que hayas realizado la fusión de artículos, pide la fusión de historiales
aquí.
Uso de esta plantilla: {{sust:Fusionar desde|Nombre de hasta otros veinte artículos
para fusionar separados por "|"}}
Un sistema formal o sistema lógico es un sistema abstracto compuesto por un
lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que
se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del
concepto de demostración. Un sistema formal es una formalización rigurosa y
completa del concepto de sistema axiomático, los cuales se pueden expresar en
lenguaje formal o en lenguaje natural formalizado. Al crear un sistema formal se
pretende capturar y abstraer la esencia de determinadas características del mundo
real, en un modelo conceptual expresado en un determinado lenguaje formal. Algunos
de los sistemas formales más conocidos son la lógica proposicional, la lógica de
primer orden y la lógica modal.

En la teoría de la demostración, las demostraciones formales se pueden expresar en

el lenguaje de los sistemas formales, consistentes en axiomas y reglas de
inferencia. Los teoremas pueden ser obtenidos por medio de demostraciones formales.
Este punto de vista de las matemáticas ha sido denominado formalista; aunque en
muchas ocasiones este término conlleva una acepción peyorativa. En ese sentido,
David Hilbert creó la metamatemática para estudiar los sistemas formales,
entendiendo que el lenguaje utilizado para ello, denominado metalenguaje era
distinto del lenguaje del sistema formal que se pretendía estudiar, al que se llama
lenguaje objeto.

Un sistema así es la reducción de un lenguaje formalizado a meros símbolos,

lenguaje formalizado y simbolizado sin contenido material alguno; un lenguaje
reducido a mera forma que se expresa mediante fórmulas que reflejan las relaciones
sintácticas entre los símbolos y las reglas de formación y transformación que
permiten construir las fórmulas del sistema y pasar de una fórmula a otra.2

Una teoría axiomática es un conjunto de fórmulas en un determinado lenguaje formal

y todas las fórmulas deducibles de dichas expresiones mediante las reglas de
inferencia posibles en dicho sistema formal. El objetivo de las teorías axiomáticas
es construir sistemas formales que representen las características esenciales de
ramas enteras de las matemáticas. Si se selecciona un conjunto más amplio o menos
amplio de axiomas el conjunto de teoremas deducibles cambian. El interés de la
teoría de modelos es que en un modelo en que satisfagan los axiomas de determinada
teoría también se satisfacen los teoremas deducibles de dicha teoría. Es decir, si
un teorema es deducible en una cierta teoría, entonces ese teorema es
universalmente válido en todos los modelos que satisfacen los axiomas. Esto es
interesante porque en principio la clase de modelos que satisface una cierta teoría
es difícil de conocer, ya que las teorías matemáticas interesantes en general
admiten toda clase infinita de modelos no isomorfos, por lo que su clasificación en
general resulta difícilmente abordable si no existe un sistema formal y un conjunto
de axiomas que caracterice los diferentes tipos de modelos.

En el siglo XX, Hilbert y otros sostuvieron que la matemática es un sistema formal.

Pero en 1931, Kurt Gödel demostró que ningún sistema formal con suficiente poder
expresivo para capturar la aritmética de Peano puede ser a la vez consistente y
completo. El teorema de la incompletitud de Gödel, junto con la demostración de
Alonzo Church de que la matemática tampoco es decidible, terminó con el programa de
Hilbert. Sin embargo, a pesar de sus limitaciones, el enfoque sigue siendo
ampliamente usado, básicamente porque no se ha encontrado ninguna alternativa mejor
al enfoque formalista de Hilbert y la pretensión de trabajar en el seno de teorías
matemáticas explícitamente axiomatizadas, aun con sus limitaciones.

Los sistemas formales también han encontrado aplicación dentro de la informática,

la teoría de la información y la estadística.
Metalógica
Esta sección es un extracto de Metalógica[editar]
La metalógica es la rama de la lógica que estudia las propiedades y los componentes
de los sistemas formales.3 Las propiedades más importantes que se pueden demostrar
de los sistemas formales son la consistencia, decidibilidad y completitud.4
Ejemplos de teoremas metalógicos importantes son los teoremas de incompletitud de
Gödel, el teorema de completitud de Gödel y el teorema de Löwenheim-Skolem. Otra
propiedad es la compacidad.
Teoría de modelos
Esta sección es un extracto de Teoría de modelos[editar]
En matemática, teoría de modelos es el estudio de (clases de) estructuras
matemáticas tales como grupos, cuerpos, grafos, o incluso universos de teoría de
conjuntos, en relación con las teorías axiomáticas y la lógica matemática. La
teoría de modelos permite atribuir una interpretación semántica a las expresiones
puramente formales de los lenguajes formales. Además permite estudiar en sí mismos
los conjuntos de axiomas, su completitud, consistencia, independencia mutua, y
permiten introducir un importante número de cuestiones metalógicas.
Al mismo tiempo los lenguajes en los que se ha estructurado la noción de verdad y
de los que habla la teoría de modelos son, por lo general, sistemas matemáticos.
Las «cosas» representadas en dichos lenguajes son también sistemas matemáticos. Por
esto, la teoría de modelos es una teoría semántica que pone en relación unos
sistemas matemáticos con otros sistemas matemáticos. Dicha teoría nos proporciona
algunas pistas con respecto a aquella semántica que pone en relación los lenguajes
naturales con la realidad. Sin embargo, ha de tenerse siempre presente que no hay
ningún sustituto matemático para los problemas genuinamente filosóficos. Y el
problema de la verdad es un problema netamente filosófico.
Padilla Gálvez, Jesús Padilla Gálvez (2007). Verdad y demostración. Plaza y Valdés.
p. 229. ISBN 9788496780194. OCLC 427520428. Consultado el 28 de febrero de 2019.
Teoría de la computabilidad
Esta sección es un extracto de Teoría de la computabilidad[editar]

VEB Robotron Elektronik Dresden.

La teoría de la computabilidad es la parte de la computación que estudia los
problemas de decisión que se pueden resolver con un algoritmo o equivalentemente
con una máquina de Turing. Las preguntas fundamentales de la teoría de la
computabilidad son:

¿Qué problemas puede resolver una máquina de Turing?

¿Qué otros formalismos equivalen a las máquinas de Turing?
¿Qué problemas requieren máquinas más poderosas?
¿Qué problemas requieren máquinas menos poderosas?
La teoría de la complejidad computacional clasifica las funciones computables según
el uso que hacen de diversos recursos en diversos tipos de máquina.
Teoría de conjuntos
Esta sección es un extracto de Teoría de conjuntos[editar]

Un diagrama de Venn que ilustra la intersección de dos conjuntos.

La teoría de conjuntos es una rama de la lógica matemática que estudia las
propiedades y relaciones de los conjuntos: colecciones abstractas de objetos,
consideradas como objetos en sí mismas. Los conjuntos y sus operaciones más
elementales son una herramienta básica en la formulación de cualquier teoría
matemática.5

La teoría de los conjuntos es lo suficientemente rica como para construir el resto

de objetos y estructuras de interés en matemáticas: números, funciones, figuras
geométricas, etc; gracias a las herramientas de la lógica, permite estudiar los
fundamentos. En la actualidad se acepta que el conjunto de axiomas de la teoría de
Zermelo-Fraenkel es suficiente para desarrollar toda la matemática.

Además, la propia teoría de conjuntos es objeto de estudio per se, no solo como
herramienta auxiliar, en particular las propiedades y relaciones de los conjuntos
infinitos. En esta disciplina es habitual que se presenten casos de propiedades
indemostrables o contradictorias, como la hipótesis del continuo o la existencia de
un cardinal inaccesible. Por esta razón, sus razonamientos y técnicas se apoyan en
gran medida en la lógica.

El desarrollo histórico de la teoría de conjuntos se atribuye a Georg Cantor, que

comenzó a investigar cuestiones conjuntistas (puras) del infinito en la segunda
mitad del siglo XIX, precedido por algunas ideas de Bernhard Bolzano e influido por
Richard Dedekind. El descubrimiento de las paradojas de la teoría cantoriana de
conjuntos, formalizada por Gottlob Frege, propició los trabajos de Bertrand
Russell, Ernst Zermelo y Abraham Fraenkel.

La teoría de conjuntos se emplea habitualmente como sistema fundacional de toda la

matemática, en particular en la forma de la teoría de conjuntos de Zermelo-Fraenkel
con el axioma de elección.6 Además de su papel fundacional, la teoría de conjuntos
también proporciona el marco para desarrollar una teoría matemática del infinito, y
tiene varias aplicaciones en informática, filosofía y semántica formal. Su
atractivo fundacional, junto con sus paradojas, sus implicaciones para el concepto
de infinito y sus múltiples aplicaciones han hecho de la teoría de conjuntos un
área de gran interés para Logoss y Filósofos de la matemática. La investigación
contemporánea sobre la teoría de conjuntos abarca una amplia gama de temas, que van
desde la estructura de la línea de números reales hasta el estudio de la
consistencia del cardinal grande.
Teoría de la demostración
Esta sección es un extracto de Teoría de la demostración[editar]
La teoría de la demostración o teoría de la prueba es una rama de la lógica
matemática que trata a las demostraciones como objetos matemáticos, facilitando su
análisis mediante técnicas matemáticas. Las demostraciones suelen presentarse como
estructuras de datos inductivamente definidas que se construyen de acuerdo con los
axiomas y reglas de inferencia de los sistemas lógicos. En este sentido, la teoría
de la demostración se ocupa de la sintaxis, en contraste con la teoría de modelos,
que trata con la semántica. Junto con la teoría de modelos, la teoría de conjuntos
axiomática y la teoría de la computabilidad, la teoría de la demostración es uno de
los «cuatro pilares» de los fundamentos de las matemáticas.[cita requerida]
Historia
El uso más temprano de matemáticas y de geometría en relación con la lógica y la
filosofía se remonta a los griegos antiguos tales como Euclides, Platón, y
Aristóteles. Muchos otros filósofos antiguos y medievales aplicaron ideas y métodos
matemáticos a sus afirmaciones filosóficas.

En el siglo XVIII se hicieron algunos intentos de tratar las operaciones lógicas

formales de una manera simbólica por parte de algunos filósofos matemáticos como
Lambert, pero su labor permaneció desconocida y aislada. También por parte de
Leibniz ) que desarrolló la idea de un calculus ratiocinator, un sistema de reglas
para simplificar oraciones compuestas.

Siglo XIX
A partir de la segunda mitad del siglo XIX, la lógica sería revolucionada
profundamente. En 1847, George Boole publicó un breve tratado titulado El análisis
matemático de la lógica, y en 1854 otro más importante titulado Las leyes del
pensamiento. La idea de Boole fue construir a la lógica como un cálculo en el que
los valores de verdad se representan mediante el F (falsedad) y la V (verdad), y a
los que se les aplican operaciones matemáticas como la suma y la multiplicación.

En el último tercio del siglo XIX la lógica va a encontrar su transformación más

profunda de la mano de las investigaciones matemáticas y lógicas, junto con el
desarrollo de la investigación de las estructuras profundas del lenguaje, la
lingüística, convirtiéndose definitivamente en una ciencia formal. Es una ciencia
formal, ya que estudia las ideas y constituye una herramienta conceptual para todas
las otras ciencias y áreas del conocimiento. y forma parte de un conjunto
sistemático de conocimientos racionales y coherentes, que se ocupan del estudio de
los procesos lógicos y matemáticos,

Al mismo tiempo, Augustus De Morgan publica en 1847 su obra Lógica formal, donde
introduce las leyes de De Morgan e intenta generalizar la noción de silogismo. Otro
importante contribuyente inglés fue John Venn, quien en 1881 publicó su libro
Lógica Simbólica, donde introdujo los famosos diagramas de Venn.

Charles Sanders Peirce y Ernst Schröder también hicieron importantes

contribuciones.

Sin embargo, la verdadera revolución de la lógica vino de la mano de Gottlob Frege,

quien frecuentemente es considerado como el lógico más importante de la historia,
junto con Aristóteles. En su trabajo de 1879, la Conceptografía, Frege ofrece por
primera vez un sistema completo de lógica de predicados y cálculo proposicional.
También desarrolla la idea de un lenguaje formal y define la noción de prueba.
Estas ideas constituyeron una base teórica fundamental para el desarrollo de las
computadoras y las ciencias de la computación, entre otras cosas. Pese a esto, los
contemporáneos de Frege pasaron por alto sus contribuciones, probablemente a causa
de la complicada notación que desarrolló el autor. En 1893 y 1903, Frege publica en
dos volúmenes Las leyes de la aritmética, donde intenta deducir toda la matemática
a partir de la lógica, en lo que se conoce como el proyecto logicista. Su sistema y
su aplicación a la teoría de conjuntos, sin embargo, contenía una contradicción (la
paradoja de Russell).

Lógica matemática fue el nombre dado por Giuseppe Peano para esta disciplina. En
esencia, es la lógica de Aristóteles, pero desde el punto de vista de una nueva
notación, más abstracta, tomada del álgebra.

Siglo XX
En el siglo XX hubo uno de los enormes desarrollos en lógica. A partir del siglo
XX, la lógica pasó a estudiarse por su interés intrínseco, y no solo por sus
virtudes como propedéutica, por lo que se estudió a niveles mucho más abstractos.

En 1910, Bertrand Russell y Alfred North Whitehead publican Principia mathematica,

un trabajo monumental en el que logran gran parte de la matemática a partir de la
lógica, evitando caer en las paradojas en las que cayó Frege. Se suponía que las
teorías matemáticas eran tautologías lógicas, y el programa debía mostrar esto por
medio de una reducción de la matemática a la lógica. Los autores reconocen el
mérito de Frege en el prefacio. En contraste con el trabajo de Frege, Principia
mathematica tuvo un éxito rotundo, y llegó a considerarse uno de los trabajos de no
ficción más importantes e influyentes de todo el siglo XX. Principia mathematica
utiliza una notación inspirada en la de Giuseppe Peano, parte de la cual todavía es
muy utilizada hoy en día.

En 1912 C. I. Lewis publica Conditionals and the Algebra of Logic, justo después de
los Principia Mathematica de Russell y Whitehead. En 1918 publica A Survey of
Symbolic Logic en donde propone un nuevo condicional más adecuado para recoger el
significado de la expresión «si... entonces» del lenguaje natural. Lewis lo llama
implicación estricta. El nuevo condicional requiere, para ser verdadero, una
relación más fuerte entre el antecedente y el consecuente que el condicional
clásico.

En 1920 David Hilbert propuso de forma explícita un proyecto de investigación (en

metamatemática, como se llamó entonces) que acabó siendo conocido como programa de
Hilbert. Quería que la matemática fuese formulada sobre unas bases sólidas y
completamente lógicas. El proyecto fue refutado por los teoremas de incompletitud
de Gödel. Tanto la declaración del programa de Hilbert como su refutación por Gödel
dependían de su trabajo estableciendo el segundo ámbito de la lógica matemática, la
aplicación de las matemáticas a la lógica en la forma de la teoría de la
demostración. A pesar de la naturaleza negativa de los teoremas de la
incompletitud, el teorema de la complejidad de Gödel, un resultado en la teoría de
modelos y otra aplicación de las matemáticas a la lógica, puede ser entendido como
una demostración del logismo cercano: toda teoría matemática rigurosamente definida
puede ser capturada exactamente por una teoría de primer orden. El cálculo de la
prueba de Frege es suficiente para describir toda la matemática, aunque no sea
equivalente a ella.

El origen de los modelos abstractos de computación se encuadra en los años 1930

(antes de que existieran los ordenadores modernos), en el trabajo de los lógicos
Alonzo Church, Kurt Gödel, Stephen Kleene, Emil Leon Post, Haskell Curry y Alan
Turing. Estos trabajos iniciales han tenido una profunda influencia, tanto en el
desarrollo teórico como en abundantes aspectos de la práctica de la computación;
previendo incluso la existencia de ordenadores de propósito general, la posibilidad
de interpretar programas, la dualidad entre software y hardware, y la
representación de lenguajes por estructuras formales basados en reglas de
producción.

La deducción natural fue introducida por Gerhard Gentzen en su trabajo

Investigaciones sobre la inferencia lógica (Untersuchungen über das logische
Schliessen), publicado en 1934-1935.

En los años 1940 Alfred Tarski comenzó a desarrollar junto a sus discípulos el
álgebra relacional, en la que pueden expresarse tanto la teoría axiomática de
conjuntos como la aritmética de Peano. También desarrolló junto a sus discípulos
las álgebras cilíndricas, que son a la lógica de primer orden lo que el álgebra
booleana a la lógica proposicional. En 1941 publicó en inglés uno de los manuales
de lógica más acreditados, Introduction to Logic and to the Methodology of
Deductive Sciences.

Noam Chomsky en 1956 propone una clasificación jerárquica de distintos tipos de

gramáticas formales que generan lenguajes formales llamada jerarquía de Chomsky.

Si bien a la luz de los sistemas contemporáneos la lógica aristotélica puede

parecer equivocada e incompleta, Jan Łukasiewicz mostró que, a pesar de sus grandes
dificultades, la lógica aristotélica era consistente, si bien había que
interpretarse como lógica de clases, lo cual no es pequeña modificación. Por ello
la silogística prácticamente no tiene uso actualmente.

Además de la lógica proposicional y la lógica de predicados, el siglo XX vio el

desarrollo de muchos otros sistemas formales; entre los que destacan las muchas
lógicas modales.

Véase también
Noción primitiva
Función indicatriz
Retroalimentacion
Cibernética
Teoría de sistemas
Emergencia (filosofía)
Pensamiento sistémico
Dinámica de sistemas
Mereología
Sistema complejo
Sistema dinámico
Referencias
Evandro Agazzi, 1986.
Encyclopædia Britannica, Formal system definition, 2007.
Shapiro, Stewart. «metalógica». The Oxford Companion to Philosophy. Oxford
University Press. Consultado el 6 de octubre de 2009.
Jesús Padilla Gálvez, Jesús. (1995). Sobre metalógica. Un análisis histórico en
torno a 1931. Arbor, 150, pp. 73-90.
Véase Devlin, Keith (2005). «3.1. Sets». Sets, functions and logic (en inglés).
ISBN 1-58488-449-5. o Lipschutz, Seymour (1991). «Prólogo». Teoría de conjuntos y
temas afines. McGraw-Hill. ISBN 968-422-926-7.
Kunen, 1980, p. xi. : "La teoría de conjuntos es el fundamento de las matemáticas.
Todos los conceptos matemáticos se definen en términos de las nociones primitivas
de conjunto y pertenencia. En la teoría axiomática de conjuntos formulamos unos
pocos axiomas simples sobre estas nociones primitivas en un intento de capturar los
principios básicos "obviamente verdaderos" de la teoría de conjuntos. A partir de
estos axiomas se pueden derivar todas las matemáticas conocidas".
Bibliografía
Agazzi, Evandro (1986). Lógica simbólica. Herder. ISBN 9788425401305.
Enderton, Herbert (2001). A mathematical introduction to logic (2nd edición).
Boston, MA: Academic Press. ISBN 978-0-12-238452-3.
Hamilton, A. G. (1988), Logic for Mathematicians (2nd edición), Cambridge:
Cambridge University Press, ISBN 978-0-521-36865-0.
Ebbinghaus, H.-D.; Flum, J.; Thomas, W. (1994), Mathematical Logic (2nd edición),
Nueva York: Springer, ISBN 0-387-94258-0.
Enlaces externos
Wikiversidad alberga proyectos de aprendizaje sobre Lógica matemática.
Control de autoridades
Proyectos WikimediaWd Datos: Q1166618Commonscat Multimedia: Mathematical
logicWikiversity Recursos didácticos: Lógica matemática
IdentificadoresBNE: XX525820BNF: 11965690r (data)GND: 4037951-6LCCN: sh85003435NDL:
00565709Microsoft Academic: 47884741Diccionarios y enciclopediasBritannica: url
Categoría: Lógica matemática
Menú de navegación
No has accedido
Discusión
Contribuciones
Crear una cuenta
Acceder
ArtículoDiscusión
LeerEditarVer historial
Buscar
Buscar en Wikipedia
Portada
Portal de la comunidad
Actualidad
Cambios recientes
Páginas nuevas
Página aleatoria
Ayuda
Donaciones
Notificar un error
Herramientas
Lo que enlaza aquí
Cambios en enlazadas
Subir archivo
Páginas especiales
Enlace permanente
Información de la página
Citar esta página
Elemento de Wikidata
Imprimir/exportar
Crear un libro
Descargar como PDF
Versión para imprimir
En otros proyectos
Wikimedia Commons
Wikiversidad

En otros idiomas
‫العربية‬
English
हिन्दी
Bahasa Indonesia
Bahasa Melayu
Português
Русский
‫اردو‬
中文
71 más
Editar enlaces
Esta página se editó por última vez el 20 sep 2021 a las 23:18.
El texto está disponible bajo la Licencia Creative Commons Atribución Compartir
Igual 3.0; pueden aplicarse cláusulas adicionales. Al usar este sitio, usted acepta
nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una
organización sin ánimo de lucro.
Política de privacidadAcerca de WikipediaLimitación de responsabilidadVersión para
móvilesDesarrolladoresEstadísticasDeclaración de cookiesWikimedia FoundationPowered
by MediaWiki