Una l�gica proposicional, o a veces l�gica de orden cero, es un sistema formal

cuyos elementos m�s simples representan proposiciones, y cuyas constantes l�gicas,

llamadas conectivas l�gicas, representan operaciones sobre proposiciones, capaces
de formar otras proposiciones de mayor complejidad.1?

Las l�gicas proposicionales carecen de cuantificadores o variables de individuo,

pero tienen variables proposicionales (es decir, que se pueden interpretar como
proposiciones con un valor de verdad definido), de ah� el nombre proposicional. Los
sistemas de l�gica proposicional incluyen adem�s conectivas l�gicas, por lo que
dentro de este tipo de l�gica se puede analizar la inferencia l�gica de
proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura
interna de las proposiciones m�s simples.2?

Como las l�gicas proposicionales no tienen cuantificadores o variables de

individuo, cualquier secuencia de signos que constituya una f�rmula bien formada
admite una valoraci�n en la proposici�n es verdadera o falsa dependiendo del valor
de verdad asignado a las proposiciones que la compongan. Esto implica que cualquier
f�rmula bien formada define una funci�n proposicional. Por tanto, cualquier sistema
l�gico basado en la l�gica proposicional es decidible y en un n�mero finito de
pasos se puede determinar la verdad o falsedad sem�ntica de una proposici�n. Esto
hace que la l�gica proposicional sea completa y con una sem�ntica muy sencilla de
caracterizar.

�ndice
1 Introducci�n
1.1 Conectivas l�gicas
1.2 Leyes notables en l�gica
1.3 L�mites de la l�gica proposicional
2 Dos sistemas formales de l�gica proposicional
2.1 Sistema axiom�tico
2.1.1 Alfabeto
2.1.2 Gram�tica
2.1.3 Axiomas
2.1.4 Reglas de inferencia
2.2 Deducci�n natural
3 Formas de argumentos b�sicas y derivadas
3.1 Ejemplo de una demostraci�n
4 Lenguaje formal en la notaci�n BNF
5 Sem�ntica
5.1 Tablas de verdad
6 Formas normales
7 Historia
8 V�ase tambi�n
9 Referencias
10 Bibliograf�a
11 Enlaces externos
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 (1) y (2)
sean verdaderas y la conclusi�n (3) falsa.

Sin embargo, a pesar de que el argumento sea v�lido, esto no quiere decir que la
conclusi�n sea verdadera. En otras palabras, 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 del argumento no depende del significado de
las expresiones �ma�ana es mi�rcoles� ni �ma�ana es jueves�, sino de la estructura
misma del argumento. Estas premisas podr�an cambiarse por otras y el argumento
permanecer�a v�lido. Por ejemplo:

Hoy est� soleado o est� nublado.

Hoy no est� nublado.
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 podr�an dejar de ser v�lidos. Por ejemplo, consid�rese el siguiente
argumento inv�lido:

Ni est� soleado ni est� nublado.

No est� nublado.
Por lo tanto, est� soleado.
Estas expresiones como �o� y �no�, de las que depende la validez de los argumentos,
se llaman conectivas l�gicas. En cuanto a expresiones como �est� nublado� y �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 (de �proposici�n�) luego q, r, s, etc. Es as� que los dos primeros argumentos de
esta secci�n se podr�an reescribir as�:

p o q
No q
Por lo tanto, p
Y el tercer argumento, a pesar de no ser v�lido, se puede reescribir as�:

Ni p ni q
No q
Por lo tanto, p