Documente Academic
Documente Profesional
Documente Cultură
La lgica proposicional o lgica de orden cero es de estas expresiones se cambiara por otra, entonces poun sistema formal cuyos elementos ms simples repre- dra ser que los argumentos dejaran de ser vlidos. Por
sentan proposiciones, y cuyas constantes lgicas, llama- ejemplo:
das conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor
1. Ni est soleado ni est nublado.
complejidad.[1]
2. No est nublado.
La lgica proposicional trata con sistemas lgicos que
carecen de cuanticadores, o variables interpretables co3. Por lo tanto, est soleado.
mo entidades. En lgica proposicional si bien no hay signos para variables de tipo entidad, s existen signos para
Las expresiones de las que depende la validez de los arvariables proposicionales (es decir, que pueden ser intergumentos se llaman constantes lgicas. La lgica propopretadas como proposiciones con un valor de verdad de
sicional estudia el comportamiento de algunas de estas
denido), de ah el nombre proposicional. La lgica proexpresiones, llamadas conectivas lgicas. En cuanto a las
posicional incluye adems de variables interpretables coexpresiones como est nublado o maana es jueves,
mo proposiciones simples signos para conectivas lgicas,
lo nico que importa de ellas es que tengan un valor de
por lo que dentro de este tipo de lgica puede analizarse
verdad. Es por esto que se las reemplaza por simples lela inferencia lgica de proposiciones a partir de propositras, cuya intencin es simbolizar una expresin con valor
ciones, pero sin tener en cuenta la estructura interna de
de verdad cualquiera. A estas letras se las llama variables
las proposiciones ms simples.[2]
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
1 Introduccin
as:
Considrese el siguiente argumento:
1. p o q
2. No q
2. Maana no es jueves.
3. Por lo tanto, p
1.2
1. p
2. q
3. 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.
Entre las reglas de la lgica proposicional clsica algunas A continuacin se presentan dos sistemas formales estndar para la lgica proposicional. El primero es un sistema
de la ms notables son listadas a continuacin:
axiomtico simple, y el segundo es un sistema sin axiomas, de deduccin natural.
1. Ley de doble negacin
2. Leyes de idempotencia
3. Leyes asociativas
2.1.1 Alfabeto
4. Leyes conmutativas
5. Leyes distributivas
6. Leyes de De Morgan
Otras leyes como el principio del tercero excluido son
admisibles en lgica clsica, pero en lgica intuicionista y con nes a sus aplicaciones matemticas no existe un
equivalente del tercero excluido, por ejemplo.
1.3
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 puede ser probada por la lgica proposicional. Por ejemplo,
considrese el siguiente argumento:
1. Todos los hombres son mortales.
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 nita 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: , , , ,
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 signicar tanto (2 + 2) 2, como 2 + (2
2).
2. Scrates es un hombre.
3. Por lo tanto, Scrates es mortal.
2.1.2 Gramtica
Una vez denido el alfabeto, el siguiente paso es deterComo este argumento no contiene ninguna de las conec- minar qu combinaciones de smbolos pertenecen al lentivas no, y, o, etc., segn la lgica proposicional, guaje del sistema. Esto se logra mediante una gramtica
su formalizacin ser la siguiente:
formal. La misma consiste en un conjunto de reglas que
2.2
Deduccin natural
denen recursivamente las cadenas de caracteres que pertenecen al lenguaje. A las cadenas de caracteres construidas segn estas reglas se las llama frmulas bien forma- Estas convenciones son anlogas a las que existen en el
das. Las reglas del sistema L son:
lgebra elemental, donde la multiplicacin y la divisin
siempre deben resolverse antes que la suma y la resta. As
1. Las variables proposicionales del alfabeto de L son por ejemplo, la ecuacin 2 + 2 2 podra interpretarse
frmulas bien formadas.
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
2. Si es una frmula bien formada de L, entonces como la multiplicacin siempre debe resolverse antes que
tambin lo es.
la suma, el resultado correcto en este caso es 6, no 8.
3. Si y son frmulas bien formadas de L, entonces
( ) , ( ) , ( ) y ( ) tambin 2.1.3 Axiomas
lo son.
4. Slo las expresiones que pueden ser generadas me- Los axiomas de un sistema formal son un conjunto de frdiante las clusulas 1 a 3 en un nmero nito de pa- mulas bien formadas que se toman como punto de partida
para demostraciones ulteriores. Un conjunto de axiomas
sos son frmulas bien formadas de L.
estndar es el que descubri Jan ukasiewicz:
Segn estas reglas, las siguientes cadenas de caracteres
son ejemplos de frmulas bien formadas:
( ( ))
(( ( )) (( ) ( )))
p
q
(p q)
(( ) ( ))
2.1.4 Reglas de inferencia
(p q)
Una regla de inferencia es una funcin que va de conjuntos de frmulas a frmulas. Al conjunto de frmulas que
(p p)
la funcin toma como argumento se lo llama premisas,
((p q) p)
mientras que a la frmula que devuelve como valor se la
llama conclusin. En general se busca que las reglas de
((p (q r)) s)
inferencia transmitan la verdad de las premisas a la conY los siguientes son ejempos de frmulas mal clusin. Es decir, que sea imposible que las premisas sean
formadas[cita requerida] :
verdaderas y la conclusin falsa. En el caso de L, la nica
regla de inferencia es el modus ponens, el cual dice:
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:
( ),
Recordando que y no son frmulas, sino metavariables que pueden ser reemplazadas por cualquier frmula
bien formada.
Un sistema de lgica proposicional tambin puede construirse a partir de un conjunto vaco de axiomas. Para ello
se especican una serie de reglas de inferencia que intentan capturar el modo en que naturalmente razonamos
acerca de las conectivas lgicas.
5 SEMNTICA
3
3.0.1
Demostrar: A A
Una posible prueba de esto (que, aunque vlida, pasa a
contener ms pasos de los necesarios) se puede disponer
de la siguiente manera:
Bicondicional
Condicional
Conjuncion
Disyuncion
Literal
Atomo
Agrupacion
::=
::=
::=
::=
::=
::=
::=
5 Semntica
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
signicados 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 denir una cantidad de nociones semnticas. Si A y B son frmulas cualquiera de
un lenguaje L, 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.
5
A es una tautologa (o una verdad lgica) si y slo Esto se consigue transformando la frmula en otra equisi para toda interpretacin M, M asigna el valor de valente y repitiendo el proceso hasta conseguir una frverdad V a A.
mula que slo use los conectivos bsicos ( , , ). Para
lograr esto se utilizan las equivalencias lgicas:
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 (p q) (p q)
menos una interpretacin M que asigne el valor de (p q) [(p q) (q p)]
verdad V a A.
Por ejemplo, considrese la siguiente frmula:
es consistente si y slo si existe al menos una interpretacin que haga verdaderas a todas las frmulas
(p q) (q p)
en .
A es una consecuencia semntica de un conjunto de
frmulas si y slo si para toda frmula B que pertenezca a , no hay ninguna interpretacin en que
B sea verdadera y A falsa. Cuando A es una consecuencia semntica de en un lenguaje L, se escribe:
|=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: A1 A2 ... An
|=L A .
donde cada A es una conjuncin de frmulas. Por ejemplo, la siguiente frmula est en forma normal disyuntiva:
5.1
Tablas de verdad
p (q s) (q p)
La tabla de verdad de una frmula es una tabla en la que
se presentan todas las posibles interpretaciones de las va- Se dice que una frmula est en forma normal conjuntiva
riables proposicionales que constituye la frmula y el va- (FNC) si y slo si tiene la siguiente forma:
lor de verdad de la frmula completa para cada interpretacin. Por ejemplo, la tabla de verdad para la frmula
A1 A2 ... An
(p q) (p r) sera:
donde cada A es una disjuncin de frmulas. Por ejemplo,
la siguiente frmula est en forma normal conjuntiva:
p q r (p q) (p q) (p r) (p q) (p r)
V V V
V
F
V
V
V V F
V
F
F
Vp (q s) (q p)
V F V
V
F
V
V
V F F
V
F
F
VPor las leyes de De Morgan, es posible pasar de una forF V V
V
F
V
Vma normal disyuntiva a una forma normal conjuntiva y
F V F
V
F
V
Vviceversa:
F
V
V
V
F F V
F F F
F
V
V
V
(A B) (A B)
Como se ve, esta frmula tiene 2n interpretaciones posibles una por cada lnea de la tabla, donde n es el (A B) (A B)
nmero de variables proposicionales (en este caso 3, es Las FNC y FND son mutuamente duales. La demostradecir p, q, r) , y resulta ser una tautologa, es decir que cin hace uso de las leyes de De Morgan y de la propiedad
bajo todas las interpretaciones posibles de las variables distributiva de la conjuncin y la disyuncin. Se debe
proposicionales, el valor de verdad de la frmula com- cumplir que:
pleta termina siendo V.
Formas normales
10
La lgica proposicional y la
computacin
NOTAS Y REFERENCIAS
Lgica modal
Tabla de valores de verdad
Teora de grafos
Silogismo
Valor de verdad
Razonamiento diagramtico
10 Notas y referencias
[1] Simon Blackburn, ed., propositional calculus (en ingls), 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
[2] Klement, Kevin C., Propositional Logic (en ingls), Internet Encyclopedia of Philosophy, http://www.iep.utm.
edu/prop-log/, consultado el 6 de febrero de 2012
[3] 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.
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 pues ser su fundador. En 10.1 Bibliografa
un principio se llam Analtica, en virtud del ttulo de
Enderton, H. B. (1972). A Mathematical Introduclas obras en que trat los problemas lgicos. Ms tarde
tion to Logic. Academic Press.
los escritos de Aristteles relativos a estos eventos fueron
recopilados por sus discpulos con el ttulo de Organon,
Hamilton, A. G. (1981). Lgica para matemticos.
por considerar que la lgica era un instrumento para el
Paraningo.
conocimiento de la verdad.
Mendelson, E. (1997). Introduction to Mathematical
Aristteles se plante cmo es posible probar y demostrar
Logic (4 edicin). Chapman and May.
que un conocimiento es verdadero, es decir, que tiene una
validez universal. Aristteles encuentra el fundamento de
Pla, J. (1991). Llions de lgica matemtica. P.P.U.
la demostracin en la deduccin, procedimiento que consiste en derivar un hecho particular de algo universal. La
Badesa, C.; Jan, I.; Jansana, R. (1998). Elementos
forma en que se afecta esa derivacin es el silogismo, por
de lgica formal. Ariel.
cuya razn la silogstica llega a ser el centro de la lgica
Barnes, D. W.; Mack, J. M. (1978). Una introducaristotlica.
cin algebraica a la lgica matemtica. Eunibar.
Vase tambin
lgebra de Boole
Clculo lgico
Clculo proposicional de Frege
Grcos existenciales
Lgica matemtica
Lgica de primer orden
10.2
Enlaces externos
10.2
Enlaces externos
11
11.1
Lgica proposicional Fuente: https://es.wikipedia.org/wiki/L%C3%B3gica_proposicional?oldid=88182116 Colaboradores: Robbot, Rosarino, Julian Colina, Camiloaa, Mariano Deheza, Airunp, Taichi, Kokoo, Yrbot, Vitamine, .Sergio, Gaeddal, ManuelMore, Boja, Kn,
CEM-bot, Marianov, Santhy, Karshan, Davius, JulianMendez, Julian Mendez, Resped, PabloCastellano, Lauranrg, JAnDbot, TXiKiBoT,
Kijote, Netito777, MONIMINO, Plux, Cobbor, Cinevoro, VolkovBot, Technopat, The Bear That Wasn't, Penarc, Matdrodes, DJ Nietzsche, BlackBeast, Muro Bot, SieBot, Loveless, Heisei~eswiki, Cobalttempest, Drinibot, BOTarate, STBot~eswiki, Greek, McOil, BuenaGente, Djacnov, Tirithel, HUB, Estirabot, Eduardosalg, Panypeces, Leonpolanco, Alejandrocaro35, Frei sein, Raulshc, UA31, AVBOT,
Gonzjesu, LucienBOT, MastiBot, Samelitan, Diegusjaimes, Arjuno3, Ernesto2288, Chaikovskii~eswiki, Marcecm, Luis Felipe Schenone,
Fkereki, SuperBraulio13, Manuelt15, Jkbw, Botarel, Lipedia, Federico Uicich, Omerta-ve, Dinamik-bot, Francisco Serrador, Humbefa,
Foundling, Axvolution, EmausBot, HRoestBot, Chirick, Aldo.martinez.n, Egossvm, Waka Waka, Mjbmrbot, Dfranz~eswiki, TeleMania,
Javierklug, Acratta, LlamaAl, Elvisor, Spike20, Legobot, Eyetheunlord, Balles2601, Djnelvol, Oscar Flores Colque, Jarould y Annimos:
162
11.2
Imgenes
11.3