Lógica proposicional

En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de formar otras fórmulas de mayor complejidad.^[1] Como otros sistemas lógicos, la lógica proposicional intenta esclarecer nuestra comprensión de la noción de consecuencia lógica para el rango de argumentos que analiza.

Introducción

Considérese el siguiente argumento:

Mañana es miércoles o mañana es jueves.
Mañana no es jueves.
Por lo tanto, mañana es miércoles.

Es un argumento válido. Quiere decir que es imposible que las premisas sean verdaderas y la conclusión falsa. Esto no quiere decir que la conclusión sea verdadera. Si las premisas son falsas, entonces la conclusión también podría serlo. Pero si las premisas son verdaderas, entonces la conclusión también lo es. La validez de este argumento no se debe al significado de las expresiones «mañana es miércoles» y «mañana es jueves», porque éstas podrían cambiarse por otras y el argumento permanecer válido. Por ejemplo:

Está soleado o está nublado.
No está nublado.
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 podría ser que los argumentos dejaran de ser válidos. Por ejemplo:

Ni está soleado ni está nublado.
No está nublado.
Por lo tanto, está soleado.

Las expresiones de las que depende la validez de los argumentos se llaman constantes lógicas. La lógica proposicional estudia el comportamiento de algunas de estas expresiones, llamadas conectivas lógicas. En cuanto a las expresiones como "está nublado" o "mañana 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 intención es simbolizar una expresión 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 sección podrían reescribirse así:

p o q
No q
Por lo tanto, p

Y el tercer argumento, a pesar de no ser válido, puede reescribirse así:

Ni p ni q
No q
Por lo tanto, p

Conectivas lógicas

Artículo principal: Conectiva lógica

A continuación hay una tabla que despliega todas las conectivas lógicas que ocupan a la lógica proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los símbolos que se utilizan para representarlas.

Conectiva	Expresión en el lenguaje natural	Ejemplo	Símbolo en este artículo	Símbolos alternativos
Negación	no	No está lloviendo.	$\neg \,$	$\sim \,$
Conjunción	y	Está lloviendo y está nublado.	$\and$	$\And \,$ $.$
Disyunción	o	Está lloviendo o está soleado.	$\or$
Condicional material	si... entonces	Si está soleado, entonces es de día.	$\to \,$	$\supset$
Bicondicional	si y sólo si	Está nublado si y sólo si hay nubes visibles.	$\leftrightarrow$	$\equiv \,$
Negación conjunta	ni... ni	Ni está soleado ni está nublado.	$\downarrow \,$
Disyunción excluyente	o bien... o bien	O bien está soleado, o bien está nublado.	$\nleftrightarrow$	$\oplus, \not\equiv, W$

En la lógica proposicional, las conectivas lógicas 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 lógica no es una función 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 función no a una letra que represente una proposición falsa, el resultado será algo verdadero. Si es falso que «está lloviendo», entonces será verdadero que «no está lloviendo».

El significado de las conectivas lógicas no es nada más que su comportamiento como funciones de verdad. Cada conectiva lógica 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 lógica puede ilustrarse mediante una tabla que despliegue los valores de verdad que la función devuelve frente a todas las combinaciones posibles de valores de verdad que puede recibir.

Negación	Conjunción	Disyunción	Condicional	Bicondicional
$\begin{array}{c\|\|c} \phi & \neg \phi \\ \hline V & F \\ F & V \\ \end{array}$	$\begin{array}{c\|c\|\|c} \phi & \psi & \phi \and \psi \\ \hline V & V & V \\ V & F & F \\ F & V & F \\ F & F & F \\ \end{array}$	$\begin{array}{c\|c\|\|c} \phi & \psi & \phi \or \psi \\ \hline V & V & V \\ V & F & V \\ F & V & V \\ F & F & F \\ \end{array}$	$\begin{array}{c\|c\|\|c} \phi & \psi & \phi \to \psi \\ \hline V & V & V \\ V & F & F \\ F & V & V \\ F & F & V \\ \end{array}$	$\begin{array}{c\|c\|\|c} \phi & \psi & \phi \leftrightarrow \psi \\ \hline V & V & V \\ V & F & F \\ F & V & F \\ F & F & V \\ \end{array}$

Límites de la lógica proposicional

La maquinaria de la lógica proposicional permite formalizar y teorizar sobre la validez de una gran cantidad de argumentos. Sin embargo, también existen argumentos que son intuitivamente válidos, pero cuya validez no puede ser probada por la lógica proposicional. Por ejemplo, considérese el siguiente argumento:

Todos los hombres son mortales.
Sócrates es un hombre.
Por lo tanto, Sócrates es mortal.

Como este argumento no contiene ninguna de las conectvias «no», «y», «o», etc., según la lógica proposicional, su formalización será la siguiente:

p
q
Por lo tanto, r

Pero esta es una forma de argumento inválida, y eso contradice nuestra intuición de que el argumento es válido. 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 lógica de primer orden. Otros sistemas formales permiten teorizar sobre otros tipos de argumentos. Por ejemplo la lógica de segundo orden, la lógica modal y la lógica temporal.

Dos sistemas formales de lógica proposicional

A continuación se presentan dos sistemas formales estándar para la lógica proposicional. El primero es un sistema axiomático simple, y el segundo es un sistema sin axiomas, de deducción natural.

Sistema axiomático

Alfabeto

El alfabeto de un sistema formal es el conjunto de símbolos que pertenecen al lenguaje del sistema. Si L es el nombre de este sistema axiomático de lógica 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 subíndices 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 lógicos: $\neg, \and, \or, \to, \leftrightarrow$
Dos signos de puntuación: los paréntesis izquierdo y derecho. Su única función es desambiguar ciertas expresiones ambiguas, en exactamente el mismo sentido en que desambiguan la expresión 2 + 2 ÷ 2, que puede significar tanto (2 + 2) ÷ 2, como 2 + (2 ÷ 2).

Gramática

Una vez definido el alfabeto, el siguiente paso es determinar qué combinaciones de símbolos pertenecen al lenguaje del sistema. Esto se logra mediante una gramática 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 según estas reglas se las llama fórmulas bien formadas. Las reglas del sistema L son:

Las variables proposicionales del alfabeto de L son fórmulas bien formadas.
Si $\phi \,$ es una fórmula bien formada de L, entonces $\neg \phi \,$ también lo es.
Si $\phi \,$ y $\psi \,$ son fórmulas bien formadas de L, entonces $(\phi \and \psi)$ , $(\phi \or \psi)$ , $(\phi \to \psi) \,$ y $(\phi \leftrightarrow \psi)$ también lo son.
Sólo las expresiones que pueden ser generadas mediante las cláusulas 1 a 3 en un número finito de pasos son fórmulas bien formadas de L.

Según estas reglas, las siguientes cadenas de caracteres son ejemplos de fórmulas bien formadas:

$p \,$

$\neg \neg \neg q \,$

$(p \and q)$

$\neg (p \and q)$

$(p \leftrightarrow \neg p)$

$((p \to q) \and p)$

$(\neg (p \and (q \or r)) \or s)$

Y los siguientes son ejempos de fórmulas mal formadas^{[cita requerida]}:

Fórmula	Error	Corrección
$(p) \,$	Sobran paréntesis	$p \,$
$\neg (p) \,$	Sobran paréntesis	$\neg p \,$
$(\neg p) \,$	Sobran paréntesis	$\neg p \,$
$p \to q \,$	Faltan paréntesis	$(p \to q) \,$
$(p \and q \to r)$	Faltan paréntesis	$((p \and q) \to r) \,$

Por otra parte, dado que la única función de los paréntesis es desambiguar las fórmulas, en general se acostumbra omitir los paréntesis externos de cada fórmula, ya que estos no cumplen ninguna función. Así por ejemplo, las siguientes fórmulas generalmente se consideran bien formadas:

$p \and q$

$\neg p \to q \,$

$(p \and q) \or \neg q$

$(p \leftrightarrow q) \leftrightarrow (q \leftrightarrow p)$

Otra convención acerca del uso de los paréntesis es que las conjunciones y las disyunciones tienen «menor jerarquía» que los condicionales materiales y los bicondicionales. Esto significa que dada una fórmula sin paréntesis, las conjunciones y las disyunciones deben agruparse antes que los condicionales materiales y los bicondicionales. Por ejemplo:

Fórmula	Lectura correcta	Lectura incorrecta
$p \and q \to r \,$	$(p \and q) \to r \,$	$p \and (q \to r) \,$
$\neg p \leftrightarrow q \or r \,$	$\neg p \leftrightarrow (q \or r) \,$	$(\neg p \leftrightarrow q) \or r \,$
$p \and q \leftrightarrow r \or s \,$	$(p \and q) \leftrightarrow (r \or s) \,$	$(p \and (q \leftrightarrow r)) \or s \,$

Estas convenciones son análogas a las que existen en el álgebra elemental, donde la multiplicación y la división siempre deben resolverse antes que la suma y la resta. Así por ejemplo, la ecuación 2 + 2 × 2 podría interpretarse como (2 + 2) × 2 o como 2 + (2 × 2). En el primer caso el resultado sería 8, y en el segundo caso sería 6. Pero como la multiplicación 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 fórmulas bien formadas que se toman como punto de partida para demostraciones ulteriores. Un conjunto de axiomas estándar es el que descubrió Jan Łukasiewicz:

$(\phi \to (\psi \to \phi)) \,$
$((\phi \to (\psi \to \chi)) \to ((\phi \to \psi) \to (\phi \to \chi))) \,$
$((\neg \phi \to \neg \psi) \to (\psi \to \phi)) \,$

Reglas de inferencia

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

$(\phi \to \psi), \phi \vdash \psi$

Recordando que $\phi \,$ y $\psi \,$ no son fórmulas, sino metavariables que pueden ser reemplazadas por cualquier fórmula bien formada.

Ejemplo de una demostración

A demostrar: $\phi \to \phi \,$
Paso	Fórmula	Razón
1	$\phi \to (\phi \to \phi) \,$	Instancia del primer axioma.
2	$\phi \to ((\phi \to \phi) \to \phi) \,$	Instancia del primer axioma.
3	$\Big( \phi \to ((\phi \to \phi) \to \phi) \Big) \to \Big( (\phi \to (\phi \to \phi)) \to (\phi \to \phi) \Big)$	Instancia del segundo axioma.
4	$\Big( (\phi \to (\phi \to \phi)) \to (\phi \to \phi) \Big)$	Desde (2) y (3) por modus ponens.
5	$\phi \to \phi \,$	Desde (1) y (4) por modus ponens. QED

Deducción natural

Artículo principal: Deducción natural

Un sistema de lógica proposicional también puede construirse a partir de un conjunto vacío 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 lógicas.

Introducción de la negación:

Si suponer $\phi \,$ lleva a una contradicción, entonces se puede inferir que $\neg \phi \,$ (reducción al absurdo).

Eliminación de la negación:

$\neg \neg \phi \vdash \phi$

Introducción de la conjunción:

$\phi, \psi \vdash (\phi \and \psi)$

$\phi, \psi \vdash (\psi \and \phi)$

Eliminación de la conjunción:

$(\phi \and \psi) \vdash \phi$

$(\phi \and \psi) \vdash \psi$

Introducción de la disyunción:

$\phi \vdash (\phi \or \psi)$

$\phi \vdash (\psi \or \phi)$

Eliminación de la disyunción:

$(\phi \or \psi), (\phi \to \chi), (\psi \to \chi) \vdash \chi$

Introducción del condicional (véase el teorema de la deducción):

Si suponer $\phi \,$ lleva a una prueba de $\psi \,$ , entonces se puede inferir que $(\phi \to \psi) \,$ .

Eliminación del condicional (modus ponens):

$(\phi \to \psi), \phi \vdash \psi$

Introducción del bicondicional:

$(\phi \to \psi), (\psi \to \phi) \vdash (\phi \leftrightarrow \psi)$

$(\phi \to \psi), (\psi \to \phi) \vdash (\psi \leftrightarrow \phi)$

Eliminación del bicondicional:

$(\phi \leftrightarrow \psi) \vdash (\phi \to \psi)$

$(\phi \leftrightarrow \psi) \vdash (\psi \to \phi)$

Ejemplo de una demostración

A demostrar: $\phi \to \phi \,$
Paso	Fórmula	Razón
1	$\phi \,$	Supuesto.
2	$\phi \or \phi$	Desde (1) por introducción de la disyunción.
3	$(\phi \or \phi) \and \phi$	Desde (1) y (2) por introducción de la conjunción.
4	$\phi \,$	Desde (3) por eliminación de la conjunción.
5	$\phi \vdash \phi$	Resumen de (1) hasta (4).
6	$\vdash \phi \to \phi$	Desde (5) por introducción del condicional. QED

Lenguaje formal en la notación BNF

El lenguaje formal de la lógica proposicional se puede generar con la gramática formal descrita usando la notación BNF como sigue:

$\begin{array}{rcl} \langle Bicondicional \rangle & ::= & \langle Condicional \rangle \leftrightarrow \langle Bicondicional \rangle \mid \langle Condicional \rangle \\ \langle Condicional \rangle & ::= & \langle Conjuncion \rangle \leftrightarrow \langle Condicional \rangle \mid \langle Conjuncion \rangle \\ \langle Conjuncion \rangle & ::= & \langle Disyuncion \rangle \vee \langle Conjuncion \rangle \mid\langle Disyuncion \rangle \\ \langle Disyuncion \rangle & ::= & \langle Literal \rangle \wedge \langle Disyuncion \rangle \mid \langle Literal \rangle \\ \langle Literal \rangle & ::= & \langle Atomo \rangle \mid \neg \langle Atomo \rangle \\ \langle Atomo \rangle & ::= & \top \mid \bot \mid \langle Letra \rangle \mid \langle Agrupacion \rangle \\ \langle Agrupacion \rangle & ::= & ( \langle Bicondicional \rangle ) \mid [ \langle Bicondicional \rangle ] \mid \{ \langle Bicondicional \rangle \} \end{array}$

La gramática anterior define la precedencia de operadores de la siguiente manera:

Negación ( $\neg \,$ )
Conjunción ( $\and \,$ )
Disyunción ( $\or \,$ )
Condicional material ( $\to \,$ )
Bicondicional ( $\leftrightarrow$ )

Semántica

Una interpretación para un sistema de lógica proposicional es una asignación de valores de verdad para cada variable proposicional, sumada a la asignación usual de significados para los operadores lógicos. 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 número de interpretaciones distintas es de 2ⁿ.

Partiendo de esto es posible definir una cantidad de nociones semánticas. Si A y B son fórmulas cualquiera de un lenguaje L, $Γ$ es un conjunto de fórmulas de L, y M es una interpretación de L, entonces:

A es verdadera bajo la interpretación M si y sólo si M asigna el valor de verdad V a A.
A es falsa bajo la interpretación M si y sólo si M asigna el valor de verdad F a A.
A es una tautología (o una verdad lógica) si y sólo si para toda interpretación M, M asigna el valor de verdad V a A.
A es una contradicción si y sólo si para toda interpretación M, M asigna el valor de verdad F a A.
A es consistente (o satisfacible) si y sólo si existe al menos una interpretación M que asigne el valor de verdad V a A.
$Γ$ es consistente si y sólo si existe al menos una interpretación que haga verdaderas a todas las fórmulas en $Γ$ .
A es una consecuencia semántica de un conjunto de fórmulas $Γ$ si y sólo si para toda fórmula B que pertenezca a $Γ$ , no hay ninguna interpretación en que B sea verdadera y A falsa. Cuando A es una consecuencia semántica de $Γ$ en un lenguaje L, se escribe: $\Gamma \models_L A$ .
A es una fórmula lógicamente válida si y sólo si A es una consecuencia semántica del conjunto vacío. Cuando A es una fórmula lógicamente válida de un lenguaje L, se escribe: $\models_L A$ .

Tablas de verdad

Artículo principal: Tablas de verdad

La tabla de verdad de una fórmula es una tabla en la que se presentan todas las posibles interpretaciones de las variables proposicionales que constituye la fórmula y el valor de verdad de la fórmula completa para cada interpretación. Por ejemplo, la tabla de verdad para la fórmula $\neg (p \or q) \to (p \to r)$ sería:

$\begin{array}{|c|c|c||c|c|c|c|} p & q & r & (p \or q) & \neg (p \or q) & (p \to r) & \neg (p \or q) \to (p \to r) \\ \hline V & V & V & V & F & V & V \\ V & V & F & V & F & F & V \\ V & F & V & V & F & V & V \\ V & F & F & V & F & F & V \\ F & V & V & V & F & V & V \\ F & V & F & V & F & V & V \\ F & F & V & F & V & V & V \\ F & F & F & F & V & V & V \\ \hline \end{array}$

Como se ve, esta fórmula tiene 2ⁿ interpretaciones posibles —una por cada línea de la tabla—, donde n es el número de variables proposicionales (en este caso 3, es decir p, q, r) , y resulta ser una tautología, es decir que bajo todas las interpretaciones posibles de las variables proposicionales, el valor de verdad de la fórmula completa termina siendo V.

Formas normales

A menudo es necesario transformar una fórmula en otra, sobre todo transformar una fórmula a su forma normal. Esto se consigue transformando la fórmula en otra equivalente y repitiendo el proceso hasta conseguir una fórmula que sólo use los conectivos básicos ( $\and, \or, \neg$ ). Para lograr esto se utilizan las equivalencias lógicas:

$(p \to q) \leftrightarrow (\neg p \or q)$

$(p \leftrightarrow q) \leftrightarrow [(\neg p \or q) \and (\neg q \or p)]$

Por ejemplo, considérese la siguiente fórmula:

$(p \to q) \and (\neg q \leftrightarrow p)$

La misma puede desarrollarse así:

$(\neg p \or q) \and (q \or p) \and (\neg p \or \neg q)$

Se dice que una fórmula está en forma normal disyuntiva (FND) si y sólo si tiene la siguiente forma:

$A_1 \or A_2 \or ... \or A_n$

donde cada A es una conjunción de fórmulas. Por ejemplo, la siguiente fórmula está en forma normal disyuntiva:

$p \or (q \and s) \or (\neg q \and p)$

Se dice que una fórmula está en forma normal conjuntiva (FNC) si y sólo si tiene la siguiente forma:

$A_1 \and A_2 \and ... \and A_n$

donde cada A es una disjunción de fórmulas. Por ejemplo, la siguiente fórmula está en forma normal conjuntiva:

$p \and (q \or s) \and (\neg q \or p)$

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

$\neg (A \or B) \leftrightarrow (\neg A \and \neg B)$

$\neg (A \and B) \leftrightarrow (\neg A \or \neg B)$

Las FNC y FND son mutuamente duales. La demostración hace uso de las leyes de De Morgan y de la propiedad distributiva de la conjunción y la disyunción. Se debe cumplir que:

$\neg [(A_1 \and B_1) \or (A_2 \and B_2) \or ... \or (A_n \and B_n)] \leftrightarrow [(\neg A_1 \or \neg B_1) \and (\neg A_2 \or \neg B_2) \and ... \and (\neg A_n \or \neg B_n)]$

Y viceversa:

$\neg [(A_1 \or B_1) \and (A_2 \or B_2) \and ... \and (A_n \or B_n)] \leftrightarrow [(\neg A_1 \and \neg B_1) \or (\neg A_2 \and \neg B_2) \or ... \or (\neg A_n \and \neg B_n)]$

La lógica proposicional y la computación

Debido a que los computadores trabajan con información binaria, la herramienta matemática adecuada para el análisis y diseño de su funcionamiento es el Álgebra de Boole. El Álgebra de Boole fue desarrollada inicialmente para el estudio de la lógica. Ha sido a partir de 1938, fecha en que Claude Shannon publicó un libro llamado "Análisis simbólico de circuitos con relés", estableciendo los primeros conceptos de la actual teoría de la conmutación, cuando se ha producido un aumento considerable en el número de trabajos de aplicación del Álgebra de Boole a los computadores digitales. Hoy en día, esta herramienta resulta fundamental para el desarrollo de los computadores ya que, con su ayuda, el análisis y síntesis de combinaciones complejas de circuitos lógicos puede realizarse con rapidez.

Aristóteles con respecto al estudio de la lógica

La lógica es conocida como una de las ciencias más antiguas, tanto es así que se le atribuye a Aristóteles la paternidad de esta disciplina. Partiendo de que corresponde a Aristóteles haber sido el primero en tratar con todo detalle la lógica, se le considera pues ser su fundador. En un principio se llamó Analítica, en virtud del título de las obras en que trató los problemas lógicos. Más tarde los escritos de Aristóteles relativos a estos eventos fueron recopilados por sus discípulos con el título de Organon, por considerar que la lógica era un instrumento para el conocimiento de la verdad.

Aristóteles se planteo cómo es posible probar y demostrar que un conocimiento es verdadero, es decir, que tiene una validez universal. Aristóteles encuentra el fundamento de la demostración en la deducción, procedimiento que consiste en derivar un hecho particular de algo universal. La forma en que se afecta esa derivación es el silogismo, por cuya razón la silogística llega a ser el centro de la lógica aristotélica.

Véase también

Notas y referencias

↑ Simon Blackburn, ed., «propositional calculus» (en inglés), 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

Bibliografía adicional

Enderton, H. B. (1972). A Mathematical Introduction to Logic. Academic Press.
Hamilton, A. G. (1981). Lógica para matemáticos. Paraningo.
Mendelson, E. (1997). Introduction to Mathematical Logic (4ª edición). Chapman and May.
Pla, J. (1991). Lliçons de lógica matemática. P.P.U..
Badesa, C.; Jané, I.; Jansana, R. (1998). Elementos de lógica formal. Ariel.
Barnes, D. W.; Mack, J. M. (1978). Una introducción algebraica a la lógica matemática. Eunibar.
Bridge, J. (1977). Beginning Model Theory. Oxford University Pres.
Ershov, Y.; Paliutin, E. (1990). Lógica matemática. Mir.
Hofstadter, D. (1987). Gödel, Escher, Bach: un Eterno y Grácil Bucle. Tusquets Editores.
Jané, I. (1989). Álgebras de Boole y lógica. Publicaciones U.B..
Monk, J. D. (1976). Mathematical Logic. Springer-Verlag.
Nidditch, P. H. (1978). El desarrollo de la lógica matemática. Cátedra.
Van Dalen, D. (1983). Logic and Structure (2ª edición). Universitext, Springer-Verlag.

Enlaces externos

Introducción a la lógica proposicional

Categorías:

Sistemas lógicos
Lógica proposicional

Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… … Wikipedia Español
Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… … Wikipedia Español
Lógica modal — Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.[1] Los operadores modales son expresiones que califican la verdad de los juicios.[1] Por ejemplo, en la oración es… … Wikipedia Español
Lógica — (Del lat. logica < gr. logike.) ► sustantivo femenino 1 LÓGICA Ciencia que expone las leyes, argumentaciones y formas que dan validez y consistencia al conocimiento científico. 2 Capacidad para actuar y tomar decisiones de forma acertada: ■ si … Enciclopedia Universal
Lógica cuántica — En física, la lógica cuántica es el conjunto de reglas algebraicas que rigen las operaciones para combinar y los predicados para relacionar proposiciones asociadas a acontecimientos físicos que se observan a escalas atómicas. Ejemplos de tales… … Wikipedia Español
Lógica intensional — La lógica intensional es un sistema formal en donde los aspectos intensionales del lenguaje pueden ser representados.[1] Para entender lo que son estos aspectos intensionales, considérese el siguiente famoso ejemplo: la estrella matutina y la… … Wikipedia Español
Lógica de clases — La lógica de clases considera la proposición considerando la pertenencia o no pertenencia de un elemento o individuo a una determinada clase. Es la interpretación de una proposición o enunciado lingüístico bajo la formalización de la teoría de… … Wikipedia Español
lógica modal — Sistema formal que incorpora modalidades como necesidad, posibilidad, imposibilidad, contingencia, implicación estricta y otros conceptos íntimamente relacionados. La manera más directa de construir una lógica modal es agregar a un sistema de… … Enciclopedia Universal
Lógica matemática — La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechas conexiones con la… … Wikipedia Español
Lógica probabilística — El objetivo de una lógica probabilística (o la lógica de probabilidad) debe combinar la capacidad de teoría de probabilidad para manejar la incertidumbre con la capacidad de lógica deductiva para explotar la estructura. El resultado es un… … Wikipedia Español

Los diccionarios y las enciclopedias sobre el Académico

Lógica proposicional

Contenido

Introducción

Conectivas lógicas

Límites de la lógica proposicional

Dos sistemas formales de lógica proposicional

Sistema axiomático

Alfabeto

Gramática

Axiomas

Reglas de inferencia

Ejemplo de una demostración

Deducción natural

Ejemplo de una demostración

Lenguaje formal en la notación BNF

Semántica

Tablas de verdad

Formas normales

La lógica proposicional y la computación

Aristóteles con respecto al estudio de la lógica

Véase también

Notas y referencias

Bibliografía adicional

Enlaces externos

Mira otros diccionarios:

Compartir el artículo y extractos

Los diccionarios y las enciclopedias sobre el Académico

Wikipedia Español

Lógica proposicional

Contenido

Introducción

Conectivas lógicas

Límites de la lógica proposicional

Dos sistemas formales de lógica proposicional

Sistema axiomático

Alfabeto

Gramática

Axiomas

Reglas de inferencia

Ejemplo de una demostración

Deducción natural

Ejemplo de una demostración

Lenguaje formal en la notación BNF

Semántica

Tablas de verdad

Formas normales

La lógica proposicional y la computación

Aristóteles con respecto al estudio de la lógica

Véase también

Notas y referencias

Bibliografía adicional

Enlaces externos

Mira otros diccionarios:

Compartir el artículo y extractos

Link directo