Lgica proposicional

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

1. Maana es mircoles o maana es jueves.

2. No q

2. Maana no es jueves.

3. Por lo tanto, p

3. Por lo tanto, maana es mircoles.

Y el tercer argumento, a pesar de no ser vlido, puede

reescribirse as:

Es un argumento vlido. Quiere decir que es imposible

que las premisas sean verdaderas y la conclusin falsa. Es1. Ni p ni q
to no quiere decir que la conclusin sea verdadera. Si las
2. No q
premisas son falsas, entonces la conclusin tambin podra serlo. Pero si las premisas son verdaderas, entonces
3. Por lo tanto, p
la conclusin tambin lo es. La validez de este argumento
no se debe al signicado de las expresiones maana es
mircoles y maana es jueves, porque stas podran 1.1 Conectivas lgicas
cambiarse por otras y el argumento permanecer vlido.
Por ejemplo:
A continuacin hay una tabla que despliega todas las conectivas lgicas que ocupan a la lgica proposicional, in1. Est soleado o est nublado.
cluyendo ejemplos de su uso en el lenguaje natural y los
smbolos que se utilizan para representarlas en lenguaje
2. No est nublado.
formal.
3. Por lo tanto, est soleado.
En la lgica proposicional, las conectivas lgicas se tratan
como funciones de verdad. Es decir, como funciones que
En cambio, la validez de estos dos argumentos depende toman conjuntos de valores de verdad y devuelven valores
del signicado de las expresiones o y no. Si alguna de verdad. Por ejemplo, la conectiva lgica no es una
1

2 DOS SISTEMAS FORMALES DE LGICA PROPOSICIONAL

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 signicado 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 signicado 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.

1.2

Leyes notables en lgica

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.

2 Dos sistemas formales de lgica

proposicional

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

2.1 Sistema axiomtico

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

Lmites de la lgica proposicional

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.

2.2 Deduccin natural

pq
p q
(p q) q
(p q) (q p)

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.

Otra convencin acerca del uso de los parntesis es que

las conjunciones y las disyunciones tienen menor jerar- Introduccin de la negacin De (p q) y (p q)
, se inere p .
qua que los condicionales materiales y los bicondicionales. Esto signica que dada una frmula sin parntesis, Esto es, {(p q), (p q)} p .
las conjunciones y las disyunciones deben agruparse antes que los condicionales materiales y los bicondicionales. Eliminacin de la negacin De p , se inere (p r)
.
Por ejemplo:

5 SEMNTICA

Esto es, {p} (p r) .

Interpretar A A como: Asumiendo que A , inferire A

". Leer A A como Suponiendo nada, inferir que A
Eliminacin de la doble negacin De p , se inere implica A ", o Es una tautologa que A implica A ", o
p.
Siempre es cierto que A implica A ".
Esto es, p p .
Introduccin de la conjuncin De p y q , se inere (p
q) .
Esto es, {p, q} (p q) .
Eliminacin de la conjuncin De (p q) , se inere p
.
De (p q) , se inere q .
Esto es, (p q) p y (p q) q .
Introduccin de la disyuncin De p , se inere (p q)
.
Esto es, p (p q) y q (p q) .
Eliminacin de la disyuncin De (p q) y (p r) y
(q r) , se inere r .
Esto es, {p q, p r, q r} r .
Introduccin del bicondicional De (p q) y (q p)
, se inere (p q) .
Esto es, {p q, q p} (p q) .
Eliminacin del bicondicional De (p q) , se inere
(p q) .
De (p q) , se inere (q p) .
Esto es, (p q) (p q) y (p q) (q p) .
Modus ponens (eliminacin del condicional) De p y
(p q) , se inere q .
Esto es, {p, p q} q .
Prueba condicional (introduccin del condicional)
De [aceptando que p permite una prueba de q ], se
inere (p q) .
Esto es, (p q) (p q) .

3
3.0.1

Formas de argumentos bsicas y

derivadas
Ejemplo de una demostracin

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:

4 Lenguaje formal en la notacin

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

Bicondicional
Condicional
Conjuncion
Disyuncion
Literal
Atomo
Agrupacion

::=
::=
::=
::=
::=
::=
::=

Condicional Bicondicional | Condi

Conjuncion Condicional | Conjun
Disyuncion Conjuncion | Disyunci
Literal Disyuncion | Literal
Atomo | Atomo
| | Letra | Agrupacion
(Bicondicional) | [Bicondicional] | {B

La gramtica anterior dene la precedencia de operadores

de la siguiente manera:
1. Negacin ( )
2. Conjuncin ( )
3. Disyuncin ( )
4. Condicional material ( )
5. Bicondicional ( )

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 .

La misma puede desarrollarse as:

(p q) (q p) (p q)
Se dice que una frmula est en forma normal disyuntiva
(FND) si y slo si tiene la siguiente forma:

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

[(A1 B1 )(A2 B2 )...(An Bn )] [(A1 B1 )(A2 B2 ).

Y viceversa:

A menudo es necesario transformar una frmula en otra,

sobre todo transformar una frmula a su forma normal. [(A1 B1 )(A2 B2 )...(An Bn )] [(A1 B1 )(A2 B2 ).

10

La lgica proposicional y la
computacin

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

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

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. SpringerVerlag.

10.2

Enlaces externos

Nidditch, P. H. (1978). El desarrollo de la lgica matemtica. Ctedra.

Van Dalen, D. (1983). Logic and Structure (2 edicin). Universitext, Springer-Verlag.

10.2

Enlaces externos

Introduccin a la lgica proposicional

11 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

11
11.1

Origen del texto y las imgenes, colaboradores y licencias

Texto

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

Licencia del contenido

Creative Commons Attribution-Share Alike 3.0