Академический Документы
Профессиональный Документы
Культура Документы
�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:
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:
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