Lgica proposicional

Reglas de transformacin
Lgica proposicional
Reglas de inferencia
Modus tollendo tollens / ponens
Modus ponendo ponens / tollens
Introduccin / eliminacin del bicondicional
Introduccin / eliminacin de la conjuncin
Introduccin / eliminacin de la disyuncin
Silogismo disyuntivo / hipottico
Dilema constructivo / destructivo
Absorcin
Reglas de reemplazo
Asociatividad Conmutatividad Distributividad Doble negacin Leyes de De
Morgan Transposicin Implicacin material Exportacin Tautologa
Introduccin de la negacin
Lgica predicativa
Generalizacin / instanciacin universal
Generalizacin / instanciacin existencial
Lgica modal
vde
La lgica proposicional o lgica de orden cero es un sistema formal cuyos
elementos ms simples representan proposiciones, y cuyas constantes
lgicas, llamadas conectivas lgicas, representan operaciones sobre
proposiciones, capaces de formar otras proposiciones de mayor
complejidad.1

La lgica proposicional trata con sistemas lgicos que carecen de

cuantificadores, 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.2

ndice [ocultar]
1

Introduccin

1.1

Conectivas lgicas

1.2

Leyes notables en lgica

1.3

Lmites de la lgica proposicional

Dos sistemas formales de lgica proposicional

2.1

Sistema axiomtico

2.1.1 Alfabeto
2.1.2 Gramtica
2.1.3 Axiomas
2.1.4 Reglas de inferencia
2.2

Deduccin natural

Formas de argumentos bsicas y derivadas

3.1

Ejemplo de una demostracin

Lenguaje formal en la notacin BNF

Semntica

5.1

Tablas de verdad

Formas normales

La lgica proposicional y la computacin

Aristteles con respecto al estudio de la lgica

Vase tambin

10

Notas y referencias

10.1 Bibliografa
10.2 Enlaces externos
Introduccin[editar]
Considrese el siguiente argumento:

Maana es mircoles o maana es jueves.

Maana no es jueves.
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 permanece vlido. 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 cambia por
otra, entonces los argumentos podran dejar de ser vlidos. 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 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:

poq
No q
Por lo tanto, p
Y el tercer argumento, a pesar de no ser vlido, puede reescribirse as:

Ni p ni q
No q
Por lo tanto, p
Conectivas lgicas[editar]
Artculo principal: Conectiva lgica
Conectivas lgicas
Hasse diagram of the 16 logical connectives
Tautologa {\displaystyle \top } {\displaystyle \top }
Conjuncin opuesta {\displaystyle \uparrow } \uparrow

Implicacin opuesta {\displaystyle \leftarrow } \leftarrow

Implicacin {\displaystyle \Rightarrow } \Rightarrow
Disyuncin {\displaystyle \lor } {\displaystyle \lor }
Negacin {\displaystyle \neg } \neg
Disyuncin exclusiva {\displaystyle \nleftrightarrow } {\displaystyle
\nleftrightarrow }
Bicondicional {\displaystyle \leftrightarrow } \leftrightarrow
Afirmacin
Disyuncin opuesta {\displaystyle \downarrow } \downarrow
Adjuncin opuesta {\displaystyle \nleftarrow } {\displaystyle \nleftarrow }
Adjuncin {\displaystyle \nrightarrow } {\displaystyle \nrightarrow }
Conjuncin {\displaystyle \land } \land
Contradiccin {\displaystyle \bot } \bot
vde
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 en
lenguaje formal.

Conectiva

Expresin en el

lenguaje natural

Ejemplo

Smbolo en

este artculo Smbolos

alternativos
Negacin

no

No est lloviendo. {\displaystyle \neg \,}

{\displaystyle \neg \,}

Conjuncin y

{\displaystyle \sim \,} {\displaystyle \sim \,}

Est lloviendo y est nublado.

{\displaystyle \land }

\land {\displaystyle \And \,} {\displaystyle \And \,} {\displaystyle .}

{\displaystyle .}

Disyuncin o

Est lloviendo o est soleado.

{\displaystyle \lor }

{\displaystyle \lor }
Condicional material
da.

si... entonces

Si est soleado, entonces es de

{\displaystyle \to \,} {\displaystyle \to \,}

{\displaystyle \supset }

{\displaystyle \supset }
Bicondicional

si y slo si

Est nublado si y slo si hay nubes visibles.

{\displaystyle \leftrightarrow } \leftrightarrow

{\displaystyle

\equiv \,} {\displaystyle \equiv \,}

Disyuncin opuesta

ni... ni Ni est soleado ni est nublado.

{\displaystyle \downarrow \,} {\displaystyle \downarrow \,}

Disyuncin excluyente
nublado.

o bien... o bien

O bien est soleado, o bien est

{\displaystyle \nleftrightarrow } {\displaystyle

\nleftrightarrow } {\displaystyle \oplus ,\not \equiv ,W} {\displaystyle

\oplus ,\not \equiv ,W}
En la lgica proposicional, las conectivas lgicas se tratan 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

Disyuncin exclusiva
{\displaystyle {\begin{array}{c||c}\phi &\neg \phi \\\hline
V&F\\F&V\\\end{array}}} {\displaystyle {\begin{array}{c||c}\phi &\neg \phi
\\\hline V&F\\F&V\\\end{array}}}

{\displaystyle {\begin{array}{c|c||c}\phi &\psi &\phi \land \psi \\\hline

V&V&V\\V&F&F\\F&V&F\\F&F&F\\\end{array}}} {\displaystyle
{\begin{array}{c|c||c}\phi &\psi &\phi \land \psi \\\hline
V&V&V\\V&F&F\\F&V&F\\F&F&F\\\end{array}}}

{\displaystyle {\begin{array}{c|c||c}\phi &\psi &\phi \lor \psi \\\hline

V&V&V\\V&F&V\\F&V&V\\F&F&F\\\end{array}}} {\displaystyle
{\begin{array}{c|c||c}\phi &\psi &\phi \lor \psi \\\hline
V&V&V\\V&F&V\\F&V&V\\F&F&F\\\end{array}}}

{\displaystyle {\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}}} {\displaystyle
{\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}}}

{\displaystyle {\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}}} {\displaystyle
{\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}}}

{\displaystyle {\begin{array}{c|c||c}\phi &\psi &\phi \nleftrightarrow

\psi \\\hline V&V&F\\V&F&V\\F&V&V\\F&F&F\\\end{array}}} {\displaystyle
{\begin{array}{c|c||c}\phi &\psi &\phi \nleftrightarrow \psi \\\hline
V&V&F\\V&F&V\\F&V&V\\F&F&F\\\end{array}}}

Leyes notables en lgica[editar]

Entre las reglas de la lgica proposicional clsica algunas de la ms notables
son listadas a continuacin:

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[editar]

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 se
puede probar por la lgica proposicional. Por ejemplo, considrese el
siguiente argumento:

Todos los hombres son mortales.

Scrates es un hombre.
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:

q
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[editar]

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[editar]
Alfabeto[editar]
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: {\displaystyle \neg ,\land ,\lor ,\to
,\leftrightarrow } {\displaystyle \neg ,\land ,\lor ,\to ,\leftrightarrow }
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[editar]
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:

Las variables proposicionales del alfabeto de L son frmulas bien formadas.

Si {\displaystyle \phi \,} \phi \, es una frmula bien formada de L, entonces
{\displaystyle \neg \phi \,} {\displaystyle \neg \phi \,} tambin lo es.
Si {\displaystyle \phi \,} \phi \, y {\displaystyle \psi \,} \psi \, son frmulas
bien formadas de L, entonces {\displaystyle (\phi \land \psi )} {\displaystyle
(\phi \land \psi )}, {\displaystyle (\phi \lor \psi )} {\displaystyle (\phi \lor
\psi )}, {\displaystyle (\phi \to \psi )\,} {\displaystyle (\phi \to \psi )\,} y
{\displaystyle (\phi \leftrightarrow \psi )} {\displaystyle (\phi
\leftrightarrow \psi )} tambin lo son.
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:

{\displaystyle p\,} {\displaystyle p\,}

{\displaystyle \neg \neg \neg q\,} {\displaystyle \neg \neg \neg q\,}
{\displaystyle (p\land q)} {\displaystyle (p\land q)}
{\displaystyle \neg (p\land q)} {\displaystyle \neg (p\land q)}
{\displaystyle (p\leftrightarrow \neg p)} {\displaystyle (p\leftrightarrow \neg
p)}
{\displaystyle ((p\to q)\land p)} {\displaystyle ((p\to q)\land p)}

{\displaystyle (\neg (p\land (q\lor r))\lor s)} {\displaystyle (\neg (p\land

(q\lor r))\lor s)}
Y los siguientes son ejempos de frmulas mal formadas[cita requerida]:

Frmula

Error Correccin

{\displaystyle (p)\,} {\displaystyle (p)\,}

Sobran parntesis

{\displaystyle p\,} {\displaystyle p\,}

{\displaystyle \neg (p)\,} {\displaystyle \neg (p)\,} Sobran parntesis
{\displaystyle \neg p\,} {\displaystyle \neg p\,}
{\displaystyle (\neg p)\,} {\displaystyle (\neg p)\,} Sobran parntesis
{\displaystyle \neg p\,} {\displaystyle \neg p\,}
{\displaystyle p\to q\,} {\displaystyle p\to q\,}

Faltan parntesis

{\displaystyle (p\to q)\,} {\displaystyle (p\to q)\,}

{\displaystyle (p\land q\to r)} {\displaystyle (p\land q\to r)}
parntesis

Faltan

{\displaystyle ((p\land q)\to r)\,} {\displaystyle ((p\land q)\to

r)\,}
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:

{\displaystyle p\land q} {\displaystyle p\land q}

{\displaystyle \neg p\to q\,} {\displaystyle \neg p\to q\,}
{\displaystyle (p\land q)\lor \neg q} {\displaystyle (p\land q)\lor \neg q}
{\displaystyle (p\leftrightarrow q)\leftrightarrow (q\leftrightarrow p)}
{\displaystyle (p\leftrightarrow q)\leftrightarrow (q\leftrightarrow p)}
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

{\displaystyle p\land q\to r\,} {\displaystyle p\land q\to r\,}

{\displaystyle (p\land q)\to r\,} {\displaystyle (p\land q)\to r\,}
{\displaystyle p\land (q\to r)\,} {\displaystyle p\land (q\to r)\,}
{\displaystyle \neg p\leftrightarrow q\lor r\,} {\displaystyle \neg
p\leftrightarrow q\lor r\,} {\displaystyle \neg p\leftrightarrow (q\lor r)\,}
{\displaystyle \neg p\leftrightarrow (q\lor r)\,}

{\displaystyle (\neg

p\leftrightarrow q)\lor r\,} {\displaystyle (\neg p\leftrightarrow q)\lor r\,}

{\displaystyle p\land q\leftrightarrow r\lor s\,} {\displaystyle p\land
q\leftrightarrow r\lor s\,} {\displaystyle (p\land q)\leftrightarrow (r\lor s)\,}
{\displaystyle (p\land q)\leftrightarrow (r\lor s)\,}

{\displaystyle (p\land

(q\leftrightarrow r))\lor s\,} {\displaystyle (p\land (q\leftrightarrow r))\lor s\,}

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[editar]
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:

{\displaystyle (\phi \to (\psi \to \phi ))\,} {\displaystyle (\phi \to (\psi \to
\phi ))\,}

{\displaystyle ((\phi \to (\psi \to \chi ))\to ((\phi \to \psi )\to (\phi \to \chi )))\,}
{\displaystyle ((\phi \to (\psi \to \chi ))\to ((\phi \to \psi )\to (\phi \to \chi )))\,}
{\displaystyle ((\neg \phi \to \neg \psi )\to (\psi \to \phi ))\,} {\displaystyle
((\neg \phi \to \neg \psi )\to (\psi \to \phi ))\,}
Reglas de inferencia[editar]
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:

{\displaystyle (\phi \to \psi ),\phi \vdash \psi } {\displaystyle (\phi \to
\psi ),\phi \vdash \psi }
Recordando que {\displaystyle \phi \,} \phi \, y {\displaystyle \psi \,} \psi \,
no son frmulas, sino metavariables que pueden ser reemplazadas por
cualquier frmula bien formada.

Deduccin natural[editar]
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
De {\displaystyle (p\to q)} {\displaystyle (p\to q)} y {\displaystyle (p\to \neg
q)} {\displaystyle (p\to \neg q)}, se infiere {\displaystyle \neg p} \neg p.

Esto es, {\displaystyle \{(p\to q),(p\to \neg q)\}\vdash \neg p} {\displaystyle

\{(p\to q),(p\to \neg q)\}\vdash \neg p}.
Eliminacin de la negacin
De {\displaystyle \neg p} \neg p, se infiere {\displaystyle (p\to r)}
{\displaystyle (p\to r)}.
Esto es, {\displaystyle \{\neg p\}\vdash (p\to r)} {\displaystyle \{\neg
p\}\vdash (p\to r)}.
Eliminacin de la doble negacin
De {\displaystyle \neg \neg p} {\displaystyle \neg \neg p}, se infiere
{\displaystyle p} p.
Esto es, {\displaystyle \neg \neg p\vdash p} {\displaystyle \neg \neg
p\vdash p}.
Introduccin de la conjuncin
De {\displaystyle p} p y {\displaystyle q} q, se infiere {\displaystyle (p\land
q)} {\displaystyle (p\land q)}.
Esto es, {\displaystyle \{p,q\}\vdash (p\land q)} {\displaystyle \{p,q\}\vdash
(p\land q)}.
Eliminacin de la conjuncin
De {\displaystyle (p\land q)} {\displaystyle (p\land q)}, se infiere
{\displaystyle p} p.
De {\displaystyle (p\land q)} {\displaystyle (p\land q)}, se infiere
{\displaystyle q} q.
Esto es, {\displaystyle (p\land q)\vdash p} {\displaystyle (p\land q)\vdash p}
y {\displaystyle (p\land q)\vdash q} {\displaystyle (p\land q)\vdash q}.
Introduccin de la disyuncin
De {\displaystyle p} p, se infiere {\displaystyle (p\lor q)} {\displaystyle
(p\lor q)}.
Esto es, {\displaystyle p\vdash (p\lor q)} {\displaystyle p\vdash (p\lor q)} y
{\displaystyle q\vdash (p\lor q)} {\displaystyle q\vdash (p\lor q)}.

Eliminacin de la disyuncin
De {\displaystyle (p\lor q)} {\displaystyle (p\lor q)} y {\displaystyle (p\to r)}
{\displaystyle (p\to r)} y {\displaystyle (q\to r)} {\displaystyle (q\to r)}, se
infiere {\displaystyle r} r.
Esto es, {\displaystyle \{p\lor q,p\to r,q\to r\}\vdash r} {\displaystyle \{p\lor
q,p\to r,q\to r\}\vdash r}.
Introduccin del bicondicional
De {\displaystyle (p\to q)} {\displaystyle (p\to q)} y {\displaystyle (q\to p)}
{\displaystyle (q\to p)}, se infiere {\displaystyle (p\leftrightarrow q)}
{\displaystyle (p\leftrightarrow q)}.
Esto es, {\displaystyle \{p\to q,q\to p\}\vdash (p\leftrightarrow q)}
{\displaystyle \{p\to q,q\to p\}\vdash (p\leftrightarrow q)}.
Eliminacin del bicondicional
De {\displaystyle (p\leftrightarrow q)} {\displaystyle (p\leftrightarrow q)}, se
infiere {\displaystyle (p\to q)} {\displaystyle (p\to q)}.
De {\displaystyle (p\leftrightarrow q)} {\displaystyle (p\leftrightarrow q)}, se
infiere {\displaystyle (q\to p)} {\displaystyle (q\to p)}.
Esto es, {\displaystyle (p\leftrightarrow q)\vdash (p\to q)} {\displaystyle
(p\leftrightarrow q)\vdash (p\to q)} y {\displaystyle (p\leftrightarrow
q)\vdash (q\to p)} {\displaystyle (p\leftrightarrow q)\vdash (q\to p)}.
Modus ponens (eliminacin del condicional)
De {\displaystyle p} p y {\displaystyle (p\to q)} {\displaystyle (p\to q)}, se
infiere {\displaystyle q} q.
Esto es, {\displaystyle \{p,p\to q\}\vdash q} {\displaystyle \{p,p\to
q\}\vdash q}.
Prueba condicional (introduccin del condicional)
De [aceptando que {\displaystyle p} p permite una prueba de {\displaystyle
q} q], se infiere {\displaystyle (p\to q)} {\displaystyle (p\to q)}.
Esto es, {\displaystyle (p\vdash q)\vdash (p\to q)} {\displaystyle (p\vdash
q)\vdash (p\to q)}.

Formas de argumentos bsicas y derivadas[editar]

Nombre

Consecuente

Modus ponens

Descripcin

{\displaystyle ((p\to q)\land p)\vdash q} {\displaystyle

((p\to q)\land p)\vdash q}Si {\displaystyle p} p entonces {\displaystyle q} q;

{\displaystyle p} p; por lo tanto {\displaystyle q} q
Modus tollens

{\displaystyle ((p\to q)\land \neg q)\vdash \neg p}

{\displaystyle ((p\to q)\land \neg q)\vdash \neg p} Si {\displaystyle p} p

entonces {\displaystyle q} q; no {\displaystyle q} q; por lo tanto no
{\displaystyle p} p
Silogismo hipottico

{\displaystyle ((p\to q)\land (q\to r))\vdash (p\to

r)} {\displaystyle ((p\to q)\land (q\to r))\vdash (p\to r)}

Si {\displaystyle

p} p entonces {\displaystyle q} q; si {\displaystyle q} q entonces

{\displaystyle r} r; por lo tanto, si {\displaystyle p} p entonces
{\displaystyle r} r
Silogismo disyuntivo

{\displaystyle ((p\lor q)\land \neg p)\vdash q}

{\displaystyle ((p\lor q)\land \neg p)\vdash q}

Either {\displaystyle p} p

o {\displaystyle q} q, o both; no {\displaystyle p} p; por lo tanto,

{\displaystyle q} q
Dilema constructivo

{\displaystyle ((p\to q)\land (r\to s)\land (p\lor

r))\vdash (q\lor s)} {\displaystyle ((p\to q)\land (r\to s)\land (p\lor r))\vdash
(q\lor s)}

Si {\displaystyle p} p entonces {\displaystyle q} q; y si

{\displaystyle r} r entonces {\displaystyle s} s; pero {\displaystyle p} p o

{\displaystyle r} r; por lo tanto {\displaystyle q} q o {\displaystyle s} s
Dilema destructivo {\displaystyle ((p\to q)\land (r\to s)\land (\neg q\lor \neg
s))\vdash (\neg p\lor \neg r)} {\displaystyle ((p\to q)\land (r\to s)\land (\neg
q\lor \neg s))\vdash (\neg p\lor \neg r)}

Si {\displaystyle p} p entonces

{\displaystyle q} q; y si {\displaystyle r} r entonces {\displaystyle s} s; pero

no {\displaystyle q} q o no {\displaystyle s} s; por lo tanto no {\displaystyle
p} p o no {\displaystyle r} r
Dilema bidireccional

{\displaystyle ((p\to q)\land (r\to s)\land (p\lor \neg

s))\vdash (q\lor \neg r)} {\displaystyle ((p\to q)\land (r\to s)\land (p\lor \neg
s))\vdash (q\lor \neg r)} Si {\displaystyle p} p entonces {\displaystyle q} q;
y si {\displaystyle r} r entonces {\displaystyle s} s; but {\displaystyle p} p o

no {\displaystyle s} s; por lo tanto {\displaystyle q} q o no {\displaystyle r}

r
Simplificacin

{\displaystyle (p\land q)\vdash p} {\displaystyle (p\land

q)\vdash p} {\displaystyle p} p y {\displaystyle q} q son verdaderos; por lo

tanto {\displaystyle p} p es verdadero
Conjuncin {\displaystyle p,q\vdash (p\land q)} {\displaystyle p,q\vdash
(p\land q)} {\displaystyle p} p y {\displaystyle q} q son verdaderos
separadamente; entonces son verdaderos conjuntamente.
Adicin
q)}

{\displaystyle p\vdash (p\lor q)} {\displaystyle p\vdash (p\lor

{\displaystyle p} p es verdadero; por lo tanto la disyuncin

( {\displaystyle p} p o {\displaystyle q} q) es verdadera

Composicin{\displaystyle ((p\to q)\land (p\to r))\vdash (p\to (q\land r))}
{\displaystyle ((p\to q)\land (p\to r))\vdash (p\to (q\land r))}

Si

{\displaystyle p} p entonces {\displaystyle q} q; y si {\displaystyle p} p

entonces {\displaystyle r} r; por lo tanto si {\displaystyle p} p es verdadero
entonces {\displaystyle q} q y {\displaystyle r} r son verdaderos
Ley de De Morgan (1)

{\displaystyle \neg (p\land q)\vdash (\neg p\lor

\neg q)} {\displaystyle \neg (p\land q)\vdash (\neg p\lor \neg q)}

La

negacin de ( {\displaystyle p} p y {\displaystyle q} q) es equivalente a (no

{\displaystyle p} p o no {\displaystyle q} q)
Ley de De Morgan (2)

{\displaystyle \neg (p\lor q)\vdash (\neg p\land

\neg q)} {\displaystyle \neg (p\lor q)\vdash (\neg p\land \neg q)}

La

negacin de ( {\displaystyle p} p o {\displaystyle q} q) es equivalente a (no

{\displaystyle p} p y no {\displaystyle q} q)
Conmutacin (1)

{\displaystyle (p\lor q)\vdash (q\lor p)} {\displaystyle

(p\lor q)\vdash (q\lor p)} ( {\displaystyle p} p o {\displaystyle q} q) es

equivalente a ( {\displaystyle q} q o {\displaystyle p} p)
Conmutacin (2)

{\displaystyle (p\land q)\vdash (q\land p)} {\displaystyle

(p\land q)\vdash (q\land p)}

( {\displaystyle p} p y {\displaystyle q} q)

es equivalente a ( {\displaystyle q} q y {\displaystyle p} p)

Conmutacin (3)

{\displaystyle (p\leftrightarrow q)\vdash (q\leftrightarrow

p)} {\displaystyle (p\leftrightarrow q)\vdash (q\leftrightarrow p)}

( {\displaystyle p} p es equivalente a {\displaystyle q} q) es

equivalente a ( {\displaystyle q} q es equivalente a {\displaystyle p} p)
Asociacin (1)

{\displaystyle (p\lor (q\lor r))\vdash ((p\lor q)\lor r)}

{\displaystyle (p\lor (q\lor r))\vdash ((p\lor q)\lor r)}

{\displaystyle p} p

o ( {\displaystyle q} q o {\displaystyle r} r) es equivalente a ( {\displaystyle

p} p o {\displaystyle q} q) o {\displaystyle r} r
Asociacin (2)

{\displaystyle (p\land (q\land r))\vdash ((p\land q)\land

r)} {\displaystyle (p\land (q\land r))\vdash ((p\land q)\land r)}

{\displaystyle p} p y ( {\displaystyle q} q y {\displaystyle r} r) es
equivalente a ( {\displaystyle p} p y {\displaystyle q} q) y {\displaystyle r}
r
Distribucin (1)

{\displaystyle (p\land (q\lor r))\vdash ((p\land q)\lor

(p\land r))} {\displaystyle (p\land (q\lor r))\vdash ((p\land q)\lor (p\land r))}
{\displaystyle p} p y ( {\displaystyle q} q o {\displaystyle r} r) es
equivalente a ( {\displaystyle p} p y {\displaystyle q} q) o ( {\displaystyle
p} p y {\displaystyle r} r)
Distribucin (2)

{\displaystyle (p\lor (q\land r))\vdash ((p\lor q)\land (p\lor

r))} {\displaystyle (p\lor (q\land r))\vdash ((p\lor q)\land (p\lor r))}

{\displaystyle p} p o ( {\displaystyle q} q y {\displaystyle r} r) es
equivalente a ( {\displaystyle p} p o {\displaystyle q} q) y ( {\displaystyle
p} p o {\displaystyle r} r)
Doble negacin

{\displaystyle p\vdash \neg \neg p} {\displaystyle

p\vdash \neg \neg p}

{\displaystyle p} p es equivalente a la negacin de

no {\displaystyle p} p
Transposicin

{\displaystyle (p\to q)\vdash (\neg q\to \neg p)}

{\displaystyle (p\to q)\vdash (\neg q\to \neg p)}

Si {\displaystyle p} p

entonces {\displaystyle q} q es equivalente a si no {\displaystyle q} q

entonces no {\displaystyle p} p
Implicacin material

{\displaystyle (p\to q)\vdash (\neg p\lor q)}

{\displaystyle (p\to q)\vdash (\neg p\lor q)} Si {\displaystyle p} p entonces

{\displaystyle q} q es equivalente a no {\displaystyle p} p o {\displaystyle
q} q

Equivalencia material (1) {\displaystyle (p\leftrightarrow q)\vdash ((p\to

q)\land (q\to p))} {\displaystyle (p\leftrightarrow q)\vdash ((p\to q)\land (q\to
p))}

( {\displaystyle p} p si y solo si {\displaystyle q} q) es equivalente a

(si {\displaystyle p} p es verdadero entonces {\displaystyle q} q es

verdadero) y (si {\displaystyle q} q es verdadero entonces {\displaystyle p}
p es verdadero)
Equivalencia material (2) {\displaystyle (p\leftrightarrow q)\vdash ((p\land
q)\lor (\neg p\land \neg q))} {\displaystyle (p\leftrightarrow q)\vdash ((p\land
q)\lor (\neg p\land \neg q))}

( {\displaystyle p} p si {\displaystyle q} q)

es equivalente a cualquiera de los dos ( {\displaystyle p} p y {\displaystyle

q} q son verdaderos) o (tanto {\displaystyle p} p como {\displaystyle q} q
son falsos)
Equivalencia material (3) {\displaystyle (p\leftrightarrow q)\vdash ((p\lor
\neg q)\land (\neg p\lor q))} {\displaystyle (p\leftrightarrow q)\vdash
((p\lor \neg q)\land (\neg p\lor q))}

( {\displaystyle p} p si {\displaystyle

q} q) es equivalente a: tanto ( {\displaystyle p} p como no {\displaystyle q}

q son verdaderos) y (no {\displaystyle p} p o {\displaystyle q} q es
verdadero)
Exportacin3

{\displaystyle ((p\land q)\to r)\vdash (p\to (q\to r))}

{\displaystyle ((p\land q)\to r)\vdash (p\to (q\to r))}

desde (si

{\displaystyle p} p y {\displaystyle q} q son verdaderos, entonces

{\displaystyle r} r es verdadero) se puede probar que (si {\displaystyle q} q
es verdadero entonces {\displaystyle r} r es verdadero, si {\displaystyle p}
p es verdadero)
Importacin {\displaystyle (p\to (q\to r))\vdash ((p\land q)\to r)}
{\displaystyle (p\to (q\to r))\vdash ((p\land q)\to r)}

{\displaystyle p} p

implica que {\displaystyle q} q implica {\displaystyle r} r es equivalente a

que {\displaystyle p} p y {\displaystyle q} q implican {\displaystyle r} r
Tautologa (1)
(p\lor p)}

{\displaystyle p\vdash (p\lor p)} {\displaystyle p\vdash

{\displaystyle p} p es verdadero es equivalente a {\displaystyle

p} p es verdadero o {\displaystyle p} p es verdadero

Tautologa (2)

{\displaystyle p\vdash (p\land p)} {\displaystyle p\vdash

(p\land p)} {\displaystyle p} p es verdadero es equivalente a {\displaystyle

p} p es verdadero y {\displaystyle p} p es verdadero

Principio del tercero excluido

{\displaystyle \vdash (p\lor \neg p)}

{\displaystyle \vdash (p\lor \neg p)}

{\displaystyle p} p o no {\displaystyle

p} p es verdadero
Principio de no contradiccin

{\displaystyle \vdash \neg (p\land \neg p)}

{\displaystyle \vdash \neg (p\land \neg p)}

{\displaystyle p} p y no

{\displaystyle p} p es falso
Ejemplo de una demostracin[editar]
Demostrar: {\displaystyle A\to A\,} {\displaystyle A\to A\,}

Una posible prueba de esto (que, aunque vlida, pasa a contener ms pasos
de los necesarios) se puede disponer de la siguiente manera:

Paso Frmula

Razn

{\displaystyle A} APremisa.

{\displaystyle A\lor A} {\displaystyle A\lor A}

Desde (1) por

introduccin de la disyuncin.
3

{\displaystyle (A\lor A)\land A} {\displaystyle (A\lor A)\land A} Desde

(1) y (2) por introduccin de la conjuncin.

4

{\displaystyle A} {\displaystyle A}

Desde (3) por eliminacin de la

conjuncin.
5

{\displaystyle A\vdash A} {\displaystyle A\vdash A}

Resumen de

(1) hasta (4).

6

{\displaystyle \vdash A\to A} {\displaystyle \vdash A\to A}

Desde

(5) por introduccin del condicional. QED

Interpretar {\displaystyle A\vdash A} {\displaystyle A\vdash A} como:
"Asumiendo que {\displaystyle A} A, inferire {\displaystyle A} A". Leer
{\displaystyle \vdash } {\displaystyle \vdash } {\displaystyle A\to A}
{\displaystyle A\to A} como "Suponiendo nada, inferir que {\displaystyle A}
A implica {\displaystyle A} A", o "Es una tautologa que {\displaystyle A} A

implica {\displaystyle A} A", o "Siempre es cierto que {\displaystyle A} A

implica {\displaystyle A} A".

Lenguaje formal en la notacin BNF[editar]

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

{\displaystyle {\begin{array}{rcl}{\rm {\langle

Bicondicional\rangle }}&::=&{\rm {\langle Condicional\rangle \leftrightarrow
\langle Bicondicional\rangle \mid \langle Condicional\rangle }}\\{\rm
{\langle Condicional\rangle }}&::=&{\rm {\langle Conjunci{\acute
{o}}n\rangle \rightarrow \langle Condicional\rangle \mid \langle
Conjunci{\acute {o}}n\rangle }}\\{\rm {\langle Conjunci{\acute
{o}}n\rangle }}&::=&{\rm {\langle Disyunci{\acute {o}}n\rangle \vee
\langle Conjunci{\acute {o}}n\rangle \mid \langle Disyunci{\acute
{o}}n\rangle }}\\{\rm {\langle Disyunci{\acute {o}}n\rangle }}&::=&{\rm
{\langle Literal\rangle \wedge \langle Disyunci{\acute {o}}n\rangle \mid
\langle Literal\rangle }}\\{\rm {\langle Literal\rangle }}&::=&{\rm {\langle
{\acute {A}}tomo\rangle \mid \neg \langle {\acute {A}}tomo\rangle }}\\
{\rm {\langle {\acute {A}}tomo\rangle }}&::=&{\rm {\top \mid \bot \mid
\langle Letra\rangle \mid \langle Agrupaci{\acute {o}}n\rangle }}\\{\rm
{\langle Agrupaci{\acute {o}}n\rangle }}&::=&{\rm {(\langle
Bicondicional\rangle )\mid [\langle Bicondicional\rangle ]\mid \{\langle
Bicondicional\rangle \}}}\end{array}}} {\displaystyle {\begin{array}{rcl}
{\rm {\langle Bicondicional\rangle }}&::=&{\rm {\langle
Condicional\rangle \leftrightarrow \langle Bicondicional\rangle \mid \langle
Condicional\rangle }}\\{\rm {\langle Condicional\rangle }}&::=&{\rm
{\langle Conjunci{\acute {o}}n\rangle \rightarrow \langle Condicional\rangle
\mid \langle Conjunci{\acute {o}}n\rangle }}\\{\rm {\langle
Conjunci{\acute {o}}n\rangle }}&::=&{\rm {\langle Disyunci{\acute
{o}}n\rangle \vee \langle Conjunci{\acute {o}}n\rangle \mid \langle
Disyunci{\acute {o}}n\rangle }}\\{\rm {\langle Disyunci{\acute
{o}}n\rangle }}&::=&{\rm {\langle Literal\rangle \wedge \langle
Disyunci{\acute {o}}n\rangle \mid \langle Literal\rangle }}\\{\rm {\langle

Literal\rangle }}&::=&{\rm {\langle {\acute {A}}tomo\rangle \mid \neg

\langle {\acute {A}}tomo\rangle }}\\{\rm {\langle {\acute {A}}tomo\rangle
}}&::=&{\rm {\top \mid \bot \mid \langle Letra\rangle \mid \langle
Agrupaci{\acute {o}}n\rangle }}\\{\rm {\langle Agrupaci{\acute
{o}}n\rangle }}&::=&{\rm {(\langle Bicondicional\rangle )\mid [\langle
Bicondicional\rangle ]\mid \{\langle Bicondicional\rangle \}}}\end{array}}}
La gramtica anterior define la precedencia de operadores de la siguiente
manera:

Negacin ( {\displaystyle \neg \,} {\displaystyle \neg \,})

Conjuncin ( {\displaystyle \land \,} {\displaystyle \land \,})
Disyuncin ( {\displaystyle \lor \,} {\displaystyle \lor \,})
Condicional material ( {\displaystyle \to \,} {\displaystyle \to \,})
Bicondicional ( {\displaystyle \leftrightarrow } \leftrightarrow)
Semntica[editar]
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, {\displaystyle \Gamma }
\Gamma es un conjunto de frmulas de L, y M es una interpretacin de L,
entonces:

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 satisfacible (o consistente) si y slo si existe al menos una
interpretacin M que asigne el valor de verdad V a A.
{\displaystyle \Gamma } \Gamma es consistente si y slo si existe al menos
una interpretacin que haga verdaderas a todas las frmulas en
{\displaystyle \Gamma } \Gamma.
A es una consecuencia semntica de un conjunto de frmulas
{\displaystyle \Gamma } \Gamma si y slo si no existe interpretacin en la
que todas las formulas que pertenecen a {\displaystyle \Gamma } \Gamma
sean verdaderas y A sea falsa. Cuando A es una consecuencia semntica de
{\displaystyle \Gamma } \Gamma en un lenguaje L, se escribe:
{\displaystyle \Gamma \models _{L}A} {\displaystyle \Gamma \models
_{L}A}.
A es una verdad lgica si y slo si A es una consecuencia semntica del
conjunto vaco. Cuando A es una verdad lgica de un lenguaje L, se escribe:
{\displaystyle \models _{L}A} {\displaystyle \models _{L}A}.
Tablas de verdad[editar]
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 {\displaystyle
\neg (p\lor q)\to (p\to r)} {\displaystyle \neg (p\lor q)\to (p\to r)} sera:

{\displaystyle {\begin{array}{c|c|c||c|c|c|c}p&q&r&(p\lor q)&\neg (p\lor

q)&(p\to r)&\neg (p\lor 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\\\end{array}}} {\displaystyle {\begin{array}{c|c|c||c|c|c|
c}p&q&r&(p\lor q)&\neg (p\lor q)&(p\to r)&\neg (p\lor 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\\\end{array}}}
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[editar]
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 ( {\displaystyle \land ,\lor
,\neg } {\displaystyle \land ,\lor ,\neg }). Para lograr esto se utilizan las
equivalencias lgicas:

{\displaystyle (p\to q)\leftrightarrow (\neg p\lor q)} {\displaystyle (p\to

q)\leftrightarrow (\neg p\lor q)}
{\displaystyle (p\leftrightarrow q)\leftrightarrow [(\neg p\lor q)\land (\neg
q\lor p)]} {\displaystyle (p\leftrightarrow q)\leftrightarrow [(\neg p\lor q)\land
(\neg q\lor p)]}
Por ejemplo, considrese la siguiente frmula:

{\displaystyle (p\to q)\land (\neg q\leftrightarrow p)} {\displaystyle (p\to

q)\land (\neg q\leftrightarrow p)}
La misma puede desarrollarse as:

{\displaystyle (\neg p\lor q)\land (q\lor p)\land (\neg p\lor \neg q)}
{\displaystyle (\neg p\lor q)\land (q\lor p)\land (\neg p\lor \neg q)}
Se dice que una frmula est en forma normal disyuntiva (FND) si y slo si
tiene la siguiente forma:

{\displaystyle A_{1}\lor A_{2}\lor ...\lor A_{n}} {\displaystyle A_{1}\lor

A_{2}\lor ...\lor A_{n}}
donde cada A es una conjuncin de frmulas. Por ejemplo, la siguiente
frmula est en forma normal disyuntiva:

{\displaystyle p\lor (q\land s)\lor (\neg q\land p)} {\displaystyle p\lor (q\land
s)\lor (\neg q\land p)}
Se dice que una frmula est en forma normal conjuntiva (FNC) si y slo si
tiene la siguiente forma:

{\displaystyle A_{1}\land A_{2}\land ...\land A_{n}} {\displaystyle

A_{1}\land A_{2}\land ...\land A_{n}}
donde cada A es una disjuncin de frmulas. Por ejemplo, la siguiente
frmula est en forma normal conjuntiva:

{\displaystyle p\land (q\lor s)\land (\neg q\lor p)} {\displaystyle p\land (q\lor
s)\land (\neg q\lor p)}
Por las leyes de De Morgan, es posible pasar de una forma normal
disyuntiva a una forma normal conjuntiva y viceversa:

{\displaystyle \neg (A\lor B)\leftrightarrow (\neg A\land \neg B)}

{\displaystyle \neg (A\lor B)\leftrightarrow (\neg A\land \neg B)}
{\displaystyle \neg (A\land B)\leftrightarrow (\neg A\lor \neg B)}
{\displaystyle \neg (A\land B)\leftrightarrow (\neg A\lor \neg B)}

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:

{\displaystyle \neg [(A_{1}\land B_{1})\lor (A_{2}\land B_{2})\lor ...\lor

(A_{n}\land B_{n})]\leftrightarrow [(\neg A_{1}\lor \neg B_{1})\land (\neg
A_{2}\lor \neg B_{2})\land ...\land (\neg A_{n}\lor \neg B_{n})]}
{\displaystyle \neg [(A_{1}\land B_{1})\lor (A_{2}\land B_{2})\lor ...\lor
(A_{n}\land B_{n})]\leftrightarrow [(\neg A_{1}\lor \neg B_{1})\land (\neg
A_{2}\lor \neg B_{2})\land ...\land (\neg A_{n}\lor \neg B_{n})]}
Y viceversa:

{\displaystyle \neg [(A_{1}\lor B_{1})\land (A_{2}\lor B_{2})\land ...\land

(A_{n}\lor B_{n})]\leftrightarrow [(\neg A_{1}\land \neg B_{1})\lor (\neg
A_{2}\land \neg B_{2})\lor ...\lor (\neg A_{n}\land \neg B_{n})]}
{\displaystyle \neg [(A_{1}\lor B_{1})\land (A_{2}\lor B_{2})\land ...\land
(A_{n}\lor B_{n})]\leftrightarrow [(\neg A_{1}\land \neg B_{1})\lor (\neg
A_{2}\land \neg B_{2})\lor ...\lor (\neg A_{n}\land \neg B_{n})]}
La lgica proposicional y la computacin[editar]
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[editar]

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 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 plante 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[editar]
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
Razonamiento diagramtico

Notas y referencias[editar]
Volver arriba Simon Blackburn (ed.). propositional calculus. Oxford
Dictionary of Philosophy (en ingls). Oxford University Press. Consultado el
13 de agosto de 2009.
Volver arriba Klement, Kevin C. Propositional Logic. Internet
Encyclopedia of Philosophy (en ingls). Consultado el 6 de febrero de 2012.
Volver arriba Toida, Shunichi (2 de agosto de 2009). Proof of
Implications. CS381 Discrete Structures/Discrete Mathematics Web Course
Material (en ingls). Department Of Computer Science, Old Dominion
University. Consultado el 10 de marzo de 2010.
Bibliografa[editar]
Enderton, H. B. (1972). A Mathematical Introduction to Logic. Academic
Press.
Hamilton, A. G. (1981). Lgica para matemticos. Paraningo.
Mendelson, E. (1997). Introduction to Mathematical Logic (4 edicin).
Chapman and May.
Pla, J. (1991). Llions de lgica matemtica. P.P.U.
Badesa, C.; Jan, I.; Jansana, R. (1998). Elementos de lgica formal. Ariel.
Barnes, D. W.; Mack, J. M. (1978). Una introduccin algebraica a la lgica
matemtica. Eunibar.
Bridge, J. (1977). Beginning Model Theory. Oxford University Pres.
Ershov, Y.; Paliutin, E. (1990). Lgica matemtica. Mir.
Hofstadter, D. (1987). Gdel, Escher, Bach: un Eterno y Grcil Bucle.
Tusquets Editores.
Jan, I. (1989). lgebras de Boole y lgica. Publicaciones U.B.
Monk, J. D. (1976). Mathematical Logic. Springer-Verlag.
Nidditch, P. H. (1978). El desarrollo de la lgica matemtica. Ctedra.
Van Dalen, D. (1983). Logic and Structure (2 edicin). Universitext,
Springer-Verlag.