Lgica proposicional

La lgica proposicional o lgica de orden cero trata de tocarte el cerebro con sistemas lgicos que carecen de cuentificadores, o variables interpretables como entidades. En lgica proposicional si bien no hay signos para variables de tipo entidad, s existen signos para variables proposicionales (es decir, que pueden ser interpretadas como proposiciones con un valor de verdad de definido), de ah el nombre proposicional. La lgica proposicional incluye adems de variables interpretables como proposiciones simples signos para conectivas lgicas, por lo que dentro de este tipo de lgica puede analizarse la inferencia lgica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones ms simples.1 Una lgica proposicional es un sistema formal cuyos elementos ms simples representan proposiciones, y cuyas constantes lgicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.2

Introduccin
Considrese el siguiente argumento:
1. Maana es mircoles o maana es jueves. 2. Maana no es jueves. 3. Por lo tanto, maana es mircoles.

Es un argumento vlido. Quiere decir que es imposible que las premisas sean verdaderas y la conclusin falsa. Esto no quiere decir que la conclusin sea verdadera. Si las premisas son falsas, entonces la conclusin tambin podra serlo. Pero si las premisas son verdaderas, entonces la conclusin tambin lo es. La validez de este argumento no se debe al significado de las expresiones maana es mircoles y maana es jueves, porque stas podran cambiarse por otras y el argumento permanecer vlido. Por ejemplo:

1. Est soleado o est nublado. 2. No est nublado. 3. Por lo tanto, est soleado.

En cambio, la validez de estos dos argumentos depende del significado de las expresiones o y no. Si alguna de estas expresiones se cambiara por otra, entonces podra ser que los argumentos dejaran de ser vlidos. Por ejemplo:
1. Ni est soleado ni est nublado. 2. No est nublado. 3. Por lo tanto, est soleado.

Las expresiones de las que depende la validez de los argumentos se llaman constantes lgicas. La lgica proposicional estudia el comportamiento de algunas de estas expresiones, llamadas conectivas lgicas. En cuanto a las expresiones como "est nublado" o "maana es jueves", lo nico que importa de ellas es que tengan un valor de verdad. Es por esto que se las reemplaza por simples letras, cuya intencin es simbolizar una expresin con valor de verdad cualquiera. A estas letras se las llama variables proposicionales, y en general se toman del alfabeto latino, empezando por la letra p, luego q, r, s, etc. As, los dos primeros argumentos de esta seccin podran reescribirse as:
1. p o q 2. No q 3. Por lo tanto, p

Y el tercer argumento, a pesar de no ser vlido, puede reescribirse as:

1. Ni p ni q 2. No q 3. Por lo tanto, p

Conectivos lgicos

A continuacin hay una tabla que despliega todas las conectivas lgicas que ocupan a la lgica proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los smbolos que se utilizan para representarlas.
Conectiva Negacin Conjuncin Disyuncin Condicional material Bicondicional Negacin conjunta Expresin en el lenguaje natural no y o Ejemplo No est lloviendo. Est lloviendo y est nublado. Est lloviendo o est soleado. Smbolo en Smbolos este artculo alternativos

si... entonces Si est soleado, entonces es de da. si y slo si ni... ni Est nublado si y slo si hay nubes visibles. Ni est soleado ni est nublado.

Disyuncin excluyente o bien... o bien O bien est soleado, o bien est nublado.

En la lgica proposicional, las conectivas lgicas son tratados como funciones de verdad. Es decir, como funciones que toman conjuntos de valores de verdad y devuelven valores de verdad. Por ejemplo, la conectiva lgica no es una funcin que si toma el valor de verdad V, devuelve F, y si toma el valor de verdad F, devuelve V. Por lo tanto, si se aplica la funcin no a una letra que represente una proposicin falsa, el resultado ser algo verdadero. Si es falso que est lloviendo, entonces ser verdadero que no est lloviendo. El significado de las conectivas lgicas no es nada ms que su comportamiento como funciones de verdad. Cada conectiva lgica se distingue de las otras por los valores de verdad que devuelve frente a las distintas combinaciones de valores de verdad que puede recibir. Esto quiere decir que el significado de cada conectiva lgica puede ilustrarse mediante una tabla que despliegue los valores de verdad que la funcin devuelve frente a todas las combinaciones posibles de valores de verdad que puede recibir.

Negacin

Conjuncin

Disyuncin

Condicional

Bicondicional

Leyes notables en lgica

Entre las reglas de la lgica proposiconal clsica algunas de la ms notables son listadas a continuacin:
1. 2. 3. 4. 5. 6. Ley de doble negacin Leyes de idempotencia Leyes asociativas Leyes conmutativas Leyes distributivas Leyes de De Morgan

Otras leyes como el principio del tercero excluido son admisibles en lgica clsica, pero en lgica intuicionista y con fines a sus aplicaciones matemticas no existe un equivalente del tercero excluido, por ejemplo.

Lmites de la lgica proposicional

La maquinaria de la lgica proposicional permite formalizar y teorizar sobre la validez de una gran cantidad de argumentos. Sin embargo, tambin existen argumentos que son intuitivamente vlidos, pero cuya validez no puede ser probada por la lgica proposicional. Por ejemplo, considrese el siguiente argumento:

1. Todos los hombres son mortales. 2. Scrates es un hombre. 3. Por lo tanto, Scrates es mortal.

Como este argumento no contiene ninguna de las conectivas no, y, o, etc., segn la lgica proposicional, su formalizacin ser la siguiente:
1. p 2. q 3. Por lo tanto, r

Pero esta es una forma de argumento invlida, y eso contradice nuestra intuicin de que el argumento es vlido. Para teorizar sobre la validez de este tipo de argumentos, se necesita investigar la estructura interna de las variables proposicionales. De esto se ocupa la lgica de primer orden. Otros sistemas formales permiten teorizar sobre otros tipos de argumentos. Por ejemplo la lgica de segundo orden, la lgica modal y la lgica temporal.

Dos sistemas formales de lgica proposicional

A continuacin se presentan dos sistemas formales estndar para la lgica proposicional. El primero es un sistema axiomtico simple, y el segundo es un sistema sin axiomas, de deduccin natural.

Sistema axiomtico
] Alfabeto

El alfabeto de un sistema formal es el conjunto de smbolos que pertenecen al lenguaje del sistema. Si L es el nombre de este sistema axiomtico de lgica proposicional, entonces el alfabeto de L consiste en:

Una cantidad finita pero arbitrariamente grande de variables proposicionales. En general se las toma del alfabeto latino, empezando por la letra p, luego q, r, etc., y utilizando subndices cuando es necesario o conveniente. Las variables proposicionales representan proposiciones como "est lloviendo" o "los metales se expanden con el calor". Un conjunto de operadores lgicos: Dos signos de puntuacin: los parntesis izquierdo y derecho. Su nica funcin es desambiguar ciertas expresiones ambiguas, en exactamente el mismo sentido en que desambiguan la expresin 2 + 2 2, que puede significar tanto (2 + 2) 2, como 2 + (2 2).

Gramtica

Una vez definido el alfabeto, el siguiente paso es determinar qu combinaciones de smbolos pertenecen al lenguaje del sistema. Esto se logra mediante una gramtica formal. La misma consiste en un conjunto de reglas que definen recursivamente las cadenas de caracteres que pertenecen al lenguaje. A las cadenas de caracteres construidas segn estas reglas se las llama frmulas bien formadas. Las reglas del sistema L son:
1. Las variables proposicionales del alfabeto de L son frmulas bien formadas. 2. Si es una frmula bien formada de L, entonces tambin lo es. 3. Si y son frmulas bien formadas de L, entonces , , y tambin lo son. 4. Slo las expresiones que pueden ser generadas mediante las clusulas 1 a 3 en un nmero finito de pasos son frmulas bien formadas de L.

Segn estas reglas, las siguientes cadenas de caracteres son ejemplos de frmulas bien formadas:

Y los siguientes son ejempos de frmulas mal formadas[cita requerida]:

Frmula Error Sobran parntesis Sobran parntesis Sobran parntesis Faltan parntesis Faltan parntesis Correccin

Por otra parte, dado que la nica funcin de los parntesis es desambiguar las frmulas, en general se acostumbra omitir los parntesis externos de cada frmula, ya que estos no cumplen ninguna funcin. As por ejemplo, las siguientes frmulas generalmente se consideran bien formadas:

Otra convencin acerca del uso de los parntesis es que las conjunciones y las disyunciones tienen menor jerarqua que los condicionales materiales y los bicondicionales. Esto significa que dada una frmula sin parntesis, las conjunciones y las disyunciones deben agruparse antes que los condicionales materiales y los bicondicionales. Por ejemplo:
Frmula Lectura correcta Lectura incorrecta

Estas convenciones son anlogas a las que existen en el lgebra elemental, donde la multiplicacin y la divisin siempre deben resolverse antes que la suma y la resta. As por ejemplo, la ecuacin 2 + 2 2 podra interpretarse como (2 + 2) 2 o como 2 + (2 2). En el primer caso el resultado sera 8, y en el segundo caso sera 6. Pero como la multiplicacin siempre debe resolverse antes que la suma, el resultado correcto en este caso es 6, no 8.
Axiomas

Los axiomas de un sistema formal son un conjunto de frmulas bien formadas que se toman como punto de partida para demostraciones ulteriores. Un conjunto de axiomas estndar es el que descubri Jan ukasiewicz:

Reglas de inferencia

Una regla de inferencia es una funcin que va de conjuntos de frmulas a frmulas. Al conjunto de frmulas que la funcin toma como argumento se lo llama premisas, mientras que a la frmula que devuelve como valor se la llama conclusin. En general se busca que las reglas de inferencia transmitan la verdad de las premisas a la conclusin. Es decir, que sea imposible que las premisas sean verdaderas y la conclusin falsa. En el caso de L, la nica regla de inferencia es el modus ponens, el cual dice:

Recordando que

no son frmulas, sino metavariables que pueden ser reemplazadas por cualquier frmula bien formada.

[editar] Ejemplo de una demostracin A demostrar: Paso 1 2 3 4 5 Frmula Razn Instancia del primer axioma. Instancia del primer axioma. Instancia del segundo axioma. Desde (2) y (3) por modus ponens. Desde (1) y (4) por modus ponens. QED

Deduccin natural

Artculo principal: Deduccin natural.

Un sistema de lgica proposicional tambin puede construirse a partir de un conjunto vaco de axiomas. Para ello se especifican una serie de reglas de inferencia que intentan capturar el modo en que naturalmente razonamos acerca de las conectivas lgicas.

Introduccin de la negacin: Si suponer lleva a una contradiccin, entonces se puede inferir que (reduccin al absurdo).

Eliminacin de la negacin:

Introduccin de la conjuncin:

Eliminacin de la conjuncin:

Introduccin de la disyuncin:

Eliminacin de la disyuncin:

Introduccin del condicional (vase el teorema de la deduccin): Si suponer lleva a una prueba de , entonces se puede inferir que .

Eliminacin del condicional (modus ponens):

Introduccin del bicondicional:

Eliminacin del bicondicional:

[editar] Ejemplo de una demostracin A demostrar: Paso Frmula Razn

1 2 3 4 5 6

Supuesto. Desde (1) por introduccin de la disyuncin. Desde (1) y (2) por introduccin de la conjuncin. Desde (3) por eliminacin de la conjuncin. Resumen de (1) hasta (4). Desde (5) por introduccin del condicional. QED

Lenguaje formal en la notacin BNF

El lenguaje formal de la lgica proposicional se puede generar con la gramtica formal descrita usando la notacin BNF como sigue:

La gramtica anterior define la precedencia de operadores de la siguiente manera:

1. 2. 3. 4. 5.

Negacin ( ) Conjuncin ( ) Disyuncin ( ) Condicional material ( Bicondicional ( )

Semntica
Una interpretacin para un sistema de lgica proposicional es una asignacin de valores de verdad para cada variable proposicional, sumada a la asignacin usual de significados para los operadores lgicos. A cada variable proposicional se le asigna uno de dos posibles valores de verdad: o V (verdadero) o F (falso). Esto quiere decir que si hay n variables proposicionales en el sistema, el nmero de interpretaciones distintas es de 2n. Partiendo de esto es posible definir una cantidad de nociones semnticas. Si A y B son frmulas cualquiera de un lenguaje L, frmulas de L, y M es una interpretacin de L, entonces:

es un conjunto de

A es verdadera bajo la interpretacin M si y slo si M asigna el valor de verdad V a A. A es falsa bajo la interpretacin M si y slo si M asigna el valor de verdad F a A. A es una tautologa (o una verdad lgica) si y slo si para toda interpretacin M, M asigna el valor de verdad V a A. A es una contradiccin si y slo si para toda interpretacin M, M asigna el valor de verdad F a A. A es consistente (o satisfacible) si y slo si existe al menos una interpretacin M que asigne el valor de verdad V a A. es consistente si y slo si existe al menos una interpretacin que haga verdaderas a todas las frmulas en . A es una consecuencia semntica de un conjunto de frmulas si y slo si para toda frmula B que pertenezca a , no hay ninguna interpretacin en que B sea verdadera y A falsa. Cuando A es una consecuencia semntica de en un lenguaje L, se escribe: . A es una frmula lgicamente vlida si y slo si A es una consecuencia semntica del conjunto vaco. Cuando A es una frmula lgicamente vlida de un lenguaje L, se escribe: .

Tablas de verdad
Artculo principal: Tablas de verdad.

La tabla de verdad de una frmula es una tabla en la que se presentan todas las posibles interpretaciones de las variables proposicionales que constituye la frmula y el valor de verdad de la frmula completa para cada interpretacin. Por ejemplo, la tabla de verdad para la frmula sera:

Como se ve, esta frmula tiene 2n interpretaciones posibles una por cada lnea de la tabla, donde n es el nmero de variables proposicionales (en este caso 3, es decir p, q, r) , y resulta ser una tautologa, es decir que bajo todas las interpretaciones posibles de las variables proposicionales, el valor de verdad de la frmula completa termina siendo V.

Formas normales
A menudo es necesario transformar una frmula en otra, sobre todo transformar una frmula a su forma normal. Esto se consigue transformando la frmula en otra equivalente y repitiendo el proceso hasta conseguir una frmula que slo use los conectivos bsicos ( ). Para lograr esto se utilizan las equivalencias lgicas:

Por ejemplo, considrese la siguiente frmula:

La misma puede desarrollarse as:

Se dice que una frmula est en forma normal disyuntiva (FND) si y slo si tiene la siguiente forma:

donde cada A es una conjuncin de frmulas. Por ejemplo, la siguiente frmula est en forma normal disyuntiva:

Se dice que una frmula est en forma normal conjuntiva (FNC) si y slo si tiene la siguiente forma:

donde cada A es una disjuncin de frmulas. Por ejemplo, la siguiente frmula est en forma normal conjuntiva:

Por las leyes de De Morgan, es posible pasar de una forma normal disyuntiva a una forma normal conjuntiva y viceversa:

Las FNC y FND son mutuamente duales. La demostracin hace uso de las leyes de De Morgan y de la propiedad distributiva de la conjuncin y la disyuncin. Se debe cumplir que:

Y viceversa:

La lgica proposicional y la computacin

Debido a que los computadores trabajan con informacin binaria, la herramienta matemtica adecuada para el anlisis y diseo de su funcionamiento es el lgebra de Boole. El lgebra de Boole fue desarrollada inicialmente para el estudio de la lgica. Ha sido a partir de 1938, fecha en que Claude Shannon public un libro llamado "Anlisis simblico de circuitos con rels", estableciendo los primeros conceptos de la actual teora de la conmutacin, cuando se ha producido un aumento considerable en el nmero de trabajos de aplicacin del lgebra de Boole a los computadores digitales. Hoy en da, esta herramienta resulta fundamental para el desarrollo de los computadores ya que, con su ayuda, el anlisis y sntesis de combinaciones complejas de circuitos lgicos puede realizarse con rapidez.

Aristteles con respecto al estudio de la lgica

La lgica es conocida como una de las ciencias ms antiguas, tanto es as que se le atribuye a Aristteles la paternidad de esta disciplina. Partiendo de que corresponde a Aristteles haber sido el primero en tratar con todo detalle la lgica, se le considera pues ser su fundador. En un principio se llam Analtica, en virtud del ttulo de las obras en que trat los problemas lgicos. Ms tarde los escritos de Aristteles relativos a

estos eventos fueron recopilados por sus discpulos con el ttulo de Organon, por considerar que la lgica era un instrumento para el conocimiento de la verdad. Aristteles se planteo cmo es posible probar y demostrar que un conocimiento es verdadero, es decir, que tiene una validez universal. Aristteles encuentra el fundamento de la demostracin en la deduccin, procedimiento que consiste en derivar un hecho particular de algo universal. La forma en que se afecta esa derivacin es el silogismo, por cuya razn la silogstica llega a ser el centro de la lgica aristotlica.

Vase tambin

lgebra de Boole Clculo lgico Clculo proposicional de Frege Grficos existenciales Lgica matemtica Lgica de primer orden Lgica modal Tabla de valores de verdad Teora de grafos Silogismo Valor de verdad

Notas y referencias
1. Klement, Kevin C., Propositional Logic (en ingls), Internet Encyclopedia of Philosophy, http://www.iep.utm.edu/prop-log/, consultado el 6 de febrero de 2012. 2. Simon Blackburn, ed., propositional calculus (en ingls), Oxford Dictionary of Philosophy, Oxford University Press, http://www.oxfordreference.com/views/ENTRY.html?subview=Main&entry=t98.e2552, consultado el 13 de agosto de 2009.

Tabla de verdad

De Wikipedia, la enciclopedia libre (Redirigido desde Tabla de valores de verdad) Saltar a: navegacin, bsqueda

Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposicin compuesta, para cada combinacin de valores de verdad que se pueda asignar a sus componentes.1 Fue desarrollada por Charles Sanders Peirce por los aos 1880, pero el formato ms popular es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.

ndice
[ocultar]

1 Definiciones en el clculo lgico o 1.1 Verdadero o 1.2 Falso o 1.3 Variable o 1.4 Negacin o 1.5 Conjuncin o 1.6 Disyuncin o 1.7 Implicacin o Condicional o 1.8 Equivalencia o Bicondicional 2 Nmero de combinaciones o 2.1 Para cero variables o 2.2 Para una variable o 2.3 Para dos variables 3 Tablas de verdad

3.1 Verdad Indeterminada o Contingencia 3.2 Contradiccin 3.3 Tautologas 4 Tablas de verdad, proposiciones lgicas y argumentos deductivos 5 Aplicaciones o 5.1 Clculo lgico o 5.2 Lgica de circuitos o 5.3 Desarrollo del algoritmo fundamental en lgica de circuitos 6 Vase tambin 7 Notas y referencias 8 Enlaces externos

o o o

[editar] Definiciones en el clculo lgico

Artculo principal: Clculo lgico.

Para establecer un Sistema formal se establecen las definiciones de los operadores. Las definiciones se harn en funcin del fin que se pretenda al construir el sistema que haga posible la formalizacin de argumentos:

Como razonamientos deductivos lgico-lingsticos Como construccin de un sistema matemtico puro Como una aplicacin lgica en un Circuito de conmutacin.

Verdadero

El valor verdadero se representa con la letra V; si se emplea notacin numrica se expresa con un uno: 1; en un circuito elctrico, el circuito esta cerrado.

Falso

El valor falso se representa con la letra F; si se emplea notacin numrica se expresa con un cero: 0; en un circuito elctrico, el circuito esta abierto.

Variable

Para una variable lgica A, B, C, ... que pueden ser verdaderas V, o falsas F, los operadores fundamentales se definen as:

Negacin

La negacin es un operador que se ejecuta, sobre un nico valor de verdad, devolviendo el valor contradictorio de la proposicin considerada.

Conjuncin

La conjuncin es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas La tabla de verdad de la conjuncin es la siguiente:

Que se corresponde con la columna 8 del algoritmo fundamental.

Disyuncin

La disyuncin es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas. La tabla de verdad de la disyuncin es la siguiente:

Que se corresponde con la columna 2 del algoritmo fundamental.

Implicacin o Condicional

El condicional material es un operador que opera sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad falso slo cuando la primera proposicin es verdadera y la segunda falsa, y verdadero en cualquier otro caso. La tabla de verdad del condicional material es la siguiente:

Que se corresponde con la columna 5 del algoritmo fundamental.

Equivalencia o Bicondicional

El bicondicional o doble implicacin es un operador que funciona sobre dos valores de verdad, tpicamente los valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad diferente. La tabla de verdad del bicondicional es la siguiente:

Que se corresponde con la columna 7 del algoritmo fundamental.

Nmero de combinaciones
Partiendo de un nmero n de variables, cada una de las cuales puede tomar el valor verdadero: V, o falso: F, por Combinatoria, podemos saber que el nmero total de combinaciones: Nc, que se pueden presentar es:

el nmero de combinaciones que se pueden dar con n variable, cada una de las cuales puede tomar uno entre dos valores lgicos es de dos elevado a n, esto es, el nmero de combinaciones: Nc, tiene crecimiento exponencial respecto al nmero de variable n:

Si consideramos que un sistema combinacional de n variables binarias, puede presentar un resultado verdadero: V, o falso: F, para cada una de las posibles combinaciones de entrada tenemos que se pueden construir Cp circuitos posibles con n variables de entrada, donde:

Que da como resultado la siguiente tabla:

Para componer una tabla de verdad, pondremos las n variables en una lnea horizontal, debajo de estas variables desarrollamos las distintas combinaciones que se pueden formar con V y F, dando lugar a la distintas Nc, nmero de combinaciones. Normalmente solo se representa la funcin para la que se confecciona la tabla de verdad, y en todo caso funciones parciales que ayuden en su clculo, en la figura, se pueden ver todas las combinaciones posibles Cp, que pueden darse para el nmero de variables dado.

As podemos ver que para dos variables binarias: A y B, n= 2 , que pueden tomar los valores V y F, se pueden desarrollar cuatro combinaciones: Nc= 4, con estos valores se pueden definir diecisis resultados distintos, Cp= 16, cada una de las cuales seria una funcin de dos variables binarias. Para otro nmero de variables se obtendrn los resultados correspondientes, dado el crecimiento exponencial de Nc, cuando n toma valores mayores de cuatro o cinco, la representacin en un cuadro resulta compleja, y si se quiere representar las combinaciones posibles Cp, resulta ya complejo para n= 3.

[editar] Para cero variables

Un circuito sin variables, puede presentar una combinacin posible: Nc=1, con dos circuitos posibles: Cp=2. Que seran el circuito cerrado permanentemente, y el circuito abierto permanentemente.
1 V F 2

En este caso se puede ver que no interviene ninguna variable. Cada uno de estos circuitos admite una nica posicin y hay dos circuitos posibles.

Para una variable

El caso de una variable binaria, que puede presentar dos combinaciones posibles: Nc=2, con 4 circuitos posibles: Cp=4.
1 A V F A V V 2 A V F 3 A F V 4 A F F

Los casos 1 y 4 coinciden con los de cero variables, el caso 2 la salida es la de la variable y el caso 3 la negacin de la variable.

Para dos variables

Considrese dos variables proposicionales A y B.2 Cada una puede tomar uno de dos valores de verdad: o V (verdadero), o F (falso). Por lo tanto, los valores de verdad de A y de B pueden combinarse de cuatro maneras distintas: o ambas son verdaderas; o A es verdadera y B falsa, o A es falsa y B verdadera, o ambas son falsas. Esto puede expresarse con una tabla simple:

Considrese adems a "" como una operacin o funcin lgica que realiza una funcin de verdad al tomar los valores de verdad de A y de B, y devolver un nico valor de verdad. Entonces, existen 16 funciones distintas posibles, y es fcil construir una tabla que muestre qu devuelve cada funcin frente a las distintas combinaciones de valores de verdad de A y de B.
1 A V V F B V F V AB V V V 2 AB V V V 3 AB V V F 4 AB V V F 5 AB V F V 6 AB V F V 7 AB V F F 8 AB V F F 9 AB F V V 10 AB F V V 11 AB F V F 12 AB F V F 13 AB F F V 14 AB F F V 15 AB F F F 16 AB F F F

Las dos primeras columnas de la tabla muestran las cuatro combinaciones posibles de valores de verdad de A y de B. Hay por lo tanto 4 lneas, y las 16 columnas despliegan todos los posibles valores que puede devolver una funcin "". De esta forma podemos conocer mecnicamente, mediante algoritmo, los posibles valores de verdad de cualquier conexin lgica interpretada como funcin, siempre y cuando definamos los valores que devuelva la funcin. Se hace necesario, pues, definir las funciones que se utilizan en la confeccin de un sistema lgico. De especial relevancia se consideran las definiciones para el Clculo de deduccin natural y las puertas lgicas en los circuitos electrnicos.

Tablas de verdad
Las tablas nos manifiestan los posibles valores de verdad de cualquier proposicin molecular, as como el anlisis de la misma en funcin de las proposicones que la integran, encontrndonos con los siguientes casos:

Verdad Indeterminada o Contingencia

Se entiende por verdad contingente, o verdad de hecho, aquella proposicin que puede ser verdadera o falsa, segn los valores de las proposiciones que la integran. Sea el caso: . Su tabla de verdad se construye de la siguiente manera: Ocho filas que responden a los casos posibles que pueden darse segn el valor V o F de cada una de las proposiciones A, B, C. (Columnas 1, 2, 3) Una columna (Columna 4) en la que se establecen los valores de aplicando la definicin del disyuntor a los valores de B y de C en cada una de las filas.(Columnas 2,3 4) Una columna (columna 5) en la que se establecen los valores resultantes de aplicar la definicin de la conjuncin entre los valores de A (columna 1) y valores de la columna , (columna 4) que representarn los valores de la proposicin completa consideremos. (Columnas 1,4 5) Donde podemos comprobar cundo y por qu la proposicin , cuyo valor de verdad es V o F segn la fila de los valores de A, B, y C que

es V y cundo es F.

Contradiccin
Artculo principal: Contradiccin.

Se entiende por proposicin contradictoria, o contradiccin, aquella proposicin que en todos los casos posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma, su valor F no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que estn establecidas las relaciones sintcticas de unas con otras. Sea el caso:

Procederemos de manera similar al caso anterior. Partiendo de la variable A y su contradiccin, la conjuncin de ambos siempre es falso, dado que si A es verdad su contradiccin es falsa, y si A es falsa su contradiccin es verdad, la conjuncin de ambas da falso en todos los casos.

Tautologas
Artculo principal: Tautologa.

Se entiende por proposicin tautolgica, o tautologa, aquella proposicin que en todos los casos posibles de su tabla de verdad su valor siempre es V. Dicho de otra forma, su valor V no depende de los valores de verdad de las proposiciones que la forman, sino de la forma en que estn establecidas las relaciones sintcticas de unas con otras. Sea el caso:

Siguiendo la mecnica algortmica de la tabla anterior construiremos su tabla de verdad, tenemos la variable A en disyuncin con su contradiccin, si A es verdad, su negacin es falsa y si A es falsa su negacin es verdad, en cualquier caso una de las dos alternativas es cierta, y su disyuncin es cierta en todos los casos.

Tablas de verdad, proposiciones lgicas y argumentos deductivos

Artculo principal: Clculo lgico.

En realidad toda la lgica est contenida en las tablas de verdad, en ellas se nos manifesta todo lo que implican las relaciones sintcticas entre las diversas proposiciones. No obstante la sencillez del algoritmo, aparecen dos dificultades.

La gran cantidad de operaciones que hay que hacer para una proposicin con ms de 4 variables.

Esta dificultad ha sido magnficamente superada por la rapidez de los ordenadores, y no presenta dificultad alguna.

Que nicamente ser aplicable a un esquema de inferencia, o argumento cuando la proposicin condicionada, como conclusin, sea previamente conocida, al menos como hiptesis, hasta comprobar que su tabla de verdad manifiesta una tautologa.

Por ello se construye un clculo mediante cadenas deductivas:

Las proposiciones que constituyen el antecedente del esquema de inferencia, se toman como premisas de un argumento. Se establecen como reglas de clculo algunas tautologas como tales leyes lgicas, (pues garantizan, por su carcter tautolgico, el valor V). Se permite la aplicacin de dichas reglas como reglas de sustitucin de frmulas bien formadas en las relaciones que puedan establecerse entre dichas premisas. Deduciendo mediante su aplicacin, como teoremas, todas las conclusiones posibles que haya contenidas en las premisas. Cuando en un clculo se establecen algunas leyes como principios o axiomas, el clculo se dice que es axiomtico. El clculo lgico as puede utilizarse como demostracin argumentativa.

Aplicaciones
Clculo lgico
La aplicacin fundamental se hace cuando se construye un sistema lgico que modeliza el lenguaje natural sometindolo a unas reglas de formalizacin del lenguaje. Su aplicacin puede verse en el clculo lgico.

Lgica de circuitos
Artculo principal: Puerta lgica.

Puertas lgicas para circuitos elctricos

Una aplicacin importante de las tablas de verdad procede del hecho de que, interpretando los valores lgicos de verdad como 1 y 0 (lgica positiva) en el sentido que

valor "1" permite el paso de corriente elctrica; y valor "0" corta el paso de dicha corriente.

Los valores de entrada o no entrada de corriente a travs de un diodo pueden producir una salida 0 1 segn las condiciones definidas como funcin segn las tablas mostradas anteriormente. As se establecen las algunas funciones bsicas: AND, NAND, OR, NOR, XOR, XNOR (o NXOR), que se corresponden con las funciones definidas en las columnas 8, 9, 2, 15, 10 y 7 respectivamente, y la funcin NOT.

En lugar de variables proposicionales, considerando las posibles entradas como EA y EB, podemos armar una tabla anloga de 16 funciones como la presentada arriba, con sus equivalentes en lgica de circuitos.
EA EA OR BUFFER NOT(EA) BUFFER EA XNOR EA AND NAND EA EB Verdad EA OR EB NOT (EB) EA OR EB EB EB EB EB EA XOR NOT EA AND NOT(EA) NOT(EA) EB EB NOT(EB) AND EB

NOR

Falso

1 1 0 0

1 0 1 0

1 1 1 1

1 1 1 0

1 1 0 1

1 1 0 0

1 0 1 1

1 0 1 0

1 0 0 1

1 0 0 0

0 1 1 1

0 1 1 0

0 1 0 1

0 1 0 0

0 0 1 1

0 0 1 0

0 0 0 1

0 0 0 0

Esta aplicacin hace posible la construccin de aparatos capaces de realizar estas computaciones a alta velocidad, y la construccin de circuitos que utilizan este tipo de anlisis se hace por medio de puertas lgicas. La Tabla de la verdad es una herramienta imprescindible en la recuperacin de datos en las bases de datos como Internet con los motores de bsqueda o en una biblioteca con sus ficheros informatizados. As mismo se utilizan para programar simulaciones lgicas de inteligencia artificial con lenguajes propios. Tambin en modelos matemticos predictores: meteorologa, marketing y otros muchos.

Desarrollo del algoritmo fundamental en lgica de circuitos

Artculo principal: Formas cannicas (lgebra de Boole). Artculo principal: Circuito de conmutacin.

La definicin de la tabla de verdad corresponde a funciones concretas, en cada caso, as como a implementaciones en cada una de las tecnologas que pueden representar funciones lgicas en binario, como las puertas lgicas o los circuitos de conmutacin. Se entender como verdad la conexin que da paso a la corriente; en caso contrario se entender como falso. Veamos la presentacin de los diecisis casos que se presentan con dos variables binarias A y B:

Caso 1

Artculo principal: Tautologa (lgica).

El primer caso en una funcin lgica que para todas las posibles combinaciones de A y B, el resultado siempre es verdadero, es un caso de tautologa, su implementacin en un circuito es una conexin fija.

Caso 2

Artculo principal: Disyuncin lgica.

En este segundo caso el resultado solo es falso si A y B son falsos, si una de las dos variables es verdad el resultado es verdad. La funcin seria:

Caso 3

En el tercer caso es verdad si A es verdad y cuando A y B son falsos el resultado tambin es verdad. Su funcin seria:

Caso 4

En el cuarto caso la funcin es cierta si A es cierta, los posibles valores de B no influyen en el resultado. La funcin solo depende de A:

Caso 5

Artculo principal: Condicional material.

En el quinto caso si A es falso el resultado es verdadero, y si A y B son verdaderos el resultado tambin es verdadero, puede verse que este caso es idntico al tercero permutando A por B. Y si funcin es:

Caso 6

En el sexto caso la funcin es cierta si B es cierta, los valores de A no influyen en el resultado. La funcin solo depende de B:

Caso 7

Artculo principal: Bicondicional.

El sptimo caso corresponde a la relacin bicondicional entre A y B, el resultado solo es verdad si A y B son ambos verdad o si A y B son ambos falsos.

Caso 8

Artculo principal: Conjuncin lgica.

En el octavo caso el resultado es verdad si A y B son verdad, en el resto de los valores de A y B el resultado es falso, corresponde a la conjuncin de A y B, equivalente a un circuito en serie.

Caso 9

En el noveno caso el resultado solo es falso si A y B son verdad, en el resto de los valores de A y B el resultado es verdadero, corresponde a la disyuncin de la negacin A y de B, equivalente a un circuito en paralelo de conexiones inversas.

Caso 10

Artculo principal: Disyuncin exclusiva.

Podemos ver que el dcimo caso es lo opuesto a la bicondicional, solo es verdad si A y B discrepan, si A y B son diferentes el valor es verdad, si A y B son iguales el resultado es falso.

Caso 11

Artculo principal: Negacin lgica.

En este caso podemos ver que cuando B es verdad el resultado es falso y que cuando B es falso el resultado es verdadero, independientemente del valor de A, luego la funcin solo depende de B, en sentido inverso.

Caso 12

En el caso doce, vemos que solo hay un combinacin de A y B con resultado verdadero, que es A y la negacin de B.

Caso 13

Artculo principal: Negacin lgica.

En el caso decimotercero podemos ver que el resultado es el opuesto de A, independientemente del valor de B:

Caso 14

Caso decimocuarto, el resultado de la funcin solo es verdad si A es falso y B verdadero, luego es equivalente a un circuito en serie de A en conexin inversa y de B en conexin directa.

Caso 15

En el caso decimoquinto, el resultado solo es verdad si A y B son falsos, Luego es necesario que tanto A como B sean falsos para que el resultado sea verdadero.

Caso 16

Artculo principal: Contradiccin.

Por ltimo en el caso decimosexto, tenemos que el resultado siempre es falso independientemente de los valores de A o de B.

[editar] Vase tambin

Operador lgico Anexo:Tabla de smbolos matemticos Lenguaje formalizado lgebra de Boole Clculo lgico Lgica binaria Lgica proposicional Puerta lgica Funcin lgica Funcin de verdad

Lgica matemtica

La lgica matemtica es una parte de la lgica y las matemticas, que consiste en el estudio matemtico de la lgica y en la aplicacin de este estudio a otras reas de las matemticas. La lgica matemtica tiene estrechas conexiones con las ciencias de la computacin y la lgica filosfica. La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican nociones intuitivas de objetos matemticos como conjuntos, nmeros, demostraciones y computacin. La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora de la demostracin, teora de conjuntos y teora de la recursin. La investigacin en lgica matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las matemticas. Actualmente se usan indiferentemente como sinnimos las expresiones: lgica simblica (o logstica), lgica matemtica, lgica teortica y lgica formal.1 La lgica matemtica no es la lgica de las matemticas sino la matemtica de la lgica. Incluye aquellas partes de la lgica que pueden ser modeladas y estudiadas matemticamente.
o

Historia
Siglo XIX
Lgica matemtica fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la lgica de Aristteles, pero desde el punto de vista de una nueva notacin, ms abstracta, tomada del lgebra. Previamente ya se hicieron algunos intentos de tratar las operaciones lgicas formales de una manera simblica por parte de algunos filsofos matemticos como Leibniz y Lambert, pero su labor permaneci desconocida y aislada.

Fueron George Boole y Augustus De Morgan, a mediados del siglo XIX, quienes primero presentaron un sistema matemtico para modelar operaciones lgicas. La lgica tradicional aristotlica fue reformada y completada, obteniendo un instrumento apropiado para investigar sobre los fundamentos de la matemtica. El tradicional desarrollo de la lgica enfatizaba su centro de inters en la forma de argumentar, mientras que la actual lgica matemtica lo centra en un estudio combinatorio de los contenidos. Esto se aplica tanto a un nivel sintctico (por ejemplo, el envo de una cadena de smbolos perteneciente a un lenguaje formal a un programa compilador que lo convierte en una secuencia de instrucciones ejecutables por una mquina), como a un nivel semntico, construyendo modelos apropiados (teora de modelos).

Lgica simblica
Leopold Lwenheim (1915) y Thoralf Skolem (1920) formularon el llamado teorema de Lwenheim-Skolem, que afirma que cualquier sistema axiomtico basado en la lgica de primer orden no puede controlar la cardinalidad de la estructuras no finitas que satisfacen los axiomas de dicho sistema. Skolem comprendi que este teorema podra aplicarse para las formalizaciones de primer orden de la teora de conjuntos, sinedo dicha formalizacin numerable, existira un modelo numerable para dicha teora aun cuando la teora afirma que existen conjuntos no contables. Este resultado contraintuitivo es la conocida paradoja de Skolem. En su tesis doctoral, Kurt Gdel (1929) demostr el teorema de completitud, que establece una correspondencia entre la sintaxis y la semntica de la lgica de primer orden. Gdel us dicho teorema de completitud para probar el llamado teorema de comapcidad, demonstrando la naturaleza fintiaria del operador de consecuencia lgica. Estos resultados ayudaron a establecer a la lgica de primer orden como el tipo de lgica dominante en las matemticas actual. En 1931, Gdel public On Formally Undecidable Propositions of Principia Mathematica and Related Systems, que demostraba la incompletitud (en un sentido diferente del trmino) de cualquier sistema axiomtico suficientemente expresivo, cuyo sistema de axiomas fuera recursivamente enumerable. Este tipo de resultados, conocidos como teorema de incompletitud de Gdel, implica que los sistemas axiomticos de primer orden tienen severas limitaciones para fundamentar las matemticas, y supusieron un duro golpe para el llamado programa de Hilbert para la fundamentacin de las matemticas. Uno de los resultados de Gdel estableci que es imposible que pueda formalizarse la consistencia de la artimtica una teora formal en la que se pueda formalizar la propia aritmtica. Por otra parte, durante algn tiempo ni Hilbert ni otros de sus colaboradores fueron conscientes de la importancia del trabajo de Gdel para su prentesin de fundamentar las matemticas mediante el citado "programa de Hilbert".

Concepto de lgica matemtica

La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican conceptos intuitivos de objetos matemticos como conjuntos, nmeros, demostraciones y computacin. La lgica estudia las reglas de deduccin formales, las capacidades expresivas de los diferentes lenguajes formales y las propiedades metalgicas de los mismos. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no vlido un argumento dado dentro de un determinado sistema formal. En un nivel avanzado, la lgica matemtica se ocupa de la posibilidad de axiomatizar las teoras matemticas, de clasificar su capacidad expresiva, y desarrollar mtodos computacionales tiles en sistemas formales. La teora de la demostracin y la matemtica inversa son dos de los razonamientos ms recientes de la lgica matemtica abstracta. Debe sealarse que la lgica matemtica se ocupa de sistemas formales que pueden no ser equivalentes en todos sus aspectos, por lo que la lgica matemtica no es mtodo de descubrir verdades del mundo fsico real, sino slo una fuete posible de modelos lgicos aplicables a teoras cientficas, muy especialmente a la matemtica convencional. La lgica matemtica no se encarga por otra parte del concepto de razonamiento humano general o del proceso creativo de construccin de demostraciones matemticas mediante argumentos rigurosos pero hechas usando lenguaje informal con algunos signos o diagramas, sino slo de demostraciones y razonamientos que pueden ser completamente formalizados en todos sus aspectos.

Sistemas lgicos
La lgica matemtica se interesa por tres tipos de aspectos de los sistemas lgicos:

La sintaxis de las lenguajes formales, es decir, las reglas de formacin de smbolos interpretables construidos a partir de un determinado alfabeto, y las reglas de inferencia. En concreto el conjunto de teoremas deducibles de un conjunto de axiomas. La semntica de las lenguajes formales, es decir, los significados atribuibles a un conjunto de signos, as como el valor de verdad atribuible a algunas de las proposiciones. En general las expresiones de un sistema formal interpretadas en un modelo son ciertas o falsas, por lo que un conjunto de proposiciones que admite un modelo es siempre consistente. Los aspectos metalgicos de las lenguas formales, como por ejemplo la completitud, la consistencia, la compacidad o la existencia de modelos de cierto tipo, etc.

Los diferentes tipos de sistemas lgicos pueden ser clasificados en:

Lgica proposicional (Lgica de orden cero): En ella existe smbolos para variables proposicionales (que pueden ser interpretados informalmente como enunciados que puden ser ciertos o falsos) adems de smbolos para diversas conectivas. Estas conectivas permiten formar expresiones complejas a partir de variables proposicionales simples. Un sistema lgico puede incluir diversos tipos de conectivas, entre ellos, la lgica clsica suele hacer uso de los siguientes: se lee no se lee y se lee o se lee implica o si,entonces, se lee equivalente con o "si, slo s" Dentro de la lgica proposicional pueden distinguirse varios tipos, por ejemplo restringiendo las posibilidades de interpretacin semntica se obtiene la lgica intuicionista y ampliando la complejidad de las interpretaciones semnticas se obtienen las lgicas modales.

Lgica de predicados: Esta no incluye smbolos para variables proposicionales sino que las proposciones ms elementales son predicados atmicos (formados a partir de variables interpretables como objetos singulares, relaciones (entre estas frecuentemente se usan = , <, >, etc), funciones matemticas. Adems smbolos para representar variables, relaciones y funciones este tipo de lgicas incluyen cuantificadores. Dentro de la lgica de precidados se pueden distinguir ciertos tipos: o Lgica de primer orden que usualmente es finitaria (slo se admiten proposiciones formadas mediante un nmero finito de pasos) aunque tambin existen lgicas infinitarias. o Lgica de segundo orden que a su vez pueden ser de diferentes subtipos.

Teoras axiomticas
Una teora axiomtica est formada por un conjunto de proposiciones expresables en un determinado lenguaje formal y todas las proposiciones deducibles de dichas expresiones mediante las relgas de inferencia posibles en dicho sistema lgico. El objetivo de las teoras axiomticas es construir sistemas lgicos que representen las caractersticas esenciales de ramas enteras de las matemticas. Si se selecciona un conjunto ms amplio o menos amplio de axiomas el conjunto de teoremas deducibles cambian. El inters de la

teora de modelos es que en un modelo que satisfagan los axiomas de determinada teora tambin se satisfacen los teoremas deducibles de dicha teora. Es decir, si un teorema es deducible en una cierta teora, entonces ese teorema es universalmente vlido en todos los modelos que satisfacen los axiomas. Esto es interesante porque en principio la clase de modelos que satisface una cierta teora es difcil de conocer, ya que las teoras matemticas interesantes en general admiten toda clase infinita de modelos no isomorfos, por lo que su clasificacin en general resulta difcilmente abordable sin no existe un sistema lgico y un conjunto de axiomas que caracterice los diferentes tipos de modelos.

reas
La Mathematics Subject Classification divide la lgica matemtica en las siguientes reas:

Filosfica y crtica Lgica general (que incluye campos como la lgica modal y la lgica borrosa) Teora de modelos Teora de la computabilidad Teora de conjuntos Teora de la demostracin y matemtica constructiva algebraica]] Modelos no-estndar

En algunos casos hay conjuncin de intereses con la Informtica terica, pues muchos pioneros de la informtica, como Alan Turing, fueron matemticos y lgicos. As, el estudio de la semntica de los lenguajes de programacin procede de la teora de modelos, as como tambin la verificacin de programas, y el caso particular de la tcnica del model checking. Tambin el isomorfismo de Churry-Howard entre pruebas y programas se corresponde con la teora de pruebas, donde la lgica intuicionista y la lgica lineal son especialmente significativas. Algunos sistemas lgicos como el clculo lambda, y la lgica combinatoria entre otras han devenido, incluso, autnticos lenguajes de programacin, creando nuevos paradigmas como son la programacin funcional y la programacin lgica.

Tipos de sistemas lgicos

Lgica proposicional
Artculo principal: Lgica proposicional.

La lgica proposicional (o lgica de orden cero) es un lenguaje formal en el que no existen variables ni cuantificacin, eso implica que cualquier secuencia de signos que constituya una frmula bien formada de la lgica proposicional admite una valoracin en la proposicin es cierta o falsa dependiendo del valor de verdad asignado a las proposiciones que la compongan. En otras palabras en la lgica proposicional cualquier frmula bien formada define una funcin proposicional. Por tanto, cualquier sistema lgico basado en la lgica proposicional es decidible y en un nmero finito de pasos puede determinarse la verdad o falsedad semntica de una proposicin. Esto hace que la lgica proposicional sea completa y muy sencilla de caracterizar semnticamente.

Lgica de predicados
La lgica de predicados (o lgica de primer orden) es un lenguaje formal en el que las sentencias bien formadas son producidas por las reglas enunciadas a continuacin. Vocabulario Un vocabulario es una tupla:

que consta de: , cada uno de ellos con un nmero entero , cada uno de aridad asociado, el cual se conoce como la aridad de

smbolos relacionales smbolos funcionales smbolos constantes

Una frmula de primer orden en el vocabulario empleados son los especificados por .

, es una frmula de primer orden donde los nicos predicados, funciones y constantes

Lenguajes y estructuras de primer orden

Un lenguaje de primer orden

es una coleccin de distintos smbolos clasificados como sigue: y el parntesis , .

1. El smbolo de igualdad ; las conectivas , ; el cuantificador universal 2. Un conjunto contable de smbolos de variable . 3. Un conjunto de smbolos de constante . 4. Un conjunto de smbolos de funcin 5. Un conjunto de smbolos de relacin . .

As, para especificar un orden, generalmente slo hace falta especificar la coleccin de smbolos constantes, smbolos de funcin y smbolos relacionales, dado que el primer conjunto de smbolos es estndar. Los parntesis tienen como nico propsito de agrupar smbolos y no forman parte de la estructura de las funciones y relaciones. Los smbolos carecen de significado por s solos. Sin embargo, a este lenguaje podemos dotarlo de una semntica apropiada. Una -estructura sobre el lenguaje , es una tupla consistente en un conjunto no vaco de , tenemos un elemento de de , una function , una relacin -aria -aria sobre . . , esto es, un subconjunto . , el universo del discurso, junto a:

1. Para cada smbolo constante 2. Para cada smbolo de function 3. Para cada smbolo de relacin

-aria -aria

A menudo, usaremos la palabra modelo para denotar esta estructura.

Aspectos metalgicos y algortimicos

Teora de modelos

La teora de modelos introducida anteriormente permite atribuir una intepretacin semntica a las expresiones purmente formales de los lenguajes formales. Pero adems, permiten estudiar en s mismos los conjuntos de axiomas, su completitud, su consistencia, la independencia de unos de otros y permiten introducir un importante nmero de cuestiones metalgicas.

Teora de la computabilidad
Artculos principales: Teora de la computabilidad y Recursividad.

Teora de la demostracin

La teora de la demostracin es la rama de la lgica matemtica que trata a las demostraciones como objetos matemticos, facilitando su anlisis mediante tcnicas matemticas. 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 lgicos. En este sentido, la teora de la demostracin se ocupa de la sintaxis, en contraste con la teora de modelos, que trata con la semntica. Junto con la teora de modelos, la teora de conjuntos axiomtica y la teora de la recursin, la teora de la demostracin es uno de los "cuatro pilares" de los fundamentos de las matemticas.

Vase tambin

Lgica proposicional Lgica de primer orden Nocin primitiva Funcin indicatriz

Referencias
1. Evandro Agazzi, 1986.

Bibliografa adicional

Agazzi, Evandro (1986). Lgica simblica. Herder. ISBN 9788425401305.

Enlaces externos

Wikiversidad alberga proyectos de aprendizaje sobre Lgica matemtica.