Lgica proposicional

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

1Introduccin
o 1.1Conectivas lgicas
o 1.2Leyes notables en lgica
o 1.3Lmites de la lgica proposicional
2Dos sistemas formales de lgica proposicional
o 2.1Sistema axiomtico
2.1.1Alfabeto
2.1.2Gramtica
2.1.3Axiomas
2.1.4Reglas de inferencia
o 2.2Deduccin natural
3Formas de argumentos bsicas y derivadas
o 3.1Ejemplo de una demostracin
4Lenguaje formal en la notacin BNF
5Semntica
o 5.1Tablas de verdad
6Formas normales
7La lgica proposicional y la computacin
8Historia
9Vase tambin
10Notas y referencias
o 10.1Bibliografa
o 10.2Enlaces externos

Introduccin[editar]
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 (1) y (2) sean
verdaderas y la conclusin (3) falsa.
Sin embargo, a pesar de que el argumento sea vlido, esto no quiere decir que la
conclusin sea verdadera. En otras palabras, 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 del argumento no depende del significado de las
expresiones maana es mircoles ni maana es jueves, sino de la estructura misma
del argumento. Estas premisas podran cambiarse por otras y el argumento permanecera
vlido. Por ejemplo:

1. Hoy est soleado o est nublado.

2. Hoy no est nublado.
3. Por lo tanto, hoy est soleado.
La validez de los dos argumentos anteriores 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, considrese el siguiente argumento invlido:

1. Ni est soleado ni est nublado.

2. No est nublado.
3. Por lo tanto, est soleado.
Estas expresiones como o y no, de las que depende la validez de los argumentos, se
llaman conectivas lgicas. En cuanto a expresiones como est nublado y 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 (de proposicin) luego q, r, s, etc. Es
as que los dos primeros argumentos de esta seccin se podran reescribir as:

1. p o q
2. No q
3. Por lo tanto, p
Y el tercer argumento, a pesar de no ser vlido, se puede reescribir as:

1. Ni p ni q
2. No q
3. Por lo tanto, p
Conectivas lgicas[editar]