TEMA 70

LGICA PROPOSICIONAL.
EJEMPLOS Y APLICACIONES AL RAZONAMIENTO MATEMTICO.
NDICE
1. INTRODUCCIN
2. SINTAXIS DE LA LGICA PROPOSICIONAL
2.1. El lenguaje de la lgica proposicional
2.2. Alfabeto del lenguaje
3. SEMNTICA DE LA LGICA PROPOSICIONAL
3.1. Verdad con una asignacin
3.2. Valores de las conectivas
3.3. Tautologas y contradicciones
4. EQUIALENCIA LGICA
!. LEYES DE IN"ERENCIA Y DEDUCCIN LGICA
#. SISTEMAS COMPLETOS DE CONECTIAS Y "ORMAS
NORMALES
6.1. iste!as co!pletos de conectivas
6.2. "or!as nor!ales
7. LGE$RA DE $OOLE DE LAS PROPOSICIONES
%. LGICA Y TEORA DE CONJUNTOS
&. LGICA DE PRIMER ORDEN
10. LGICA Y RAZONAMIENTO MATEMTICO
11. OTRAS APLICACIONES DE LA LGICA PROPOSICIONAL
1. INTRODUCCIN
#a $istoria de la lgica se puede considerar dividida a grandes rasgos en tres
etapas%
1. #a lgica griega.
2. #a lgica escol&stica.
3. #a lgica !ate!&tica.
'urante la pri!era etapa las fr!ulas lgicas se enunciaban con palabras del
lenguaje ordinario sujetas las reglas sint&cticas usuales. En la segunda etapa $ubo
una abstraccin del lenguaje ordinario caracteri(ada por reglas sint&cticas
diferenciadas y unas funciones se!&nticas especiales. En la tercera etapa la lgica
)ued !arcada por el uso de un lenguaje artificial en el )ue los signos y palabras
estaban regidos por una sinta*is e*acta y tenan una funcin se!&ntica
estrec$a!ente deli!itada y definida ta!bi+n e*acta!ente. ,ientras )ue en las
dos pri!eras etapas los teore!as lgicos se derivaban del lenguaje usual- en la
tercera etapa la lgica procede al contrario% pri!ero construye un siste!a
pura!ente for!al- y slo !&s tarde busca una interpretacin del lenguaje
ordinario.
2
T'()*+ fue )uien dio los pri!eros pasos en el ra(ona!iento deductivo- cuyo
naci!iento se situa alrededor del . .V a./. "ue el desarrollo sociopoltico de las
ciudades0estado griegas el )ue dio lugar al naci!iento de la dial+ctica co!o !+todo
intelectual- y en consecuencia a la necesidad de una base racional para la
!ate!&tica.
A A,-+./.*)*+ se le atribuye una funda!entacin y siste!ati(acin de la lgica. us
tratados de lgica confor!an lo )ue posterior!ente se deno!in 12rganon3 y
contienen el pri!er trata!iento siste!&tico de las leyes del pensa!iento en
relacin con la ad)uisicin de conoci!iento. 'e $ec$o- constituyen el pri!er intento
de reducir la lgica a una ciencia- y en consecuencia- confieren a su autor el
derec$o a ser considerado el fundador de la lgica.
4ero la lgica aristot+lico0escol&stica utili(aba el lenguaje natural para su
construccin- con la i!posibilidad de crear un c&lculo lgico. 4or eso surgi la idea
de una nueva lgica )ue usara un lenguaje for!al a base de s!bolos y enri)uecer
as la lgica tradicional con nuevos !odos de an&lisis y ra(ona!iento- necesarios
para la !ate!&tica.
urgir& entonces la lgica si!blica o lgica !ate!&tica. i bien el precursor
de esta idea fue un filsofo espa5ol del siglo 6..- R(012 L)3))- no lleg a
concretarse $asta )ue el !ate!&tico y filsofo ale!&n L*-42-5 7s. 6V...8
pretendi reducir todas las discusiones lgicas a una for!a siste!&tica y
desarrollar una 1caracterstica universal3 )ue sirviera co!o una especie de &lgebra
de la lgica. En una tesis publicada en 1666 tuvo sus pri!eras ideas de una lgica
for!al si!blica- entre las )ue estaban la introduccin de unos s!bolos o
ideogra!as universales para un pe)ue5o n9!ero de conceptos funda!entales
necesarios al pensa!iento y a partir de este 1alfabeto3 construir las ideas
co!puestas- de la !is!a !anera )ue se construyen las fr!ulas en !ate!&ticas
7!ate!ati(acin de la lgica8.
4ero el verdadero padre de la lgica !ate!&tica fue G*1,6* $11)* 71:1;0
1:6<8- con )uien lleg a constituirse co!o ciencia. u .nvestigation of t$e #a=s of
T$oug$ de 1:;<- es una obra cl&sica en la $istoria de la !ate!&tica. All construy
tanto la lgica for!al co!o un nuevo tipo de &lgebra )ue conoce!os co!o 1&lgebra
de >oole3- )ue es a la ve( el &lgebra de los conjuntos y el &lgebra de la lgica.
?icieron aportaciones al ca!po de la lgica durante el .6.6 !ate!&ticos co!o 'e
,organ- >enja!in 4eirce y su $ijo /$arles . 4eirce- @.A. /lifforg- ".#.B. "rege y
/.#. 'odgson 7!&s conocido por su pseudni!o #e=is /arroll- autor del fa!ossi!o
cuento Alice in @onderland8. ,uy i!portantes fueron las aportaciones de
$*,.,(27 R3++*))- )ue se enca!inaron a de!ostrar )ue poda deducirse toda la
!ate!&tica pura a partir de un pe)ue5o n9!ero de principios lgicos
funda!entales.
3
?acia finales de siglo era un $ec$o reconocido )ue la !ate!&tica es una for!a de
pensa!iento a*io!&tico- en la )ue uno deduce conclusiones v&lidas a partir de
siste!as de pre!isas arbitrarias. 4ero $aban fuertes controversias seg9n sus
puntos de vista con respecto a los funda!entos de la !ate!&tica- y los
!ate!&ticos de la +poca y posteriores se agruparon en tres escuelas de pensa0
!iento%
8-)4*,. fue considerado co!o lder de la escuela 9:1,0()-+.(;- seg9n la cual la
!ate!&tica es un juego con signos desprovistos de significado- de acuerdo con
ciertas reglas for!ales arbitrarias- convenidas de ante!ano.
Cn grupo de !ate!&ticos encabe(ados por $*,.,(27 R3++*)) for!aron la es0
cuela 9)16-<-+.(; - seg9n la cual la lgica y la !ate!&tica son indistinguibles.
4or 9lti!o L.E.J. $,13=*,- reuni a los adversarios de for!alistas y logicistas-
fundando una escuela 9-2.3-<-12-+.(;> )ue atacaba la funda!entacin lgica de la
arit!+tica y del an&lisis. eg9n >rou=er- la !ate!&tica no presupone en ning9n
sentido un lenguaje y una lgica- puesto )ue tiene su fuente en la intuicin directa.
'e cual)uier !anera- las paradojas del infinito de >ernard >ol(ano- y las
paradojas del propio Dussell llevaron a la conclusin a!plia!ente co!partida de )ue
la !ate!&tica debiera servirse de una lenguiaje for!al y riguroso )ue posibilitara
el c&lculo lgico co!o instru!ento de funda!entacin.
En definitiva- la lgica !oderna )ue se consolid a finales del siglo 6.6 estaba
caracteri(ada funda!ental!ente por la no utili(acin del lenguaje natural- la
creacin de un si!bolis!o adecuado )ue posibilitara el c&lculo lgico- y una nti!a
cone*in con las !ate!&ticas.
2. SINTAXIS DE LA LGICA PROPOSICIONAL
2.1. E) )*263(?* 7* )( )/6-<( @,1@1+-<-12()
Todo lenguaje for!al tiene un co!ponente sint&ctico y otro se!&ntico. #a sinta*is
de un lenguaje for!al consta de un ():(4*.1 7o vocabulario8 y de una 6,(0A.-<(. El
alfabeto del lenguaje est& constituido por una serie de s!bolos clasificados en
tres categoras% lgicos- no lgicos y au*iliares 7o de puntuacin8.
#as e*presiones del lenguaje son si!ple!ente las sucesiones de s!bolos del
alfabeto- pero- co!o en cual)uier lenguaje- no todas las sucesiones de s!bolos son
aceptables.
D*:-2-<-/2B #a 6,(0A.-<( del lenguaje consiste en una serie de reglas )ue nos
per!iten generar a)uellas e*presiones del lenguaje )ue considera!os
correcta!ente for!adas. A estas e*presiones las lla!are!os :/,03)(+.
2.2. A):(4*.1 7*) )*263(?*
4
El ():(4*.1 de un lenguaje # de la lgica proposicional consta de los siguientes
s!bolos%
1. #ETDA 4D242./.2EA#E. El n9!ero de letras proposicionales
puede variar de un lenguaje a otro. Depresentan enunciados si!ples o
no anali(ados. Estos son los +C041)1+ 21 )/6-<1+. En lo sucesivo-
usare!os 1p3- 1)3- 1r3- 1s3- 1t3-...
2. /2EE/T.VA.

. on los +C041)1+ )/6-<1+ del

lenguaje- y tienen una funcin sint&ctica. 2 bien !odifican el
significado de una proposicin 7singulares8- o bien per!iten obtener
una nueva proposicin a partir de otras dos 7binarias8.
3. 4ADFETE.. on +C041)1+ (3D-)-(,*+ para eli!inar a!bigGedades.
T-@1+ 7* <12*<.-E(+
CONECTIA NOM$RE LECTURA TIPO

Eegacin Eo ingular

/onjuncin y >inaria

'isyuncin o >inaria

/ondicional i...entonces >inaria

>icondicional i y slo si >inaria

D*:-2-<-/2B #a 6,(0A.-<( son las reglas usadas para for!ar :/,03)(+. on las
siguientes%
1. Toda letra proposicional de # es una fr!ula.
2. i

es una fr!ula-

es una fr!ula.
3. i

son fr!ulas- 7

8- 7

8- 7

8- y 7

8 son
fr!ulas.
D*:-2-<-/2B #as letras proposicionales son :/,03)(+ (./0-<(+- y el resto son
:/,03)(+ <10@3*+.(+.
3. SEMNTICA DE LA LGICA PROPOSICIONAL
3.1. *,7(7 <12 32( (+-62(<-/2
D*:-2-<-/2B Cna (+-62(<-/2 es una funcin )ue asigna a cada una de las letras
proposicionales del lenguaje el valor 1verdadero3 o el valor 1falso3- )ue se
representan respectiva!ente con los s!bolos V-" o 1-H. e les lla!a su E()1, 7*
E*,7(7.
D*:-2-<-/2B Cna .(4)( 7* E*,7(7 es una tabla donde pone!os todos los valores
posibles de las letras proposicionales y los valores de las fr!ulas )ue )uera!os
valorar- aplicando los valores de las conectivas- )ue seguida!ente estudiare!os.
E?*0@)1B
5
P

"
D*:-2-<-/2B #os (,630*2.1+ son las co!binaciones de los diferentes valores )ue
pueden to!ar las diferentes fr!ulas at!icas.
P,1@1+-<-/2B i tene!os n letras proposicionales- el n9!ero de argu!entos
posibles es
2
n
.
'E,2TDA/.IE% 4or cada letra proposicional- tendre!os dos posibles valores
para ella% V o ". 4or tanto- las variaciones con repeticin de dos ele!entos cogidos
de n en n ser&n%
2
2
n n
VR =
W
El valor de verdad de una fr!ula co!puesta depende tanto del valor de verdad de
las letras proposicionales co!o del significado de las conectivas.
3.2. ()1,*+ 7* )(+ <12*<.-E(+
/onjuncin 'isyuncin /ondicional
>icondicional
@

@ @ F @

F @

F @

F @

F
V " V V V V V V
" V V " " V " "
" V " V V "
" " " " V V
Eegacin% #a negacin de una fr!ula ca!bia su valor de verdad.
/onjuncin% #os dos valores deben ser verdaderos para )ue la conjuncin lo sea.
'isyuncin% i uno de los dos valores es verdadero- ta!bi+n lo es la disyuncin.
/ondicional% p se lla!a el (2.*<*7*2.*- y ) el <12+*<3*2.*. El condicional slo es
falso cuando el antecedente es verdadero y el consecuente es falso.
>icondicional% si las dos letras tienen el !is!o valor- el bicondicional ser&
verdadero-
de lo contrario ser& falso.
D*:-2-<-/2B 'ada una asignacin v concreta- toda fr!ula

del lenguaje to!a

un 9nico valor de verdad. Es el E()1, 7* E*,7(7 7*

<12 )( (+-62(<-/2 E .
E?*0@)1B i v7p8 J V y v7)8 J "- entonces v7p

)8 J V
6
4ara valorar una co!posicin de proposiciones con !&s de una conectiva- debe!os
tener en cuenta )ue las tablas de verdad sirven igual para letras proposicionales-
co!o para fr!ulas co!puestas.
4ara calcular el valor de la asignacin sola!ente debe!os respetar la jerar)ua
seguida a la $ora de for!ar la fr!ula.
E?*0@)1B

G
( ) ( ) r q r p
p ) r r

) r

p

7r

p8
( ) ( ) r q r p
V V V V V " "
V V " V V " "
V " V V V " "
V " " " V " V
" V V V " V V
" V " V V " "
" " V V " V V
" " " " V " V
i ade!&s deter!ina!os una asignacin concreta- sabre!os el valor de la fr!ula%
i
( )
( )
( )
v p V
v q V
v r F
=

=

entonces v7

8 G "
3.3. T(3.1)16C(+ H <12.,(7-<<-12*+
D*:-2-<-12*+B
Cna .(3.1)16C( es una fr!ula )ue es verdadera para cual)uier asignacin.

es una tautologa

v asignacin- v7

8 J V
Cna <12.,(7-<<-/2 es una fr!ula )ue es falsa para toda asignacin.

es una contradiccin

v asignacin- v7

8 J "
Cna :/,03)( <12.-26*2.* 1 -27*.*,0-2(7( tiene algunas asignaciones )ue la $acen
verdadera y otras )ue la $acen falsa.

es una fr!ula contingente

1
v
-
2
v
asignaciones- t)
1
v
7

8JV y
2
v
7

8J"
Cna fr!ula es +(.-+:(<-4)* si tiene al !enos una asignacin )ue la $ace verdadera.

es una fr!ula satisfacible

v asignacin- t) v7

8 J V
E?*0@)1+B 7p

)8

p es una tautologa
p

p es una contradiccin
p

p es una contradiccin
7
7p

)8

7p

)8 es contingente
D*:-2-<-/2B El 6,(71 7* <12+-+.*2<-( de una fr!ula es la ra(n entre el n9!ero
de asignaciones )ue la $acen verdad entre el n9!ero total de asignaciones.
P,1@1+-<-/2B
Toda fr!ula es una tautologa o una contradiccin- o una fr!ula
contingente.
#a negacin de una tautologa es una contradiccin.
#a negacin de una contradiccin es una tautologa
#a negacin de una fr!ula contingente es una fr!ula contingente.
'E,2TDA/.IE% #as posibilidades de las diferentes asignaciones son )ue todas
sean verdaderas- o todas falsas- o alternadas.
i todas las asignaciones son verdaderas y las nega!os- )uedar&n todas falsas.
#os otros apartados son an&logos. W
P,1@1+-<-/2B i

es una fr!ula cual)uiera- y nota!os por T una tautologa- y por

/ una contradiccin- entonces
7

T8 es una tautologa.
7

/8 es una contradiccin.
'E,2TDA/.IE% Trivial a partir del valor de las conectivas. W
O4+*,E(<-/2B i )uere!os saber en un n9!ero finito de pasos si una fr!ula es
una tautologa- una contradiccin o una fr!ula contingente- slo tene!os )ue
construir su tabla de verdad.
E#E//.IE 'E TACT2#2BKA
ola!ente pone!os a)u alguna de las !&s i!portantes. 2tras aparecer&n en el
apartado de e)uivalencia lgica.

#ey de identidad

#ey del tercio e*cluso
( )
4rincipio de no contradiccin
( )
#ey de /lavius
( )
#ey de 'uns coto
(( ) )
#ey de 4eirce
(( ) )
,odus ponens
(( ) )
,odus tollens
4. EQUIALENCIA LGICA
D*:-2-<-/2B 'os fr!ulas son )/6-<(0*2.* *F3-E()*2.*+ si to!an el !is!o valor
de verdad para toda asignacin. e escribe



asignacin, v( ) = v( ) v
O4+*,E(<-/2B 'ebe!os tener en cuenta )ue los s!bolos

tienen
significados diferentes. 1

3 es una conectiva- en ca!bio 1

3 no for!a parte del

alfabeto del lenguaje.
8
P,1@1+-<-/2B #a relacin entre los dos s!bolos es%
, frmulas


es una tautologa
'E,2TDA/.IE%
asignacin, v( ) = v( ) v
asignacin, v( ) = V v

es una tautologa. W
P,1@1+-<-/2B #as propiedades b&sicas de la e)uivalencia lgica son%

7Defle*ividad8
i

entonces

7i!etra8
i

entonces

7Transitividad8
E#E//.IE 'E ELC.VA#EE/.A #IB./A
{ }
#ey de la doble negacin






.de!potencia de la conjuncin y de la disyuncin






/on!utatividad de la conjuncin y de la disyuncin
( ) ( )
( ) ( )






Asociatividad de la conjuncin y de la disyuncin
( ) ( ) ( )
( ) ( ) ( )






'istributividad de la conjuncin respecto la
disyuncin- y de la conjuncin respecto la disyuncin
( )
( )






#eyes de 'e ,organ
( )
#ey de retorno al condicional
( ) ( )
#ey bicondicional
( )
#ey de contraposicin
P,1@1+-<-/2B IP,-2<-@-1 7* +3+.-.3<-/2 7* :1,0(+ *F3-E()*2.*+J
i en una fr!ula

sustitui!os una de sus subfr!ulas

por una e)uivalente a

ella- la fr!ula obtenida ser& lgica!ente e)uivalente a la inicial.
'E,2TDA/.IE% #os valores de verdad de la subfr!ula ser&n los !is!os )ue la
de su e)uivalente- por tanto- el resultado tendr& los !is!os valores de verdad )ue
la fr!ula inicial. W
E?*0@)1B
( ) ( )
por)ue
( ) ( )
!. LEYES DE IN"ERENCIA Y DEDUCCIN LGICA
9
D*:-2-<-/2B #as ,*6)(+ 7* -2:*,*2<-( son las reglas )ue per!itir&n construir el
ra(ona!iento lgico- es decir - la obtencin de una fr!ula lgica )ue lla!are!os
<12<)3+-/2 a partir de otras proposiciones lla!adas @,*0-+(+.
Estas nor!as son deter!inadas tautologas !ediante las cuales se estructura el
paso de las pre!isas a la conclusin 7+-)16-+018. #as !&s i!portantes son%
Deglas de separacin%
7D18 7,odus ponens8
1: p q
2: p
!: q
P
7D28 7,odus Tollens8
1: p q
2: q
!: p
P

Degla de unin% 7DC8

1: p "i #$n$m%s &%s pr$misas p%&$m%s inf$rir su
2: q
c%n'uncin
!: p q
P

Degla de sustitucin% 7Dsu8
1: p q "i una &$ las pr$misas $s un (ic%n&ici%nal,
p%&$m%s inf$rir la %#ra pr$misa sus#i#u)$n&%
2: p r
un c%mp%n$n#$ &$l (ic%n&ici%nal p%r $l %#r% !: q r
P

Degla de insercin o adjuncin% 7D.8

4ode!os incluir co!o pre!isa de un silogis!o cual)uier tautologa.
D*:-2-<-/2B 'eci!os )ue el proceso de 7*73<<-/2 )/6-<( es el paso de las
pre!isas a la conclusin. Cn ra(ona!iento lgico es correcto o v&lido cuando a
partir de pre!isas verdaderas llega!os a una conclusin verdadera.
E?*0@)1B

1: p q
2: p r
3: q r
*+: (p r) (q )
*+: (p r) (q ) ( )
: ,(p r) (q ) ( )-
1: r r
*.: r r
: r
r
r p q
RI r p q r r
RS
r
RS

#. SISTEMAS COMPLETOS DE CONECTIAS Y "ORMAS NORMALES
#.1. S-+.*0(+ <10@)*.1+ 7* <12*<.-E(+
1/
D*:-2-<-/2B Cn +-+.*0( <10@)*.1 7* <12*<.-E(+ es un conjunto de conectivas a
partir del cual se pueden e*presar todas las fr!ulas lgicas.
P,1@1+-<-/2B { } ,
es un siste!a co!pleto de conectivas.
'E,2TDA/.IE% 4ode!os poner las conectivas !&s co!unes en funcin de estas
dos%
,( ) ( )- p q p q
p q p q
( ) ( ) p q p q q p
y co!o ya $e!os visto )ue 1

3 y 1

3 se
podan reducir- el bicondicional )uedar& ta!bi+n reducido a { } ,
W
P,1@1+-<-/2B { } ,
es un siste!a co!pleto de conectivas.
'E,2TDA/.IE% 4ode!os poner las conectivas !&s co!unes en funcin de estas
dos%
,( ) ( )- p q p q
p q ,p ( q)- p q
( ) ( ) p q p q q p
y co!o ya $e!os visto )ue 1

3 se puede
reducir- el bicondicional )uedar& ta!bi+n reducido a { } ,
W
P,1@1+-<-/2B { } ,
es un siste!a co!pleto de conectivas.
'E,2TDA/.IE% An&loga a las anteriores.
P,1@1+-<-/2B { } ,
no es un siste!a co!pleto de conectivas.
P,1@1+-<-/2B { } , , ,
no es un siste!a co!pleto de conectivas.
'E,2TDA/.IE% Eo es posible e*presar la negacin co!o fr!ula lgica!ente
e)uivalente a ninguna co!binacin de { } , , ,
. W
#a pregunta )ue a$ora nos podra!os plantear sera% M?ay alg9n siste!a co!pleto
de conectivas for!ado por un solo s!boloN Vea!os )ue s.
D*:-2-<-/2B #a 4(,,( 7* S'*::*,
p q
tiene la siguiente tabla de verdad%
O se corresponde con
(p q)
P,1@1+-<-/2B { } es un siste!a co!pleto de conectivas.
p )
p q
V V "
V " V
" V V
" " V
11
'E,2TDA/.IE% 4ode!os poner todas las conectivas en funcin de +sta- usando
p p p ( ) ( ) p q p p q q
( ) ( ) p q p q p q ( ) p q p q q
W
D*:-2-<-/2B El <12*<.1, 7* 2*6(<-/2 <12?32.( p q se lee 1ni p ni )3 y tiene la
tabla de verdad
P,1@1+-<-/2B { }

es un siste!a co!pleto de conectivas.

'E,2TDA/.IE% 4ode!os poner todas las conectivas en funcin de +sta. W
#.2. "1,0(+ 21,0()*+
4ara co!parar fr!ulas lgicas $eterog+neas es interesante llevarlas a su for!a
cannica- )ue no es nada !&s )ue una sucesin de disyunciones y conjunciones.
D*:-2-<-/2B #la!a!os :1,0( 21,0() 7-+H32.-E( de 4 a toda fr!ula e)uivalente
a 4 de la for!a
1 2 3
000
n
P P P P
- donde cada
i
P
es una conjuncin de letras
proposicionales o negaciones de letras proposicionales.
E?*0@)1B
( ) ,( ) )- ,( ) ( )- p q p q p q p q
O4+*,E(<-/2B "ij+!onos en )ue se corresponden con las asignaciones )ue $acen
verdadera la fr!ula.
D*:-2-<-/2B #la!a!os :1,0( 21,0() <12?32.-E( de 4 a toda fr!ula e)uivalente a
4 de la for!a
1 2 3
000
n
P P P P
- donde cada
i
P
es una disyuncin de letras
proposicionales o negaciones de letras proposicionales.
E?*0@)1B
,( ) )- ,( ) ( )- p q p q p q
7. LGE$RA DE $OOLE DE LAS PROPOSICIONES
p ) p q
V V "
V " "
" V "
" " V
12
ea el conjunto de todas las proposiciones lgicas. #os conectores lgicos son
operaciones lgicas- y por tanto- definen leyes de co!posicin en el conjunto .
D*:-2-<-/2B Cna A)6*4,( 7* $11)* o ,*.C<3)1 7-+.,-43.-E1 H <10@)*0*2.(,-1 est&
for!ado por el conjunto - y las operaciones
, ,
con las siguientes
propiedades%

.de!potentes

/on!utativas
( ) ( ) ( ) ( )
Asociativas
( ) p p q p ( ) p p q p
i!plificativas
( ) ( ) ( ) ( ) ( ) ( )
'istributivas
( ) (! c%n#ra&iccin)
rincipi% &$ n% c%n#ra&iccin
p p C ( ) (1 #au#%l%g2a)
rincipi% &$l #$rci% $3clus%
p p T
/o!ple!entario
A partir de estas propiedades )ue definen una &lgebra de >oole- encontra!os
otras )ue son consecuencia suya%
( )
4ropiedad involutiva dela negacin.
C C
T T

Ele!entos absorventes
( )
( )






#eyes de 'e ,organ
O4+*,E(<-/2B Toda proposicin co!pleja 4 e*presada !ediante las conectivas
)
tiene una propiedad 1dual3 -
4
P
)ue se obtiene ca!biando


1 p%r !
! p%r 1
por
por

%. LGICA Y TEORA DE CONJUNTOS

E*isten estrec$as relaciones entre las reglas lgicas y las nociones conjuntistas
)ue vere!os agrandes rasgos- ayud&ndonos de la definicin de for!a proposicional.
D*:-2-<-/2B Cna :1,0( @,1@1+-<-12() p7*8 es una agrupacin de t+r!inos de los
cuales uno es variable y cuando es sustituido por un ele!ento de un cierto conjunto
E- el enunciado se convierte en una proposicin lgica- es decir- pode!os calcular si
es verdadera o no.
E?*0@)1B #a e*presin 1* es !9ltiple de 33 es una for!a proposicional. En este
caso el conjunto E ser& . p7;8 J "
13
p71:8 J V
?ay un conjunto de a*io!as )ue funda!entan toda la teora de conjuntos%
A1. A*io!a de e*tensin.
'os conjuntos son iguales

tienen los !is!os ele!entos.

A2. A*io!a de e*istencia o no vacuidad.
4ara todo objeto a e*iste un conjunto- notado PaQ )ue ad!ite a por 9nico
ele!ento.
A3. A*io!a de co!prensin o separacin.
i p7*8 es una for!a proposicional efinida sobre E- e*iste un conjunto )ue
tiene por ele!entos los ele!entos de E )ue verifican p7*8.
D*:-2-<-/2B Este subconjunto se lla!a <)(+* 7* E*,7(7 7* )( :1,0( @,1@1+-<-12()
@IDJ y se denota E
@
. E
@
JP*E | p7*8Q
O4+*,E(<-/2B aE
p
p7a8JV
aE
p
p7a8J"
A<. A*io!a de reunin.
i E y " son dos conjuntos- e*iste un conjunto lla!ado E" for!ado por los
ele!entos )ue pertenecen a alguno de los dos conjuntos.
A;. A*io!a del conjunto de las partes.
i E es un conjunt- e*iste un conjunto PIEJ )ue tienen por ele!entos los
subconjuntos de E.
i E tiene n ele!entos- 47E8 tiene 2
n
ele!entos- ya )ue E tiene 2
n
subconjuntos
posibles.
&. LGICA DE PRIMER ORDEN
#os cuantificadores 7universal - e*istencial 8 transfor!an las for!as
proposicionales sobre E en proposiciones.
/uantificador universal
i para cada aE- p7a8 es verdadera- tene!os )ue *E p7*8 y se lee 1para todo *
perteneciente a E- se cu!ple p7*83.
O4+*,E(<-/2B Es lo !is!o )ue decir E
p
JE 7la clase de verdad de p7*8 coincide con el
conjunto de referencia8.
i E J Pa
1
- a
2
- ....- a
n
Q *E p7*8 p7a
1
8 p7a
2
8 ... p7a
n
8
/uantificador e*istencial
i al !enos para algun aE- p7a8 es verdadera- tene!os )ue *E p7*8 y se lee
1e*iste una * perteneciente a E tal )ue p7*8 es verdadera3.
O4+*,E(<-/2B Este!os diciendo )ue E
p
.
i E J Pa
1
- a
2
- ....- a
n
Q *E p7*8 p7a
1
8 p7a
2
8 ... p7a
n
8
14
D*:-2-<-/2B 'eci!os )ue la variable * es 037( por)ue
*E p7*8 yE 7y8 uE p7u8 vE.........
el valor de la proposicin no depende del no!bre de la variable elegida.
i y son fr!ulas cual)uiera- resu!i!os los c&lculos lgicos en %
Eegacin%
* *
* *
*y *Dy *y *Dy
*y *Dy *y *Dy
#eyes con conectores%
* 7 8 * *
* 7 8 * *
* * * 7 8 En estos dos casos no tene!os e)uivalencia.
* 7 8 * *
* 7 8 * *
* 78 * *
.nversin de cuantificadores%
* y *Dy y * *Dy
* y *Dy y * *Dy
* y *Dy y * *Dy
10. LGICA Y RAZONAMIENTO MATEMTICO
El !ecanis!o de elaboracin de la estructura !ate!&tica es el siguiente% en
principio se enuncian los conceptos pri!arios 7punto- recta- &ngulo- ele!ento-...8 a
partir de los cuales se definir&n todos los de!&s conceptos. Entre estos objetos
!ate!&ticos se establecen unas relaciones funda!entales )ue suelen ser una
ideali(acin de propiedades de objetos reales. To!a!os estas relaciones
1evidentes3 co!o a*io!as. "inal!ente- aplicando el ra(ona!iento $ipot+tico0
deductivo llegare!os a los teore!as- )ue son las consecuencias lgicas de nuestra
a*io!&tica.
'efiniciones 'educcin lgica #eyes
A*io!a Teore!as
15
D*:-2-<-/2B e lla!an 21<-12*+ @,-0*,(+ o .K,0-21+ @,-0-.-E1+ a objetos
!ate!&ticos cuya definicin est& fijada a priori y no depende de otros ele!entos
7objetos pri!arios8. e representan por letras o s!bolos.
D*:-2-<-/2B e lla!an (D-10(+ a las reglas )ue describen la !odalidad de e!pleo
de t+r!inos pri!itivos. Eo se deducen de ninguna otra relacin. Tienen valide( por
s !is!os.
D*:-2-<-/2B #as 21<-12*+ 7*,-E(7(+ son reuniones de t+r!inos pri!itivos obtenidas
a trav+s de la aplicacin de a*io!as.
D*:-2-<-/2B #as *D@,*+-12*+ 0(.*0A.-<(+ son reuniones- con un cierto
significado- de nociones pri!eras o derivadas.
#as teoras !ate!&ticas versan en !uc$as ocasiones- no sobre objetos concretos-
sino sobre conjuntos de objetos. 4ara tratar estas situaciones se introducen las
E(,-(4)*+.
D*:-2-<-/2B Cna E(,-(4)* representa un objeto !ate!&tico no deter!inado- con la
9nica condicin de pertenecer a cierto conjunto.
D*:-2-<-/2B Cna <12+.(2.*- en ca!bio- es un ele!ento deter!inado no sujeto a
variacin.
D*:-2-<-/2B Cna @,1@1+-<-/2 es una e*presin !ate!&tica a la cual se le puede
atribuir sin a!bigGedad el valor 1verdadero3 o 1falso3.
D*:-2-<-/2B Entonces lla!a!os (D-10( en una teora a toda proposicin a la cual se
le atribuye por convenio el valor 1verdadero3.
D*:-2-<-/2B #la!a!os .*1,*0( a toda proposicin a la cual se le atribuye !ediante
de!ostracin el valor de 1verdadero3.
En un teore!a obtene!os una deter!inada conclusin o .*+-+ T co!o consecuencia
lgica de unas proposiciones de partida o pre!isas- )ue constituyen la '-@/.*+-+ 8.
El enunciado de un teore!a !ate!&tico suele estructurarse co!o una i!plicacin
lgica- y se escribe de la for!a 1 ?

T 3
D*:-2-<-/2B e lla!a 7*01+.,(<-/2 de un teore!a al paso de la $iptesis a la tesis-
$ec$o !ediante el proceso de deduccin lgica sirvi+ndose de definiciones-
a*io!as y otros resultados previos ya de!ostrados.
En la figura ve!os los no!bres de diferentes teore!as seg9n las posiciones )ue
to!en tesis y $iptesis- variando ta!bi+n su negacin o no.
16
?

T T

?
directo recproco
no ?

no T no T

no ?
contrario contrarrecproco
#a ley de contraposicin deca )ue
( )
- por tanto de a)u
deduci!os )ue el enunciado directo y su contrarrecproco son e)uivalentes.
Asi!is!o ta!bi+n lo son el recproco y el contrario.
En este principio de contraposicin se basan las de!ostraciones por ,*73<<-/2 ()
(4+3,71. e supone lo contrario de lo )ue se )uiere probar y se llega a
contradiccin- es decir esta!os de!ostrando 1 no T

no ? 3 en lugar de 1 ?

T
3.
i resulta ser v&lido el teore!a directo- se dice )ue ? es <127-<-/2 +3:-<-*2.* para
)ue se verifi)ue T- o )ue T es <127-<-/2 2*<*+(,-( para )ue se verifi)ue ?. i son a
la ve( ciertos el teore!a directo y el recproco- entonces escribi!os ?

T- y
deci!os )ue ? es condicin 2*<*+(,-( H +3:-<-*2.* para )ue se verifi)ue T- o bien
)ue T se verifica si y slo si se verifica ?.
11. OTRAS APLICACIONES DE LA LGICA PROPOSICIONAL
#a pri!era aplicacin a de la lgica si!blica a un proble!a de negocios fue $ec$a
en 1R36 por >erSeley- )ue trabajaba en una co!pa5a de seguros. Dedujo al
si!bolis!o lgico un difcil proble!a relacionado con la ordenacin de los pagos de
pli(as de los asegurados.
2tras aplicaciones posteriores fueron el control de e*actitud de censos y
estadsticas- cl&usulas de e!pleo en contratos colectivos- an&lisis de relaciones
entre c+lulas nerviosas del cerebro $u!ano- ...
'urante el .66 se estuvo trabajando ta!bi+n en la 1de!ostracin auto!&tica de
teore!as3 7/$urc$- Turing- ?erbrand8- y en la actualidad ya se $an creado
lenguajes de progra!acin co!o el 4D2#2B )ue funcionan utili(ando la lgica de
pri!er orden- obteniendo resultados )ue con otros !+todos de progra!acin
seran $arta!ente costosos.
2tro ca!po de aplicacin es el de la electrnica. /on el tel+fono y con las
co!putadoras se necesitaba una !anera de si!ular el funciona!iento de circuitos.
#os circuitos funcionan !ediante varios interruptores- )ue pueden estar abiertos
718 o cerrados 7H8.
2"" J H 2E J 1
17
i tene!os dos interruptores A y >- los pode!os conectar
EE ED.E 7A

>8 EE 4ADA#E#2 7A

>8
.dentifica!os la cone*in en serie con la conjuncin por)ue para )ue pase
corriente deben estar los dos interruptores abiertos 7posicin 18. En ca!bio-
cuando est&n conectados en paralelo- basta con )ue uno de ellos est+ en la posicin
1.
Asi!is!o- pode!os representar circuitos !&s co!plicados con una fr!ula lgica-
y a la inversa.
A > / 7A

>8

7A

/8
1 1 1 1
1 1 H 1
1 H 1 1
1 H H 1
H 1 1 1
H 1 H H
H H 1 1
H H H H
Esto $a dado lugar al estudio de las redes neuronales- donde cada c+lula artificial
funciona to!ando valores H-1. Este estudio- unido a aplicaciones !&s avan(adas de
otros ca!pos de la lgica- est& $aciendo posible- por eje!plo- )ue $oy en da $aya
trenes )ue son conducidos por co!putadoras en los inicios de lo )ue posible!ente
dese!bocar& en la 1inteligencia artificial3.
$I$LIOGRA"A
/. >A'EA- ..TAEF- D.TAEAEA Ele!entos de lgica for!al. Ariel "ilosofa.
>arcelona 1RR:
18
5 6
5
!
T.EAVADD2- T. B2,EU- ".BAD/KA- E.,. 4.EA- Te!ario para la preparacin de
oposiciones- V.... Ed.,A' ,urcia 2HH2
4. C44E y . ?.##- .ntroduccin a la lgica !ate!&tica. Ed. Devert+- >arcelona-
1RV3.
En internet%
=3.!or.ites!.!*WXlogicaWlogR:H:Wc!odulo2.$t!l
===.!or.ites!.!*WXal332HH2Wtarea1.$t!l
biofisica.fcien.edu.uyW!odulo;.pdf
19