1.

- LGICA PROPOSICIONAL
1.1.- Tablas de verdad para las conectividades
p q p pq pq pq pq pq
V V F V V F V V
V F F F V V F F
F V V F V V V F
F F V F F F V V
R S si sus tables de verdad so i!uales
Tautologia "sete#ia v$lida%& so verdaderas para #ualquier iterpreta#i'.
(odos los valores de la tabla de verdad so V
Contradiccin& (odos los valores de la tabla de verdad so F
1.2.- Validacin de sentencias proposicionales.
a% )ediate Tablas de Verdad se #o*prueba la valide+ de la sete#ia
b% )ediate rboles semnticos&
luego S no es vlida ya que hay un nodo F
#% )ediate Refutacin& Supoer ,alsa la sete#ia a validar - ver si ello supoe ua
#otradi##i'.
Ejemplo
R !p q" !p q" Suponemos R falsa# luego V F
V FV Si la negacin es F# p q deber ser V y por
F F V V tanto p y q son V y sus negaciones F
F !contradiccin" El primer miembro ser F lo que supone una
$onclusin R es vlida contradiccin.
1.3.- Leyes de la lgica de proposiciones:
a) Identidad& p p % p p b) Doble negacin& p !p"
c) Tercio exclusivo: p p d) Contradiccin: !pp"
e) de Morgan: !pq" !pq" f) Conmutacin: pqqp % pqqp
!pq" !pq" !pq"!qp"
g) Asociativa respecto . . - h) Distributivas: !" !" !" !"
i) Reduccin al absurdo: &p !q q"' p ) Transposicin: !p q" !q p"
!) "ermutacin: &p !q r"' &q !p r"' !p q" !q p"
l) #ilogismo Dis$untivo %Inferencia Alternativa) m) #ilogismo &ipot'tico %Transitividad):
&p!pq"' q &p!pq"' q &!pq" !qr"' !pr"
n) Dilemas constructivos: &!pq" !qr"' !pr"
&!pq"! pr"!qr"' r () Dilema destructivo:
&!pq"! rs"!pr"' !qs" &!pq"! rp"!sq"' !rs"
o) )xportacin: &!pq"r' &p!qr"' p) Resolucin: &!pq"!pr"' !qr"
*) +icondicional: !pq" &!pq" !qp"' r) Cond, Dis$untiva: !pq" !pq"
s) Cond, Conuncin: !pq" !pq" t) #imlificacin: !pq" p % p !pq"
u) )xpansin: !pq" &p!pq" v) M"M: &!pq"p' q
/ !pq" &q!pq" -) MTT: &!pq"q' p
1.4.- iste!a "#io!$tico:
1% (lfabeto& Variables proposicionales& p0 q0 r0 s.....
$onectivas& 0 0 0 0 0
)ar*ntesis
1e las #oe#tivas se to*a #o*o pri*itivas - . Las de*$s se i,iere a partir de
ellas& pq "pq%pq pqpq 2"pq%"qp%3pq "pq%
4% (+iomas&
A.1 "pq% p
A.4 q "pq%
A.5 "pq% "qp%
A.6 "pq% 2"rp%"rq%3
5% Reglas& 7(oda sete#ia bie ,or*ada es u (eore*a8
a% Sustitucin& 79l resultado de sustituir #ualquier variable e u teore*a por
ua sete#ia bie ,or*ada0 es u teore*a8.
b% Separacin& 7 si S - "SR% so teore*as0 R es u teore*a8
1.%.- iste!a &n'erencial& Se dedu#e uas Co#lusioes a partir de uas :ip'tesis
La ,or*a es#ribir i,ere#ias es& S R
R )remisas
S $onclusin
a% Reglas de ,nferencia&
1% Separacin& S R 4% -nin& S
S R
R S R
5% ,nsercin& S R 6% ,ntercambio& S R
R ( R (
S ( S (
b% Regla de resolucin&
$lusula& 7dis-u#i' de literales "variables proposi#ioales solas o e!adas%8
Sete#ia e ,or*a Clausulada& #o;u#i' de #l$usulas "dis-u#ioes%
Cualquier sete#ia bie ,or*ada se puede poer e forma clausulada&
- eliminamos condicionales y bicondicionales
- aplicamos las .eyes de /organ
- aplicamos la ley distributiva para la disyuncin
La re!la de sustitu#i' se apli#a a dos pre*isas e ,or*a de #l$usulas0 deo*iadas
7generatrices80 que #otiee ua variable proposi#ioal si e!ar e ua - la *is*a
e!ada e la otra. La resolu#i' #osiste e #rear otra #lausula deo*iada 7resolvente8
,or*ada por la dis-u#i' de todas las variables proposi#ioales de las !eeratri#es *eos
la #o*<.
Ejemplo&
P1& p q r
P4& q s p r s
P5& p r r s
#% Refutacin& Cosiste e dedu#ir "va#=a% a partir de S ,or*ada por u #o;uto de pre*isas
"P10P40...P% *$s la e!a#i' de la #o#lusi' "C%
Ejemplo&
P1& p q P1& p q
P4& q P4& q p
C& p C& p
EJERCICIOS
1.- Sea A contradiccin o absurdo y sea T una tautologa. Selese la nica
tautologa que hay a continuacin. a.- (p p) T. b.- (AT) T.
c.- T (p p). d.- (p p) A. (R.:c).
La parte izquierda de a.- es una contradiccin que no puede equialer a una
tautologa! la parte izquierda de b.- es contradiccin" luego no puede ta#poco!
la izquierda de d.- es tautologa" luego no puede equialer a contradiccin.
Slo la c.- equiale a TT que es T.
*
2.- $na ley de %e &organ es' a.- (p p). b.- (pq)(pq).
c.-(pq)(pq). d.- (pq)(pq). (R.: b).
La pri#era es la ley de doble negacin. La segunda es" natural#ente" una de las
leyes de %e &organ. Las otras dos proposiciones ni siquiera son tautologas.
*
3.- La regla de resolucin es una aplicacin siste#tica de la tautologa'
a.- ((p q)(p r)) (qr). b.- p p. c.- (pq) (qqp). d.- pqq.
(R.: a).
Las tres lti#as son tautologas" pero no representan la regla de resolucin. La
tautologa a.- es una i#plicacin #aterial. %enote#os con %(A" )* la a+ir#acin
de que ) se deduce de A (o que de A se deduce )*. ,eal#ente la regla deductia
de resolucin debe decir que %((pq*(-pr*" qr*! por abuso de lengua.e" esto
se enuncia diciendo que la regla de resolucin es una aplicacin siste#tica de
a.-. ((p q*(-p r** (qr* es una tautologa (de las lla#adas /leyes0*.
*
9.- Si pq" entonces se in+iere' a.- pq. b.- pq. c.- pq. d.- qp. (R.:
a).
1uesto que pq es p-q" y por ello es (p-q*(q-p*" es in#ediato que se
in+iere a.-! pero por si queda alguna duda de la +alsedad de las otras tres
respuestas" probare#os que no se in+ieren con un contrae.e#plo para cada una.
As" para p 2 3 y q 2 4" pq es erdadera" pero pq y pq son +alsas" luego no
se deducen de aqu5lla. 6 para p 2 4 y q 2 3" pq es erdadera pero qp" no lo
es" luego no se deduce de aqu5lla.
*
12.- La +or#a clausulada de (pq*(rs* es' a.- (pr)(ps)(qr)(qs).
b.- ya est en forma clausulada.- c.- (pr)(ps)(qr)(qs).
d.- (pq)(pr)(qr)(qs). (R.: c).
%e un istazo" obia#ente no pueden ser ni la a.- ni la b.-" ya que son 0s
separadas por 0s (al re5s que el +or#ato clausular*" luego slo quedan las
otras dos. Aplicando la propiedad distributia a la +rase proble#a" en el pri#er
paso se tiene ((pq*r*((pq*s*" lo que ya per#ite er in#ediata#ente que la
respuesta correcta es la c.-.
*
21.- La negacin de p q es' a.- pp. b.- qp. c.- pq. d.- pq. (R.: c).
1oniendo -(p q*" que es -(-pq*" y aplicando la ley de %e &organ.
*
22.- La proposicin (p q* ((pq* (pq** es' a.- Una tautologa. b.- Una
contradcc!n. c.- "ndetermnada. d.- #nguna de las anterores. (R.: a).
1ues para p 23" la +rase se reduce a (3 q* ((3q* (3q**" o sea"
q (3q*" que es erdadera tanto para q 2 3 co#o para q 2 4! y si p 2 4 se
reduce a (4 q* ((4q* (4q**" que es -q (q 4*" y que es"
eidente#ente" una tautologa.
*
23.- p(qr* equiale a (pq*(pr*. 7sto es ' a.- "mpre$sble.
b.- %arcalmente falso. c.- &orrecto. d.- %arcalmente mposble. (R.: c).
)asta con er que si p es 3" las dos se reducen a qr" y si p 2 4" a#bas se
reducen a 4. Atacar este proble#a haciendo las tablas de erdad co#pletas es una
p5rdida de tie#po considerable.
*
24.- La regla de separacin dice' a.- ' 'R es teorema( R' tamb)n. b.- ' ' y
'R son teoremas entonces R es un teorema. c.- ' ' y 'R son teoremas(
entonces R tamb)n. d.- nnguna de las anterores. (R.: b).
1or de+inicin es la b.-! la a.- e8presa un teore#a de la deduccin" que puede
ser utilizado co#o regla. La c.- es sencilla#ente +alsa en general.
*
26.- A suponer +alsa una sentencia que se pretende alidar y llegar a una
contradiccin se le lla#a' a.- Resoluc!n. b.- Refutac!n. c.- Restrcc!n. d.-
Reterac!n. (R.: b).
1or de+inicin de cada uno de estos conceptos slo puede ser la b.-. %ado un
con.unto de pre#isas y una presunta conclusin" probar que un razona#iento est
bien hecho" por re+utacin" consiste en elaborar otro razona#iento que tenga por
pre#isas las #is#as que aqu5l #s otra pre#isa que es la negacin de su
conclusin" y probar despu5s que este nueo con.unto de pre#isas llea a
contradiccin. Se lla#a a esto razonar por reduccin al absurdo.
7n el caso de que quera#os probar la alidez de una +rase lgica" por
re+utacin" supone#os que es la consecuencia de un con.unto aco de pre#isas"
la nega#os (ahora ser una nica pre#isa* y procede#os a probar que se llega a
contradiccin.
7n estos casos quera#os probar la erdad de algo o que un razona#iento es
correcto.
Ta#bi5n se dice que" dado un razona#iento o deduccin incorrecta o +alaz"
re+utarlo es dar un caso particular en el que las pre#isas se satis+agan (o sean
erdaderas*" y la 9conclusin0 no! porque entonces esa 9conclusin0 no puede
in+erirse de aquellas pre#isas.
7n el caso de que quera#os probar que una +rase no es uniersal#ente lida o
tautolgica" se dice que la re+uta#os cuando da#os un contrae.e#plo para el cual
se conierte en +alsa (o la +alsa#os*
7n estos otros casos quera#os probar la +alsedad de algo o que un razona#iento
es incorrecto.
:e#os pues que en di+erentes conte8tos se usan las palabras 9re+utacin0 y
9re+utar0 y que son polis5#icas" aunque sus signi+icados sean parecidos. 7n el
proble#a actual no haba lugar a dudas.
35.- Si encontra#os un contrae.e#plo para una e8presin lgica" entonces pode#os
asegurar que esta +rase' a.- es un$ersalmente falsa (o sea falsa en todo caso).
b.- no es un$ersalmente $erdadera. c.- no es un$ersalmente falsa. d.- es
$erdadera *a $eces+ (o sea( seg,n el caso). (R.: b).
7l contrae.e#plo asegura que en algn caso es +alsa (b.-*! pero no asegura que
lo sea en todos (a.-*" ni que no sea uniersal#ente +alsa (c.-*" es decir no
asegura que en algn otro caso sea erdadera (d.-*! (c.-* y (d.-* dicen lo
#is#o.
*
37.- A partir de las proposiciones 13' 99;uan necesita un abogado o ;uan
necesita un #5dico00 y 1<' 99Si ;uan necesita un abogado entonces necesita un
#5dico00" se deduce que' a.- necesta un m)dco. b.- necesta un abogado. c.- no
necesta un m)dco. d.- no necesta un abogado. (R.: a).
Si las pre#isas tuiesen las +or#as pq y pq" entonces a.- es q" b.- es p" c.-
es -q y d.- es -p. %e las pre#isas se in+iere q" pues la segunda en +or#a
clausulada es -pq" que por resolucin con la pri#era da q. %e las pre#isas no
se in+iere p" lo que es eidente para p 2 4 y q 2 3! ni -p" lo que lo es para p
2 3 y q 2 3! ni -q" lo que lo es ta#bi5n para p 2 3 y q 2 3.
*
49.- Si A es contradiccin o absurdo y T es tautologa" entonces' a.- (AT)T.
b.-(AT)T. c.- T(TA). d.- TA. (R.: a( basta cambar A por -( T por .( y
aplcar las defncones de los operadores l!gcos).
*
52.- %e las siguientes clusulas" pqr" -pr" -q" -r"' a.- no se deduce nunca
una contradcc!n. b.- puede deducrse la clusula $aca. c.- no se puede
deducr una tautologa. d.- producen e/plos!n combnatora. (R.: b).
Se deduce una contradiccin o la clusula aca (+or#an un con.unto inconsis-
tente de pre#isas" o son con.unta#ente insatis+acibles para cualesquiera alores
4" 3 que to#en las ariables*. $n procedi#iento para erlo" pero poco
reco#endable por su e8tensin" es hacer la tabla de erdad de la +uncin
booleana que resulta al unirlas con 0s' se era as que todos los alores son
ceros. ,esoliendo por resolucin la segunda con la cuarta" se obtiene -p" que
con la pri#era da qr" la cual" con la tercera da r" la cual" de nueo con la
cuarta da la clusula aca. Se puede deducir una tautologa de cualquier cosa"
puesto que al negarla co#o conclusin se producen dos +rases que pueden ser
utilizadas co#o pre#isas de una resolucin con re+utacin para dar la clusula
aca (y anloga#ente" de una contradiccin se deduce cualquier cosa" dado que
al negar la conclusin y agregarla al con.unto de pre#isas" se puede obtener la
clusula aca" ya que hay dos pre#isas contradictorias*. 1or lo tanto la
respuesta c.- es +alsa en todo caso. 1or lti#o la d.- es incorrecta' obtenga
e8haustia#ente todas las clusulas por resolucin" er que no hay real#ente
#uchas y se aprecia en seguida que no hay e8plosin co#binatoria.
*
57.- Si 13" 1<" ..." 1n son pre#isas" de#ostrar que = es una conclusin lida
de ellas es equialente a probar que la siguiente proposicin origina la
clusula aca'
a.- (%.%0...%n)&. b.- (%.%0...%n)&. c.- (%.%0...%n)&.
d.- (%.%0...%n)&. (R.: b).
La b.- es obia" ya que no es sino la de+inicin del proceso de re+utacin. 1ero
es interesante probar que las otras tres opciones no son lidas. 1ara ello
si#pli+ica#os el proble#a para una sola pre#isa dada por 1 2 131<...1n. As"
para la respuesta correcta se tiene %(1" =* %(1-=" *" donde %(>" 6* se lee
9de > se deduce 60. 1ero a.- no puede ser lida pues ello supondra
%(1" =* %(-1-=" *. $n contrae.e#plo' de 1 2 pq" se deduce la conclusin =
2 q" pero de -1-= 2 -(pq*q (que es la clusula -p-qq" o sea" una
tautologa*" no se in+iere la clusula aca.
La c.- no puede ser correcta porque ello supondra %(1" =* %(-1-=" *.
$n contrae.e#plo' de 1 2 p-p se deduce = 2 p-p" pero de
-1-= 2 -(p-p*-(p-p* (que es una tautologa* no se puede in+erir la clusula
aca.
1or lti#o" d.- no puede ser correcta" porque ello supondra
%(1" =* %(-1=" *. $n contrae.e#plo' de 1 2 p-p se deduce = 2 p-p" pero de
-1= 2 -(p-p*(p-p* (que es una tautologa* no se puede in+erir la clusula
aca.
*
61.- Seale" si e8istiera" una contradiccin o absurdo' a.- p(pp). b.- no
1ay nnguna. c.- (pq)p. d.- (q(qp)(pq))q. (R.: b).
$na #era inspeccin per#ite er que las tres son tautologas.
*
62.- Seale el razona#iento que es incorrecto
A.- ).-
pq pq
p-q p
--------- ---------
q
a.- '!lo el A. b.- '!lo el 2. c.- Ambos. d.- #nguno. (R.: d).
A#bos son correctos! las clusulas de las pre#isas de A" son -pq" p" -q" de las
cuales es in#ediato llegar a la clusula aca por resolucin. 7n )" la negacin
de la conclusin es -q que .unto con las clusulas -pq y p de las pre#isas
per#ite probar la alidez del razona#iento inicial por resolucin con
re+utacin.
*
63.- 7n el razona#iento de pre#isas -pq" zr" -r" y conclusin q" z puede ser'
a.- rp. b.- pp. c.- pq. d.- #nguna de las anterores. (R.: c).
7s sencillo er en qu5 caso" al negar la conclusin" se a a llegar a la
clusula aca. 7n el pri#er caso" al sustituir z" se tienen las clusulas -pq"
r-p" -r" -q" de las que es i#posible llegar a .
1ara el segundo caso" la introduccin de una tautologa co#o pre#isa es
co#pleta#ente intil a e+ectos deductios y ta#poco se puede llegar.
1ara el tercero" sustituyendo" queda -pq" pqr" -r" -q" de donde es casi
in#ediato llegar a la clusula aca.
*
64.- $n con.unto de pre#isas" en lgica de pri#er orden" es consistente si y
slo si se satis+acen si#ultnea#ente en algn caso (o sea si e8iste un e.e#plo
o caso particular o #odelo" que las conierte a todas en erdades*. 7ntonces'
a.- consstente mplca un$ersalmente $ldo. b.- un$ersalmente $erdadero
mplca consstente. c.- nconsstente mplca un$ersalmente $erdadero. d.-
consstente mplca un$ersalmente falso. (R.: b).
%el hecho de ser erdadero en algn caso" no se in+iere serlo en todos" luego
a.- no es cierta. Si se es erdadero en todo caso" se es erdadero en alguno"
luego b.- es la correcta. Si no se es erdadero en ningn caso" no se puede
serlo en todos" luego c.- no es cierto. Si se es cierto en algn caso" no se
puede ser +also en todos" luego d.- no es cierta.
*
76.- Seale el razona#iento incorrecto si lo hay
3 (pq* r < (pq* r
r s q (st*
q-s -----------
------------
-p
a.- '!lo el 0. b.- Ambos. c.- #nguno. d.- '!lo el .. (R.: a).
7+ectia#ente" el < es incorrecto pues p. e.. para p 2 q 2 r 2 s 2 t 2 3 no se
obtiene 4. Las clusulas de las pre#isas son -p-qr" -qs" -qt que +rente a la
resolucin +or#an un con.unto co#pleto (la clusula aca no es obtenible*. 7l 3
es correcto. 1. e.." de las dos pri#eras se obtiene" por la transitiidad de
90" que (pq* s lo que genera la clusula 13' -p-qs" que con 1<' q" con
1?' -s y con la negacin de la conclusin 1@' p" per#ite llegar a la clusula
aca.
*
78.- La sentencia 9en lgica de proposiciones" si se deduce una +rase" entonces
no se puede deducir su negacin0. a.- es falsa. b.- nnguna de las otras tres
opcones. c.- depende del un$erso del dscurso. d.- es $erdadera. (R.: d).
La +rase que se deduce de los a8io#as-tautologas ha de ser una tautologa"
luego su negacin ser una contradiccin y no puede deducirse en lgica de
proposiciones. 1or consiguiente" la +rase enuncia si#ple#ente la a+ir#acin de
que la lgica de proposiciones es consistente.
*
81.- Seale" si la hay" una tautologa'
a.- ((p q)(p q)) q. b.- ((p q)(pq)) q. c.- pq. d.- nnguna
de las anterores. (R.: a( ob$amente).
*
82.- Andique el razona#iento incorrecto
a.- pq b.- pq c.- prq d.- p
pr pq r qp
q r q q
---------- ------------ ------------ --------
r p
(R.: b( ob$amente)
*
85.- Si deci#os que 99) no se deduce de A" si e8iste una interpretacin
(contrae.e#plo en este caso* que hace que A sea erdadera y ) +alsa00" esta#os'
a.- equ$ocados. b.- parcalmente acertados. c.- en lo certo. d.- es un
dsparate. (R.: c. 3s la defnc!n de la refutac!n.)
89.- Si 1 es un con.unto de pre#isas en con.uncin" para de#ostrar que no es
cierto que 9= se deduce de 10" basta probar que en algn caso' a.- %&.
b.- %&. c.- %&. d.- %&. (R.: b).
7s la b.- por de+inicin de re+utacin. :ea#os que las otras tres no pueden ser
erdaderas. La a.- es 1 -=" lo que no e8cluye que = pueda deducirse de 1. 1or
e.." basta con que 1 sea una contradiccin. La tercera igual" -1-=" no es
su+iciente para asegurar que = no se deduce de 1" pues por e.e#plo si a#bas son
contradicciones" = se deduce de 1 y ade#s -1-= es erdadera. La cuarta es
-1=" o sea 1 =" que ta#poco es su+iciente para asegurar que = no se deduce
de 1' es #s" si = se deduce de 1" entonces 1 = (recuerde que 90"
9#aterial#ente0" o sea -1B*.
*
90.- La regla de interca#bio es
a.- ' R b.- R ' c.- R T d.- ' R
R T R T T ' R T
------------- ---------- ----------- ----------
' T ' T R T '
(R.: a( por defnc!n).
*
101.- Sean" A contradiccin o absurdo y T tautologa. Seale la nica
contradiccin. a.- (p p) A. b.- (AT) T. c.- q p. d.- (p p)
A. (R.: d( ob$amente).
*
102.- $na ley de %e &organ es' a.- (pq) (pq). b.- (pq) pq. c.-
(pq) (qp). d.- (pq) (p q). (R.: b( e$dentemente).
*
103.- La +or#a clausulada de la e8presin -(pq*p es' a.- pq. b.- pq. c.-
(pq)(pq). d.- pqq. (R.: a).
*
104.- Seale la e8presin equialente a (pp)(qp): a.- q p. b.- p q.
c.- (pq) p. d.- p (pq). (R.: c).
Teniendo en cuenta que al quitar la tautologa" es equialente a -q-p" o sea a
q -p" las dos pri#eras quedan in#ediata#ente descartadas. 1oniendo las otras
en +or#a clausulada se tiene para c.-" (p-q*-p" que origina (p-p*(-q-p*"
luego 5sta es la correcta! la d.- es una tautologa. Cacer aqu las tablas de
erdad supone una p5rdida de tie#po.
*
105.- %ado el con.unto de clusulas D-qp" pr" q-r" -pE' a.- e/ste una
nterpretac!n que las satsface smultneamente. b.- toda nterpretac!n las
satsface smultneamente. c.- se deduce de ellas la clusula $aca. d.- no
puede deducrse de ellas la clusula $aca. (R.: c).
%e la pri#era y la cuarta se in+iere -q" que" con la tercera" origina -r! de la
segunda y la cuarta se in+iere r! y de r y -r se in+iere . 1or lo tanto no son
satis+acibles en ningn caso de #anera con.unta (la con.uncin de esas clusulas
con 0s slo puede dar ceros en su tabla de erdad' +or#an un siste#a
inco#patible o sin solucin lida alguna" o sea un siste#a inconsistente de
proposiciones! de todas esas #aneras se puede decir*.
*
106.- %e pq se deduce' a.- p q. b.- pq. c.- p q. d.- q p. (R.: a).
=o#o pq es (p -q*" o sea (p -q*(-q p*" la respuesta es obia. (:5ase
el proble#a F*.
*
122.- %e pq se deduce que' a.- pq. b.- pq. c.- pq. d.: qp (R.: b( como
en el .-4).
*
125.- Sea C la proposicin C ((p q*q* p (es la #is#a C para las
preguntas 3<G y 3<H*. C es equialente a' a.- q p. b.- p q. c.- p. d.- q.
(R.: a).
Io se debe co#probar la equialencia #ediante tablas de erdad" por el tie#po
que esto llea. Si#pli+ique#os la +rase' -((-pq*q*p" o sea ((p-q*-q*p"
que" aplicando las propiedades distributia y la asociatia" queda (p-qp*
(-q-qp*" eidente#ente reducible a -qp" o sea q p.
*
126.- -C es' a.- una contradcc!n. b.- una tautologa. c.- n una contradcc!n
n una tautologa. d.- equ$alente a 5. (R.: c).
Jbia#ente C no puede ser equialente a -C. 6 co#o es q p" no es ni una
tautologa (pues para q 2 3" p 2 4" es 4*" ni una contradiccin (pues para q 2 p
23" es 3*" la respuesta es c.-.
*
127.- Si C +uese una e8presin de lgica trialente de LuKasieLicz" y si el
alor de p +uese 3(erdadero*" entonces el alor de C sera' a.- .. b.- 6 . c.-
-. d.- 078. (R.: a).
7l alor de C es #n(3" 3M p - #n(q" #n(3" 3- pMq* * *" con lo que " para
p 2 3" da 3.
*
128.- %e las siguientes hiptesis" 73 p q" 7< q se deduce' a.- p. b.- p.
c.- pp. d.- q. (R.: c).
$na tautologa se deduce de cualquier proposicin. 1ero" por si hay duda de que
las de#s no pueden ser erdaderas" tene#os' 1ara p 2 4 y q 2 3" las pre#isas
son erdaderas pero la 9conclusin0 a.- p " es +alsa. 1ara p 2 3 y q 2 3" las
pre#isas son erdaderas" pero la 9conclusin0 b.- -p es +alsa. 1ara q 2 3" las
pre#isas son erdaderas pero la 9conclusin0 d.- -q es +alsa.
*
142.- %e pq se in+iere' a.- pq. b.- pq. c.- p q. d.- qp. (R.: b).
7s lgico' de la inco#patibilidad de p y q a+ir#ada en el 9o e8clusio0" no
puede in+erirse ni la equialencia" ni la con.uncin" ni la inco#patibilidad con
su contraria. 1ero s que alguna de las dos ha de ser erdadera" puesto que una
equiale a la negacin de la otra. 1uede acudirse a cualquier procedi#iento de
los citados en la presente coleccin de e.ercicios para co#probarlo.
*
162.- %e p-q" se deduce ' a.- pq. b.- (pq). c.- p q. d.- q p. (R.:c).
1uesto que p-q es pq" la respuesta es obia! pq no se deduce de pq" co#o
lo prueba el caso p 2 q 2 4" que hace a 5sta erdadera y a aqu5lla +alsa.
*
165.- %e las siguientes dos hiptesis 73 p q" 7< q" se deduce' a.- p. b.-
p. c.- pp. d.- pq. (R.: d).
7idente#ente es d.-" ya que la +rase de d.- es 73" y de 737< se deduce 73. Las
de#s no se deducen. 1ues" en a.-" para p 2 4" q 2 3" las hiptesis son
erdaderas" pero la conclusin es +alsa. Anloga#ente ocurre para b.- con p 2 q
2 3.6 con c.-" con slo q 2 3.
*
4.- LGICA 19 PR91ICA1OS
2.1.- (l lengua)e de la Lgica de *redicados
Predi#ado es la ,or*ali+a#i' de ua propiedad o de ua rela#i'.
Ejemplo&
sea (!+" 0 1es un mam2fero3% para +01perro3 es (!+"0V mientras que (!+"0F si +03aguila3
>a sete#ia es cerrada si todas las variables que iterviee e las ,'r*ulas at'*i#as que la
#o*poe est$ #uati,i#adas.
Co el uso de los #uati,i#adores - se puede des#ribir los #uatro *odelos b$si#os de
eu#iados de la l'!i#a #l$si#a&
-niversal afirmativo& "?% P"?% 7Todos los + son !cumplen" )8
-niversal negativo "?% P"?% 74ing5n + es )3
)articular afirmativo "?% P"?% 7(lg5n + es )8
)articular negativo "?% P"?% 7(lg5n + no es )8
S2mbolos& - funciones& ,0 !0 @...
- predicados& P0 A0 R...
- cuantificadores& -
:a- sete#ias que sie*pre so verdaderas0 por e;e*plo "?% P"?% "?% P"?%
Las di,ere#ias etre la se*$ti#a de la l'!i#a de predi#ados - de proposi#ioes so&
a% La iterpreta#i' se apli#aba e l'!i#a de proposi#ioes al #o;uto de variables
proposi#ioales0 *ietras que e l'!i#a de predi#ados debe e?tederse el do*iio de la
apli#a#i' a todos los ele*etos del uiverso del siste*a.
Ejemplo& si los valores posibles de ? B Ca0b0#0dD
"?% P"?% P"a% P"b% P"#% P"d%
"?% P"?% P"a% P"b% P"#% P"d%
b% La e?tesi' de do*iio de ua ,u#i' al #o;uto de las sete#ias #erradas tedr$ que
teer e #ueta la prese#ia de #uati,i#adores
#% La rela#i' de equivale#ia e el #o;uto de sete#ias se de,ie de *aera a$lo!a que e
la l'!i#a de proposi#ioes0 pero el <*ero de #lases de equivale#ia0 si el uiverso es
i,iito0 ta*biE es i,iito.
d% Los a?io*as so los *is*os del siste*a P)0 a los que se aFade dos *$s&
A.G .ey de especificacin& "?% P"?% P"a%
A.H .ey de introduccin del generali6ador& "?%"pP"?%% "p"?% P"?%%
e% Las leyes de la l'!i#a de proposi#ioes se puede !eerali+ar a la l'!i#a de predi#ados. 9
las p$!s. IG - si!uietes del *aual se detalla las le-es0 de las #uales desta#a*os&
1% "?% P"?% "?% "P"?%% 4% "?% P"?% "?% "P"?%%
5% "?% "P"?%% "?% "P"?%% 6% "?% P"?% "?% "P"?%%
G% "?% "P"?%A"?%% "?% "P"?%A"?%% H% "?% "P"?% P"?%%
J% "?% "P"?%A"?%% "?% "P"?%A"?%% K% "?% "P"?% P"?%%
I% "?% "P"?%A"?%% ""?% P"?% "?%A"?%% 1L% "?% "P"?% P"?%%
MNM
2.2.- iste!a in'erencial del c$lculo de predicados:
7" Regla de eliminacin del cuantificador universal Lo que es verdadero de todos los ? es
verdadero para uo #ualquiera de ellos&
"?% ,"?% "?0-0+M.% ,"?0-0+0...%
,"?% ,"?0-0+0....%
8" Regla de introduccin del cuantificador universal
,"?% ,"?0-0+0...%
"?% ,"?% "?0-0+M.% ,"?0-0+0....%
9" Regla de eliminacin del cuantificador particular
"?% ,"?% "?0-0+M.% ,"?0-0+0...%
,"a% ,"a0b0#0....%
:" Regla de introduccin del cuantificador particular
,"a% ,"a0b0#0...%
"?% ,"?% "?0-0+M.% ,"?0-0+0....%
2.3.- iste!a de resolucin:
Forma $lausulada de la lgica de predicados
S'lo posee #uati,i#adores uiversales - Estos est$ situados e #abe+a0 es de#ir0 todas las
variables est$ uiversal*ete #uati,i#adas.
La sete#ia est$ #o*puesta de ua dis-u#i' de literales "e!ados o o%& Clausula
Para pasar a forma clausulada #ualquier sete#ia l'!i#a&
1% Apli#a*os la equivale#ia de implicaciones respe#to a la dis-u#i' - #o;u#i'&
a% SR "SR% . b% SR "SR% "SR%
4% Itrodu#ir negaciones #o ob;eto de que las e!a#ioes s'lo a,e#te a literales0 o a
,'r*ulas&
a% "SR% "SR% b% "SR% "SR%
#% "?% S "?% "S% d% "?% S "?% "S%
5% ,ndependi6acin de las variables #uati,i#adas& #a*biar *ediate sustitu#i' el o*bre de
las variables que sea e#esario para que #ada #uati,i#ador se re,iera a su propia variable -
o a i!ua otra. por e;e*plo&
"?% "P"?%"?% A"?%% "?% "P"?%"-% A"-%%
6% Eliminacin de cuantificadores particulares.
Ne#esitare*os variables au?iliares que per*ita ;usti,i#ar la eli*ia#i' de estos
#uati,i#adores. Se puede presetar dos #asos&
a% 9l #uati,i#ador parti#ular a eli*iar o est$ detro del al#a#e de i!<
#uati,i#ador uiversal0 por ejemplo !+"!)!+"R!m#+"" por )!a"R!m#a"
b% Si est$ detro del al#a#e de u #uati,i#ador uiversal0 por e;e*plo&
"-%"+%"?%"P"?0-%R"?0-0+%% pasa a "-%"+%"P","-0+%0-%R","-0+%0-0+%%
Ejemplo !+"!y"!6"!u"!v"!;")!+#y#6#u#v#;"!y"!6"!v")!a#y#6#f!y#6"#v#g!y#6#v""
G% Eliminacin de los cuantificadores universales& Al lle!ar a este paso s'lo debe quedar
#uati,i#adores uiverales al #o*ie+o de la sete#ia - se puede o*itir.
H% (grupamiento de #o;u#ioes - dis-u#ioes
J% $ambios de nombre de las variables para que #ada #l$usula te!a las su-as propias
",nstanciacin%
Ejemplo !+"&)!+"&!y"!<!+#y"!6")!6""!y"!<!+#y"!t"R!t""''
7" !+"&)!+"&!y"!<!+#y"!6")!6"!y"!<!+#y"!t"R!t""''
8" !+"&)!+"&!y"! <!+#y"!6")!6""!y"!<!+#y"!t"R!t""''
9" !+"&)!+"&!y"! <!+#y"!6")!6""!;"!<!+#;"!t"R!t""''
:" !+"&)!+"&!y"! <!+#y")!a""!;"!<!+#;"R!b""''
=" !+" !y" !;" &)!+"& ! <!+#y")!a"" !<!+#;"R!b""''
>" !)!+"! <!+#y"" !)!+" )!a"" !)!+"<!+#;"R!b""
?" !)!+"! <!+#y"" !)!u" )!a"" !)!v"<!v#;"R!b""
$7 $8 $l9
8@9@7@A Sustitucin y -nificacin
Co las sete#ias e ,or*a #lausulada0 la ,or*a de operar #o la re!la de resolu#i' es la
*is*a que e l'!i#a de proposi#ioes0 pero teiedo e #ueta que e l'!i#a de predi#ados
e?iste ade*$s los ar!u*etos de los literales0 lue!o @abr$ que i!ualarlos para poder
eli*iar los literales&
1% Se sele##ioa ua pare;a de literales e #l$usulas distitas
4% Se apli#a el al!orit*o de ui,i#a#i' a la pare;a de literales sele##ioada
5% Si resulta ui,i#adas0 se resuelve - se i#lu-e la resolvete e el #o;uto
6% Se vuelve al puto 1% @asta que o sea posible e#otrar #l$usulas a ui,i#ar o se obtiee
la #l$usula va#=a #o*o resolvete.
Ejemplo&
G1 P"?% A"?%
G4 P"a% R"?% e ,or*a #lausulada P"a% R"-% "paso J%%
Si sele##ioa*os la pare;a P"?% - P"a% el ui,i#ador *$s !eeral es "aN?% - tedre*os&
P"a% A"a%
P"a% R"-% A"a% R"-%
Otro ejemplo&
P1 "?%"O"?%9"?%% e ,or*a #lausulada O"?% 9"?%
P4 O"P%
Sele##ioa*os la pare;a O"?% - O"P% #u-o ui,i#ador es "?NP% - tedre*os&
O"P% 9"P%
O"P% 9"P%
8@9@8@A Refutacin !reduccin al absurdo"& apli#a#i' a$lo!a a la l'!i#a de proposi#ioes
P1 P4 P5 ...... C es ua #otradi##i'
Ejemplo7& P1 "?%"A"?%R"?%% P4 "?%"A"?%9"?%% C "?%"R"?%9"?%%
P1 A"?%R"?%%
P4 A"a%9"a% R"a% 9"a%
C "R"a%9"a%%
Ejemplo8& P1"-%"9"-%C"-%% C"?%""-%"9"-%V"?0-%%"+%"C"+%V"?0+%%
Poiedo e ,or*a #lausulada a*bas sete#ias - e!ado la #o#lusi' se tiee&
P1 9"-%C"-%
C2"?%""-%"9"-%V"?0-%%"+%"C"+%V"?0+%%3 2"?%""-%"9"-%V"?0-%%"+%
"C"+%V"?0+%%3 "?%""-%"9"-%V"?0-%%"+%"C"+%V"?0+%% "?%""9"b%V"?0b%%"+%
"C"+%V"?0+%% 9"b%V"?0b% "C"+%V"?0+%%
C1 9"b%
C4 V"?0b%
C5 C"+%V"?0+%
1e P1 - C1 tee*os C"b% que ;uto #o C5 os da V"?0b% que supoe ua #otradi##i'
-a que C4 V"?0b%
EJERCICIOS
5.- NBu5 e8presiones son uni+icablesO' a.- 9:a( :b;. b.- 9:a/f(/)( :ayy;.
c.- 9:/yb( :<b/;. d.- 9:ba( :ay;. (R.: c).
Las pri#eras (a.-* no lo son" porque la constante de SKole# 9a0 no tiene por qu5
ser igual a la constante de SKole# 9b0 (a no ser que 9a 2 b0 +uese una pre#isa*.
Las segundas (b.-* ta#poco" puesto que las igualdades-sustituciones candidatas"
8 2 y" +(8* 2 y" llearan a que 8 2 +(8*" lo cual" no necesaria#ente sera
erdadero para cualquiera que +uese + (la ecuacin 8 2 +(8* no tiene por qu5
tener solucin*. La tercera respuesta (c.-* es lida" pues haciendo
8 2 z 2 y 2b" son co#patibles. 7n la d.-" no es posible uni+icar" puesto que
ello lleara a que b 2 a" lo #is#o que en el caso pri#ero.
*
6.- La +rase 8y18y8188' a.- 3s tautologa (o sea( un$ersalmente $lda).
b.- #o es tautologa (o sea no es un$ersalmente $lda( aunque puede serlo en
alg,n caso). c.- 3s $lda s / = y. d.- #nguna de las anterores. (R.: b).
7l sentido co#n llea a pensar que es disparatado" por e.e#plo" que si e8isten
dos personas tales que la pri#era es padre de la segunda" entonces toda persona
es padre de s #is#a' el proble#a estara resuelto. 7sta +rase no es tautologa"
lo que se puede probar +or#al#ente con un contrae.e#plo sencillo. Sea 18y 8
y" donde 8 e y son n#eros naturales. 7ntonces el antecedente es erdadero
8y(8 y*" pero el consecuente 8(8 8* es +also" con lo que la i#plicacin
#aterial es +alsa. 7n algunos casos es erdadera" por e.e#plo" para 1 2 " por
e.e#plo para 1 2 $8$" etc. Si el 980 y el 9y0 que" segn el antecedente"
e8isten" +uesen iguales" la +rase se reduce a 81888188" que sigue sin ser
uniersal#ente lida.
*
16.- %e 99todos los A son ) y e8iste algn )00" se deduce 99algn ) es A00. 7sto
es' a.- Una magnfca deducc!n. b.- Un error monumental. c.- Una gran $erdad
aunque no se dedu<ca. d.- 'e deduce( pero es falso. (R.: b).
Las dos pri#eras respuestas se oponen. %e 8(A8)8* (o sea A)* y de 8)8 (o
sea ) * no se in+iere que 8(A8)8* (o sea A) *. )asta considerar para
ello el caso A 2 y ) " que conierte en erdaderas las pre#isas y en +alsa
la conclusin. Io es arti+iciosa la introduccin de " puesto que de alguna
#anera ha de representarse la interseccin de dos clases dis.untas (ta#bi5n hay
quien no acepta esto porque asu#e que por cuestiones t5cnicas la idea de clase
es super+lua" pero el proble#a se traslada al 9predicado uniersal#ente +also0"
la contradiccin*. Luego es la b.-! las otras dos respuestas #erecen co#entario
aparte. La lgica de pri#er orden es consistente (o sea si algo se deduce no
puede ser +also" e8cepto si las pre#isas son +alsas*" lo que inalida la
respuesta d.-! y ta#bi5n es co#pleta (o sea" si algo es erdadero es deducible*"
lo que inalida la respuesta c.-.
*
19.- La +rase (818 8B8* 8(18 B8* y su recproca (con el condicional
principal ca#biado de sentido* son respectia#ente' a.- $erdadera y falsa. b.-
$erdadera y $erdadera. c.- falsa y $erdadera. d.- falsa y falsa. (R.: a).
1ara er que es erdadera negu5#osla y llegare#os a contradiccin'
(y1yzBz*8(18-B8*" lo que origina tres clusulas. La pri#era procede de
y-1yzBz" y es 13' -1yBa! la segunda es 1<' 18" que por resolucin con la
anterior da Ba (para 8 2 y*" la cual con la tercera clusula que es 1?' -B8" da
la clusula aca por resolucin" cuando 8 2 a.
La recproca" 8(18B8*(8188B8*" es +alsa en general" p. e.. para el
#odelo B 2 , 1 2 D3E" $ 2 D3" <E" pues 8(18B8* es erdadera ya que e8iste un
ele#ento" el <" tal que 1<B< es erdadera ya que 1< es +alsa por no
satis+acerse 1 para el <" y B< es +alsa porque B no se satis+ace para ninguno.
As" el antecedente de la condicional principal es erdadero. 7n ca#bio" el
consecuente 8188B8 es +also" ya que es una condicional" cuyo antecedente es
erdadero (818" es erdad' el 3*" pero cuyo consecuente es +also pues B es
aco*.
*
20.- La e8presin 99algn A es )00 se representa en lgica por' a.-/(A/2/).
b.- /A//2/. c.- /(A/2/). d.- /(A/2/). (R.: c).
7s interesante darse cuenta de lo que signi+ican las otras tres +rases que no
son la solucin. 8(A8)8* es 8(A8-(-)8**" +rase que es la negacin de
8(A8-)8*" la cual dice que las clases A y c()* (9c0 indica 9el co#ple#ento
de0* son iguales. Luego 8 (A8)8* dice que A c()* o que c(A* ).
La e8presin 8A88)8 indica que A 2 $ )
1ero quiz la #s interesante es 8(A8)8*. 7sta e8presin dice 8(-A8)8*" o
sea que c(A*) . Se e +cil#ente que si 8(A8)8*" entonces 8(A8)8*" pero
la recproca no es cierta (no son equialentes* puesto que p. e.. para A 2 D3E"
) 2 D<E y $ 2D3" <E" se tiene c(A*) " pero la interseccin de A y ) es
aca.
*
25.- %e la e8presin 818 -8-18 pode#os in+erir' a.- % = U s y s!lo s %
. b.- % es el $aco. c.- % es el un$erso del dscurso. d.- #nguna de las
anterores. (R.: d).
La e8presin es una tautologa (ta#bi5n puede considerarse co#o la de+inicin de
si se da co#o signo pri#itio *. Luego de ella slo se pueden deducir
tautologas o +rases uniersal#ente lidas. 7n +or#a con.untista es' 1 2 $
c(1* 2 . Iinguna de las tres pri#eras candidatas a solucin es uniersal#ente
lida' La a.- es 1 2 $ 1 " que se e +alsada p. e.. por el #odelo $ 2 D4"
3E" 1 2 D4E! el #is#o contrae.e#plo ale para +alsar la segunda que es 1 2 !
y para la tercera que es 1 2 $. Luego ninguna de las tres se deduce de la +rase"
y" en consecuencia la respuesta correcta es la d.-.
*
28.- Los literales B(a" 8" +(8** y B(a" y" y*' a.- son unfcables para / = y e
y = f(/). b.- son unfcables en todo caso. c.- no son unfcables en U = 9-( .;
y con / = f(/). d.- no son unfcables en general. (R.: d).
La respuesta correcta es la d.-" porque la nica +or#a 9posible0 de uni+icacin
general sera y 2 8 e y 2 +(8*" lo que lleara a que 8 2 +(8*" co#o en la
respuesta a.-" pero la ecuacin 8 2 +(8* no tiene por qu5 tener solucin
sie#pre' depender de + y del unierso. As que la b.- no puede ta#poco ser
lida. 1or lti#o" la c.- no puede ser correcta porque precisa#ente en este
caso particular" y co#o 8 2 +(8* est ad#itido co#o pre#isa" son uni+icables"
pues ahora se reducen a B(a" 8" 8* y B(a" y" y* que se uni+ican para y 2 8 (con
independencia del unierso*.
*
32.- N7s uniersal#ente lida (o sea" tautologa* la +rase 8(18 B8* (818
8B8*O' a.- '. b.- #o es certa en general. c.- 'empre es falsa. d.-
#nguna de las anterores. (R.: b)
:ea el e.ercicio 3F.
9Sie#pre0 o 9en todo caso0 quiere decir 9cualesquiera que sean los ele#entos del
unierso del discurso y cualesquiera que sean los predicados inolucrados y sus
respectias clases asociadas0. 1or e.e#plo" en Anlisis" cuando se dice 9esta
+uncin es continua sie#pre0" se quiere decir 9esta +uncin es continua en
cualquier punto (ele#ento* del interalo (do#inio o unierso del discurso*
considerado0.
*
33.- %e 99todo A es )00 y de 99todo ) es =00 se in+iere 99algn A es =00. 7sto
es' a.- &orrecto. b.- "ncorrecto. c.- &erto s 2 es el $aco. d.- #nguna de
las anterores. (R.: b).
%e 8(A8)8* y 8()8=8* no se in+iere 8(A8=8* (basta con que A 2 y )=*.
Si ) es aco" A ha de ser aco" luego ta#poco se satis+ara la conclusin.
*
34.- La +rase 8188 8y18y es' a.- a $eces falsa. b.- sempre falsa. c.-
$erdadera o tautol!gca. d.- nnguna de las anterores. (R.: c).
1ara probarlo negu5#osla y recorde#os que 8y 8y" y que 8y 8y. La
negacin es 8188 8y-18y" de clusulas 1aa y -18y que da por resolucin la
clusula aca para y 2 8 2 a.
*
39.- 1ara probar que /(1 2 B* (818 8B8*0 es +also en general" pode#os
usar un contrae.e#plo que la conierte en +alsa" por e.e#plo' a.- % = : = U. b.-
% y : . c.- % U( : U y % :. d.- % = U y : = (o $ce$ersa).
(R.: c).
La +rase" #s bree#ente" a+ir#a (1 2 B* (1 2 $ B 2 $*! la pri#era" a.-"
no sire" puesto que al sustituir 1 y B por $" sale una tautologa! lo #is#o
ocurre con la d.-" puesto que" al sustituir 1 y B por $ y respectia#ente"
a#bos #ie#bros de la equialencia principal son +alsos" lo que la trans+or#a en
erdadera. La respuesta b.- no sire ni para probar la erdad ni la +alsedad de
la e8presin pues ni 5sta ni su negacin se in+ieren de ella (lo e#os despu5s*.
La nica posible es la c.-" pues si 1 B" el pri#er #ie#bro de la equialencia
(1 2 B* es +also" pero el segundo (1 2 $ B 2 $* es erdadero al ser +alsos
cada uno de sus dos #ie#bros (con lo que la doble equialencia pri#era resulta
+alsa*! resultando as que c.- es un contrae.e#plo de la +rase proble#a y que en
consecuencia no es uniersal#ente lida. $n caso particular puede ser 1 2 D4E"
B 2 D3E" $ 2 D4" 3E.
:ea#os #s detenida#ente la b.-'
3.- %e 1 B (3*
no se deduce 1 2 B (1 2 $ B 2 $* (<*.
$n contrae.e#plo' $ 2 D4" 3E" 1 2 D4E" B 2 D3E" que conierte en erdadera (3* y
en +alsa (<*.
<.- %e 1 B (3*
no se deduce 1 B (1 2 $ B 2 $* (?* (que es la negacin de (<*" ya que la
negacin de p q ( -(p q* * es -p q*.
$n contrae.e#plo' B 2 D4E" 1 2 $ 2 D4" 3E" que conierte en erdadera (3*" pero
en +alsa (<*.
*
43.- La e8istencia y unicidad de un ele#ento que eri+ica el predicado 1 est
e8presada por 8(18 y(1y y 2 8**" que en +or#a clausulada se puede
escribir co#o' a.- %/ (%a y = a). b.- %/ (%f(/) f(/) = a). c.- %a
(%y y = a). d.- %a %a. (R.: c).
Los pasos sucesios son 8(18 y(-1y y 2 8*" 8y(18 (-1y y 2 8*" y(1a
(-1y y 2 a**" 1a (-1y y 2 a*.
*
44.- %ados los razona#ientos
3 8(18 ,8* < 8(18 ,8*
8(18 &8* 8(,8 B8*
---------------- -----------------
8(,8 &8* 8(18 B8*
a.- . es correcto y 0 es ncorrecto. b.- ambos son ncorrectos. c.- . es
ncorrecto y 0 correcto. d.- ambos son correctos. (R.: d).
7l pri#ero tiene por pre#isas clausuladas' 13' -18 ,8! 1<' 1a! 1?' &a. La
negacin de la conclusin es 8(,8 -&8*" que usada co#o pre#isa clausulada es
1@' -,8 -&8. Se entiende que a#os a proceder por resolucin y re+utacin. %e
1< y 13 se obtiene ,a! de 5sta y de 1@ se obtiene -&a! de 5sta y de 1? se
obtiene la clusula aca.
Las clusulas de las pre#isas de < son 13' -18 ,8! 1<' -,8 B8! la negacin
de la conclusin es 8(18 -B8*" que origina las nueas pre#isas 1?' 1a! 1@'
-Ba. %e 1< y 1@ se obtiene -,a! de 5sta y de 13 se obtiene -1a! de 5sta y de 1?
se obtiene la clusula aca.
*
50.- La e8presin (8(18 ,8*8(18&8** 8(,8 &8* es' a.- una
contradcc!n. b.- certa a $eces y falsa en otras. c.- un teorema. d.- una
e/pres!n ncorrectamente escrta. (R.: c).
7st claro que est correcta#ente escrita. 1ara er que es una tautologa (y por
ello" en lgica de pri#er orden" por ser consistente y co#pleta" un teore#a*"
procede#os a su prueba. Su negacin es 8(18,8*y(1y&y*z(,z-&z*" (la
negacin de pq es p-q* cuyas clusulas son 13' -18,8. 1<' 1a. 1?' &a. 1@'
,z. 1P' -&z. )asta resoler con 1? y 1P" con z 2 a" para obtener la clusula
aca.
*
53.- La e8presin (8(18 ,8*8(,8 B8** 8(,8B8* es' a.- una tautolo-
ga. b.- un teorema. c.- no es $erdadera en general. d.- una e/pres!n ncorrec-
tamente escrta. (R.: c).
,azone#os en +or#a 9rpida0 y sin operar' =o#o la lgica de pri#er orden es
consistente (todo teore#a es una tautologa" una erdad* y es co#pleta (toda
tautologa es un teore#a" es deducible* las dos respuestas iniciales son
iguales" as que no pueden ser erdaderas dado que slo hay una erdadera. 6
co#o est bien escrita (su sinta8is es correcta*" la respuesta" por eli#inacin"
slo puede ser la c.-.
%iscuta#os el caso ahora #s a#plia#ente.
7n el caso general de una e8presin de alidez desconocida y que se quiere
inestigar (y en la hiptesis de que su proble#a de alidez o de decisin tenga
solucin*" co#enzara#os suponiendo que podra ser erdadera uniersal#ente o
tautolgica! si as +uera" su negacin debera llear a contradiccin. As" la
nega#os 8(18,8*8(,8B8*8(,8-B8*" y e8a#ina#os las clusulas
-18,8" -,yBy" -,z-Bz. =on ellas" y dos a dos" se obtienen las clusulas
-1rBr" -1s-Bs" -,t" y co#binando 5stas entre s y con las anteriores" -18"
-1u-,u. 1ero se aprecia ahora que no hay #s por resolucin (o no se pueden
operar las clusulas por resolucin" o el resultado de la operacin ya est en
el con.unto*. As que" en este caso" no se puede llegar a la clusula aca"
puesto que todas las clusulas +or#an un con.unto cerrado +rente a la operacin
de resolucin" ninguna de las cuales es la aca y por ello la +rase proble#a no
puede ser uniersal#ente erdadera.
Jtra estrategia" para abandonar el ca#ino de suponerla erdadera" es que" al
negarla" y obtener las clusulas" obsere#os que las clusulas an au#entando de
ta#ao o longitud y que se presu#a una posible e8plosin co#binatoria. 6
entonces ca#bia#os de hiptesis' supone#os que la +rase es +alsa en general. Si
se ha elegido el ca#ino de suponer que es +alsa en general" ha de intentarse
probarlo con un contrae.e#plo" (#odelo o interpretacin" si e8iste" para la cual
la +rase es +alsa*. $n #odelo respecto de una +rase es un con.unto de con.untos"
tantos co#o predicados distintos tenga la +rase" #s uno que haga de unierso
del discurso" tales que al ser sustituidos en la +rase (particularizacin*" 5sta
se conierta en una erdad o en una +alsedad. 1or #otios t5cnicos" es
reco#endable que los con.untos del #odelo sean con.untos de n#eros naturales.
Si se ha encontrado un #odelo que la conierte en erdadera" se dice que la
+rase es satis+acible (y en lgica de pri#er orden" que es consistente" o que no
puede llear a contradiccin*! y si se ha encontrado un #odelo que la conierte
en +alsa" se dice que no es uniersal#ente lida o que es +alsa en general.
=o#o consecuencia de que un #odelo es un con.unto de con.untos" si se elige la
estrategia de intentar probar que la +rase no es uniersal#ente lida" se debe
traducir la e8presin en t5r#inos con.untistas. As la e8presin proble#a es
(1,,B* (,B* 2 .
A su ista" y dada la reduccin e8peri#entada en su longitud" es +cil encontrar
tres con.untos 1" B" ," y un unierso $" que conierten la +rase en una +alsedad
(con lo cual queda probado que no es uniersal#ente lida o tautolgica*. 1ara
ello" y co#o se trata de una i#plicacin" para +alsarla" debe#os elegir" si
pode#os" con.untos que coniertan en erdadero el antecedente y en +also el
consecuente. 1or e.e#plo" co#o 1 no tiene nada que er con el consecuente" lo
elegi#os 1 2 " con lo cual estare#os seguros de que 1, es erdadera porque el
con.unto aco est contenido en cualquier otro! ahora basta con elegir un , y
un B tales que ,B sea erdadera y ,B 2 sea +alsa' lo #s sencillo que se
nos ocurre es , 2 B 2 $.
1or lti#o" puede parecer que" en general" la eleccin de #odelo es cuestin de
+eliz idea" y que no hay un procedi#iento general para resoler este proble#a.
1ues as es" en e+ecto (Teore#as de Turing y =hurch*" pero hay con.untos #uy
a#plios de +rases para los cuales estas estrategias to#an el carcter de
algorit#os y para los que el proble#a de decisin" sobre la erdad uniersal (o
tautologicidad* de una +rase de la lgica de pri#er orden" es un proble#a
soluble (teore#as de )ernays-SchQn+ield y teore#a de LQLenhei# para predicados
#ondicos" ea el te8to base" cap. A:" 91roble#tica de la lgica de segundo
orden0*.
*
54.- La sentencia (8188B8* 8(18B8* es' a.- una tautologa. b.- un
slogsmo. c.- naceptable como $erdadera. d.- un teorema l!gco. (R.: c).
Al #argen de la bro#a de d.-" parece razonable que si dos clases no son acas"
de ah no se in+iere que su interseccin no lo es. La +rase" en +or#a
con.untista" es (1 B ) 1B " lo que queda contradicho por el
contrae.e#plo $ 2D4" 3E" 1 2 D4E" B 2 D3E" que conierte en erdadero el
antecedente y en +also el consecuente" y por ello en +alsa la +rase.
*
55.- %e 9todo A es )0 se in+iere 9algn A es )0. 7sto es' a.- correcto. b.-
ncorrecto. c.- certo s 2 es el $aco. d.- nnguna de las anterores. (R.: b).
7s incorrecto" para lo cual basta con que A 2 . Si ) es aco" co#o A)"
ta#bi5n A 2 " as esta#os en el caso anterior.
*
56.- La +or#a clausulada de la e8presin 8188B88(,8S8* es'
a.- %a:bRc'b. b.- %a:aRb'b. c.- %a:bRc'd. d.- %a:bRc'c. (R.: d).
6a que no hay garanta de que en las tres 9e8istencias0 las constantes de SKole#
hayan de ser iguales" pero s que hay algn ele#ento (c* que satis+ace ,8S8*.
*
58.- Si 98 es yudoca0 se representa por 68" y 98 co#e pescado0 por 18" entonces
la e8presin 9algn yudoca co#e pescado0 se +or#aliza co#o' a.- /(>/%/).
b.- /(>/%/). c.- /(>/%/). d.- /(>/%/). (R.: b( ob$amente).
*
59.- $na e8presin equialente a 8(18B8* es' a.- /%/?/:/. b.- /%//:/.
c.- /%//:/. d.- /%//:/. (R.: a).
=o#o nuestro ob.etio en este te8to es probar que la respuesta dada co#o
correcta lo es e+ectia#ente" y que las otras tres no lo son" elegire#os una
estrategia para probar las cuatro cosas! en pri#er lugar escribire#os la
supuesta equialencia en +or#a con.untista" teniendo en cuenta que 8(18B8* es
c(1*B .
As'
a.- c(1*B (1 2 $ B * que se puede escribir co#o
c(1*B (1 $ B * o sea c(1*B 2 (1 2 $ B 2 ), lo que es
eidente" ya que c(1*B 2 es equialente a c(1* 2 B 2 " y co#o c(1* 2
equiale a 1 2 $" la equialencia inicial es lida. 7sto sera
una t5cnica de e8ploracin! ta#bi5n se podra haber e#pezado por er si se
satis+ace la equialencia e intentar probar la necesidad y la su+iciencia de las
dos condiciones que dan con.unta#ente origen a la equialencia (obia#ente no es
una buena estrategia ya que" de no ser eidente" los di+erentes pasos del
proceso lo haran de#asiado largo*.
b.- Ios plantea#os ahora cada proble#a co#o si no conoci5se#os que la respuesta
a la equialencia es negatia. 7n este caso escribi#os
c(1*B (1 B * que queda #s tratable co#o
c(1*B 2 (1 B 2 *. 7s +alsa para 1 2 D4E" B 2 y $ 2 D4" 3E" por
e.e#plo.
c.- c(1*B (1 2 $ B 2 $* que queda #s tratable co#o
c(1*B 2 (1 2 $ B $*. 7s +alsa para 1 2 $ 2 D4" 3E y B 2 D4E" por
e.e#plo.
d.- c(1*B (1 B 2 $* que queda #s tratable co#o
c(1*B 2 (1 B $*. 7s +alsa" p. e.." para el contrae.e#plo anterior.
*
60.- La e8presin 818 8-18' a.- es un teorema l!gco. b.- no lo es. c.- es
una tautologa. d.- sera un teorema s la conect$a fuese (/%//%/).
(R.: b).
$n razona#iento anlogo al del pri#er prra+o del proble#a P?" llea a e8cluir
in#ediata#ente a.- y c.-! por otro lado es eidente que co#o 8188-18 es
8(18-18*" d.- es una contradiccin! una contradiccin es +alsa" y co#o la
lgica de pri#er orden es consistente" no puede ser un teore#a. Luego slo puede
ser correcta la b.-. La e8presin no es un teore#a lgico. 7s cierto que
8188-18 i#plica la tautologa 8(18-18*" que es 8$8 (y c#o no" si es una
tautologa*" pero la recproca no es cierta. La +rase" en +or#a con.untista"
dice 1 2 $ c(1* 2 $" +alsa para el contrae.e#plo 1 2 D4E y $ 2 D4" 3E.
*
67.- Seale una e8presin equialente a 8(A8)8* en espaol: a.- Alg,n A no es
2. b.- #ng,n A es 2.- c.- Todo A es 2. d.- Alg,n A es 2. (R.:c).
*
68.- N7s uniersal#ente lida (tautologa* la e8presin
(8188B8* 8(18B8*. a.- '. b.- #o. c.- @epende del un$erso del
dscurso. d.- #nguna de las anterores. (R.: a*.
La negacin de la +rase es (8188B8*8(-18-B8*" cuyas clusulas son 18By"
-1a" -Ba" que per#iten llegar a la clusula aca de #anera in#ediata.
*
69.- NSe deduce que 8188B8 de la pre#isa 8(18B8*O' a.- '. b.- @epende
del un$erso del dscurso. c.- #o. d.- #nguna de las anterores. (R.: a).
Suponga#os que no! entonces se tiene la e8presin 8(18B8*(8188-B8* (la
pre#isa y la negacin de la conclusin*" de clusulas -18B8" 1a" -By" que
per#iten llegar a la clusula aca de #anera in#ediata.
*
70.- %ados los razona#ientos
3 8(18B8* < 8(18B8*
8(18S8* 8(B818*
---------------- ---------------
8(B8S8* 8(B818*
a.- . es correcto y 0 ncorrecto. b.- ambos son correctos. c.- ambos son
ncorrectos. d.- . es ncorrecto y 0 es correcto. (R.: a).
Siguiendo la estrategia propuesta" intenta#os e8a#inar el pri#ero con resolucin
y re+utacin. Las clusulas de las pre#isas son -18B8" 1y" Sy. La de la
negacin de la conclusin (8(B8-S8** es -Bz-Sz' la clusula aca se deduce
casi in#ediata#ente.
=uando se intenta hacer lo #is#o con el segundo se obsera que no se llega a la
clusula aca y que" en seguida se agota el con.unto de clusulas obtenidas por
resolucin' el razona#iento es incorrecto. $n contrae.e#plo sencillo es 1 2 B 2
. 7+ectia#ente" co#o 8 es sie#pre +also (equiale en lgica de clases a 8 8
y en lgica de pri#er orden a 18-18* la e8presin 88 es erdadera por
tener el antecedente y el consecuente +alsos. As" las pre#isas" en este
e.e#plo" son erdaderas" pero la conclusin 8(88* es +alsa.
*
71.- %ados los razona#ientos
3 8(18B8* < 818
8(B8B8* 8B8
---------------- -------
8(18B8* 8(18B8*
a.- . es correcto y 0 no lo es. b.- ambos son correctos. c.- ambos son
ncorrectos. d.- . es ncorrecto pero 0 es correcto. (R.: c).
1ara probar que 3 es incorrecto basta el contrae.e#plo del proble#a anterior.
1ara probar la +alsedad del segundo basta elegir dos clases no acas dis.untas.
*
74.- La ley de introduccin del generalizador se puede escribir co#o'
a.- (/%/)%a. b.- %a/%/. c.- (/%//:/)/(%/:/).
d.- (/(p%/)p) /%/. (R.: d).
La c.- no puede ser porque ade#s es +alsa en general y las leyes son
tautologas! b.- es un teore#a que no introduce 90" y a.- es la ley de
particularizacin. La respuesta correcta es la d.-' la ley de introduccin del
cuanti+icador uniersal o generalizador se de+ine co#o la tautologa
8(p18*(p818* que es equialente a d.-. pues quitando las 0s"
-8(-p18*(-p818*. Aplicando la asociatia del
(-8(-p18*-p* 818*. Aplicando la ley de %e &organ
-(8(-p18*p* 818" y recuperando las 0s se obtiene d.-.
%e todas +or#as debe conocerse la equialencia entre p(qr* y (pq* r" que
resulta #uy til.
*
75.- La resolente de -18B88 y -Ba+(a* es' a.- en general no 1ay resol$ente.
b.- %a. c.- %f(a). d.- #nguna de las anterores. (R.: a).
1ara que la hubiese se necesitara 8 2 a y 8 2 +(a*" lo que no es posible si
a +(a*. (La igualdad a 2 +(a* no tiene por qu5 estar asegurada*.
*
83.- $na propiedad del cuanti+icador uniersal es'
a.- (/%//:/) /(%/:/). b.- /(%/:/) (/%//:/).
c.- (/%//:/) /%/. d.- (/%//:/)/(%/:/).
(R.: b).
7l cuanti+icador uniersal puede 99entrar00 en las condicionales pero no puede
99salir00 en general! al re5s que el cuanti+icador e8istencial" que puede
99salir00 de ellas" pero no 99entrar00 en general. =uando" por el 9parecido0 de
las +rases a e8a#inar" el proble#a se presta aparente#ente a con+usin" lo #e.or
es seguir la estrategia de ca#bio de notacin a con.untos (de todas +or#as el
alu#no ya debera distinguir a estas alturas de curso cul es la uniersal#ente
lida*. 7n notacin con.untista son'
a.- (1 2 $ B 2 $* 1B" que se e contradicha por el contrae.e#plo 1 2 D4E"
B 2 D3E" $ 2 D4" 3E (1 2 $ es +alsa y B 2 $ ta#bi5n" lo que hace que el
antecedente de la i#plicacin principal" que ta#bi5n es una condicional" sea
erdadero! y el consecuente 1B es +also*.
b.- 7s tautolgica (ya isto en otras ocasiones*" porque e8presa
1B (1 2 $ B 2 $*" que es (1B1 2 $* B 2 $" lo que es triial.
c.- (1 2 $ B 2 $* 1 2 $" +alsada por el #odelo 1 2 B 2 " que conierte en
erdadero el antecedente de la condicional principal y en +also su consecuente.
d.- (1 2 $ B 2 $* 1B 2 $ (este consecuente puede escribirse ta#bi5n co#o
1 2 $ B 2 $*" +alsada por el #is#o #odelo.
*
84.- 1a y(y 2 a 1y* es' a.- un$ersalmente $lda. b.- un$ersalmente
falsa. c.- falsa en alg,n caso. d.- nnguna de las anterores. (R.: a).
Iegndola queda 1a y(y a -1y*! las clusulas son' 1a" ya-1y" que" para y
2 a" originan por resolucin la clusula a a que es una de las +or#as de la
clusula aca.
Ta#bi5n pode#os dar #odelos o interpretaciones que conierten en +alsa 1a y(y
a -1y*. $n #odelo triial es 1 2 " que hace +alsa 1a y" por tanto" la
con.uncin. 1ero co#o el estudiante descon+a nor#al#ente de 5ste pensando un
96a esta#os con el aco0" le propone#os este otro' basta con hacer 1 2 D4E" $ 2
D4" 3E" pues si a 2 4" eligiendo y 2 4" la segunda e8presin de la con.uncin es
4 4 -14" que es +alsa" y por ello" la con.uncin ta#bi5n lo es! y si a 2 3"
1a es +alsa" con lo que la con.uncin ta#bi5n lo es. 6 otro #odelo es 1 2 $ 2
D4E. 1ero no hace +alta hilar tan +ino! con el razona#iento inicial es
su+iciente.
*
86.- -8-18 es' a.- /%/. b.- /%/. c.- /%/. d.- /%/. (R.: c).
%e+inicin del cuanti+icador uniersal en +uncin del e8istencial (puede hacerse
al re5s*. Al describirlas en +or#a con.untista ere#os ade#s que las otras
tres 9equialencias0 que propone el e.ercicio" no pueden darse. 7+ectia#ente"
-8-18 es -(c(1* *" o sea c(1* 2 " que dice 1 2 $" lo #is#o que 818. 1or
otro lado" 8-18 es c(1* 2 $" o sea 1 2 , as que la 9equialencia0 c(1* 2
1 2 " sera un disparate. La segunda" 818 es 1 " y la 9equialencia0 c(1*
2 1 , se e +alsada por el #odelo 1 $" que hace +also el pri#er
#ie#bro pero erdadero el segundo. 6 la cuarta es 8-18" o sea c(1* " con lo
que la 9equialencia0 c(1* 2 c(1* es sencilla#ente una contradiccin.
*
87.- La +or#a clausulada de la e8presin. 8y18y 8B8 puede ser'
a.- %/f(/) :b. b.- %af(a) :a. c.- %f(y)y :a. d.- %// :b. (R.: a).
7s la pri#era (ea las reglas de obtencin de las clusulas*. Io puede ser la
segunda ya que los su.etos de 18y han de ser ariables (an precedidos por 8*.
Io puede ser la tercera porque no cu#ple que la ariable de la +uncin de SKole#
debe ser la su.eta a cuanti+icacin uniersal" y la i#agen de la +uncin de
SKole# es la que est su.eta a cuanti+icacin e8istencial. La cuarta no puede
ser porque hace caso o#iso de la ligadura i#puesta por 8y.
*
91.- Ba88 y Ba+(" *y son uni+icables. 7sto es' a.- falso . b.- certo. c.-
falso s!lo en el caso de que / y. d.- nnguna de las anterores. (R.: b).
)asta con hacer las sustituciones y 2 8 2 +(" *. Si 8 y +uese una clusula
adicional con las ariables 8 e y" si#ple#ente se deducira la clusula aca (8
8* lo que no a+ecta a la uni+icabilidad de aqu5llas" as que en el caso 8 y
no es +also.
92.- %ada la siguiente secuencia de in+erencias
8(18 y1y* 3
8(-18y1y* <
8(-181+(8** ?
-181+(8* @
si 8 2 +(8*" -1818 P
tautologa G
a.- es ncorrecto el paso de . a 0. b.- es ncorrecto el paso de 0 a 7. c.-
todos los pasos son correctos. d.- es ncorrecto el paso de A a B. (R.: c).
7s i#portante darse cuenta de que el paso P es correcto" pues representa una
condicional 98 2 +(8* -18180 que es sie#pre lida por tener el consecuente
erdadero" aunque no +uese erdad que" en general" haya un 8 que sea igual a
+(8*. Io se a+ir#a que 98 2 +(8*0 sino que 9si 8 2 +(8*" (entonces* -18180. 7l
proble#a slo pregunta sobre la correccin de los pasos de deduccin o
in+erencia" y 5sta es correcta. IJ pregunta si esa deduccin probara la erdad
(uniersal* de 8(18 y1y* (es eidente que esa secuencia de in+erencias no
la prueba ya que no tiene necesaria#ente por qu5 darse que pueda haber un 8 tal
que 8 2 +(8* *.
Si lo que se hubiera pedido es probar la erdad uniersal o tautologicidad de la
+rase proble#a" habra#os operado as por e.e#plo" (con resolucin y
re+utacin*'
-8(18 y1y*
8(18-y1y* (la negacin de pq es p-q*
8(18y-1y*
1a-1y
" para y 2 a.
J bien" partiendo de la tautologa 818 818
818 818
818 y1y
8(18 y1y*" sacando el cuanti+icador.
1ero 5se IJ era el proble#a propuesto. 7ste proble#a est conectado con el
n#ero FG.
*
93.- Sean las +rases 3.- 8(A8 )8* y <.- 8(A8)8*. 7ntonces'
a.- . 0. b.- 0 .. c.- 0 .. d.- nnguna de las anterores. (#ota: puede
usarse un dagrama de Cenn-3uler). (R.: b).
7l sentido co#n nos dice que la c.- no puede ser" ya que en ese caso ta#bi5n
seran correctas la a.- y la b.- que se in+ieren de ella. Slo hay que co#probar
a.- y b.-" #ediante alguno de los procedi#ientos siguientes.
7scribi#os la e8presin de a.- co#pleta
8(A8 )8* 8(A8)8*. La nega#os y supri#i#os el pri#er 90.
8(-A8)8* 8(-A8-)8*" de clusulas
-Aa)a" -A8-)8" que slo per#ite la obtencin de una clusula #s por
resolucin' -Aa" para 8 2 a. Io hay #s. 6 la clusula aca no est entre
ellas. Luego no se puede llegar a la clusula aca. Luego la e8presin
8(A8 )8* 8(A8)8* no es uniersal#ente lida.
Luego no es erdad que 3 <.
7scribi#os la e8presin de b.- co#pleta
8(A8)8* 8(A8 )8*. La nega#os
8(A8)8* 8(A8-)8*" de clusulas
Aa" )a" A8" -)8! la segunda y la cuarta llean a la clusula aca.
Luego < 3.
7scriba#os la i#plicacin de a.- en +or#a con.untista.
c(A*) A) " o lo que es lo #is#o" en +or#a contrarrecproca"
A) 2 c(A*) 2 . =on un diagra#a de :enn-7uler" en seguida se nos ocurre
un contrae.e#plo. )asta el #odelo #s si#ple (pero hay #uchos #s* A 2 ) 2 "
que conierte en erdadero el antecedente pero en +also el consecuente" y por
ello en +alsa la condicional.
Jtro' A 2 D4E" ) 2 D3E" $ 2 D4" 3E. Luego 3 < no es uniersal#ente lida.
7scriba#os la b.- que es la recproca de la a.-" en +or#a con.untista.
A) c(A*) . ,azone#os'
Si A) " entonces ) ha de ser no aco" o sea ) ! pero entonces la unin
de ) con cualquier otro no puede ser aca" ya que al #enos tendr el (o los*
ele#ento (-s* de ). As c(A*) . 7n consecuencia < 3.
*
94.- 8(A8 )8* (88 8)8*. 7sto es' a.- certo en general. b.- falso en
general. c.- certo s!lo s /(A/ 2/). d.- falso s A = 2. (R.: b).
6a se ha isto en otros proble#as que la i#plicacin hacia la derecha es lida"
pero no hacia la izquierda.
Algunas obseraciones sobre la ter#inologa' =uando una +rase es +alsa en algn
caso o en todos" indistinta#ente" se dice de ella que es +alsa en general! #s
precisa#ente" si es +alsa en todos (lo que supondra que su negacin es
uniersal#ente lida* se dice de ella que es +alsa.
1ero la e8presin 9cierta en general0 no se usa en Lgica' si una +rase es
lida en #uchos casos (9casi0 en todos* #enos en uno" por e.e#plo" no se dir
de ella que es 9cierta en general0" sino 9+alsa en general0. 7l #otio de esto
es que se to#a co#o re+erente la erdad y no la +alsedad.
7n lgica de proposiciones" una +rase es lla#ada erdadera cuando es una
tautologa (los alores de erdad de la +uncin de erdad asociados son TJ%JS
30s*! en caso contrario" si son todos ceros" se lla#ar una contradiccin o
absurdo y se dir de ella que es +alsa o uniersal#ente +alsa! si tiene algn 4"
se dir de ella que es indeter#inacin o +alsa en general! de #anera que la
di+erencia entre +alsa y +alsa en general es una cuestin retrica que procede
del lengua.e coloquial' si#ple#ente" de #odo i#preciso" 9+alsa en general0
parece sugerir que 9quiz en algn caso (pocos o #uchos* podra ser erdadera0"
pero sin asegurarlo. 7n otros casos" la ter#inologa puede resultar engaosa"
por e.e#plo" en la lgica trialente de LuKasieLicz" se puede lla#ar
9cuasitautologa0 a una proposicin que es lida (3* en todos los alores #enos
en uno. 1ero" a pesar de ello" no dire#os que es 9cierta en general0" sino +alsa
en general. Se de+ine lo erdadero co#o lo tautolgico! y se de+ine lo +also
co#o lo no erdadero' es decir" en t5r#inos de tablas de erdad" lo erdadero es
3! lo +also es 9lo distinto de 30" y IJ SRLJ lo que es 4.
7s #uy sencillo encontrar contrae.e#plos que prueben que c.- y d.- son +alsas en
general.
*
96.- 1ara probar 8(y1y 18*" por re+utacin" se plantea el siguiente
razona#iento'
-(8(y1y 18** (3*
8(y1y-18* (<*
y1y8-18 (?*
1a -18 (@*
1ara 8 2 a" 1a-1a (P*
luego se obtiene (G*.
a.- es ncorrecto el paso de . a 0. b.- es ncorrecto el paso de 0 a 7. c.- el
ra<onamento es correcto. d.- es ncorrecto el paso de A a B. (R.: c).
Los pasos de < a ? y de ? a @ son correctos ya que pri#ero se tiene
8y1y 8-18 ( por ser equialentes 8(A8)8* y 8A88)8 *. Ade#s 8y1y
equiale a y1y" ya que 1y no depende de 8' o sea" no hace +alta una +uncin de
SKole#. 1or e.e#plo" decir que 9para toda lechuga e8iste una persona que es
albail0" es lo #is#o que decir" 9e8iste una persona que es albail0" lo que es
independiente de la lechuga. Jtra cosa sera si el predicado +uese didico o
relacional" 8y18y" entonces s hay que utilizar la +uncin de SKole#. =on un
solo caso" 8 2 a" es su+iciente para probar que la +rase 1a-18 llea a
contradiccin.
Iota' las clusulas 18 y -1+(8* (o -18 y 1+(8** llean a contradiccin'
instanciando la pri#era" se tiene 1y" que con la segunda" para y 2 +(8* da !
aqu no puede alegarse que se hace 8 2 +(8*" y que por ello se e8igira solucin
para la ecuacin" pues 8 en la pri#era puede ser cualquiera! a#bas clusulas"
con.untadas" proceden de las contradicciones 8(18-1+(8** y 8188-1+(8*" que
son equialentes" y equialentes a#bas tanto a 8188-1+(8*" co#o a (y aqu se
e #e.or* y1y81+(8*.
*
107.- N7n cul de estos con.untos de dos clusulas es posible uni+icarlasO'
a.-9Ra( Rb;. b.- 9R/yb( R<b<;. c.- 9Ra/f(/)( Rayy;. d.- 9Rba( Ray;. (R.: b).
7n la pri#era no es posible pues las constantes a y b no tienen por qu5
coincidir. La segunda es correcta ya que cabe la uni+icacin para 8 2 y 2 z 2 b.
7n la tercera no es posible" ya que si +(8* 2 y e y2 8" entonces 8 2 +(8*" lo
que no tiene por qu5 suceder para la + dada. La cuarta no puede ser por la #is#a
razn que la pri#era.
*
110.- La +rase 8y18y 8188' a.- es tautologa. b.- no es tautologa. c.- es
$lda s / = y. d.- nnguna de las otras tres. (R.: b).
=on el contrae.e#plo $ 2 D4" 3E" 1 2 D(4" 3*E $8$" se e in#ediata#ente.
*
111.- La e8presin 9ningn A es )0 se representa en lgica de pri#er orden por'
a.- /(A/ 2/). b.- /(A/ 2/). c.- /(A/2/). d.- /(A/2/). (R.: b).
*
112.- Sea $ un unierso en el que se eri+ica 8(A8 )8*. 7ntonces' a.- 3n U
todos los elementos $erfcan A. b.- 3n U puede e/str un elemento que no
$erfque A. c.- ' A = ( entonces 2 = . d.- esta e/pres!n no puede
$erfcarse en nng,n un$erso U( porque es una contradcc!n. (R.: b).
Io puede ser la d.-" porque la e8presin no es una contradiccin. :ea#os que no
puede ser la a.-! si as +uera se tendra que A) A 2 $ (o bien" 8(A8 )8*
8A8" lo que es +also p. e.. cuando A 2 (el antecedente es erdadero pero
el consecuente es +also. La c.- dira lo siguiente' A) (A 2 ) 2 *" o
sea (A) A 2 * ) 2 " lo que es +also p. e.. para A 2 y ) 2 $. Slo la
b.- puede ser erdadera. 7+ectia#ente" A) y c(A* (8-A8* pueden ser
co#patibles (satis+acibles las dos por un #is#o #odelo*" por e.e#plo" para A 2
y ) 2 $ " pero" co#o puede uno i#aginar" hay #uchos #s casos.
*
113.- Seale la +or#a clausulada de la e8presin 8(-(18 B8* 8,8'
a.- (%/:y)R/. b.- (%/:/)Ra. c.- %/:/Rf(/). d.- %/:yRa. (R.: d(
e$dentemente).
*
115.- Seale la +or#a clausulada de 8(18 y,8y*' a.- %/ R/a. b.- %/R/a.
c.- %/ R/f(/). d.- %/ R/a. (R.: c).
7s sencillo" en cuanto se eli#ine 90 y se saque el cuanti+icador e8istencial'
8(-18 y,8y*" 8y(-18 ,8y*.
*
121.- 8,8 y1y es equialente a' a.- /y(R/ %y). b.- /y(R/ %y).
c.- /y(%y R/). d.- y/(%y R/). (R.: a).
1onga#os las posibles soluciones en +or#a clausulada' -,81a" (pues el
cuanti+icador uniersal no a+ecta a 1y*" -,a1b" -1y,a" -1y,+(y*. La +rase
proble#a es 8-,8 y1y" o sea -,81a" con lo que la solucin es a.-.
*
124.- Las dos clusulas -S8-T8y" Ta+(8* son uni+icables para 8 2 a e y 2 +(8*"
dando co#o conclusin -Sa. 7sto es' a.- ncorrecto. b.- depende del un$erso.
c.- correcto. d.- unfcables para / = y. (R.: c).
7s correcto. Io depende del unierso" ya que lo que sean 8 o y en una
interpretacin cualquiera" no a+ecta a las sustituciones! no son uni+icables
para 8 2 y pues entonces surgira la necesidad de que 8 2 +(8* 2 a" lo que en
principio no tiene por qu5 cu#plirse.
*
143.- La clusula S8-T8y es uni+icable con' a.- Taf(/)( concluyendo 'a. b.-
Taf(/)( concluyendo 'a. c.- Tf(/)a( concluyendo 'a. d.- Tf(/)a( concluyendo
'f(/). (R.: a).
La pri#era es obia para 8 2 a" y 2 +(a*. Luego no puede darse -Sa" lo que
inalida la segunda. Anstanciando (ca#biando el no#bre de las ariables* la
clusula inicial" queda Sz-Tzy" que" con T+(8*a" al hacer z 2 +(8*" y 2 a"
quedara S+(8*" y no Sa (la c.- no es lida* ni -S+(8* (la d.- no es lida*.
*
144.- 8(y,y 18* es equialente a' a.- /(yRy%/). b.- /y(Ry %/). c.-
y(/%/Ry). d.- /(%/yRy). (R.: b).
7scriba#os en +or#a clausulada todas las +rases +or#alizadas de la pregunta. La
+rase proble#a es 8(y-,y18*" -,y18. 7l a.- es ,y-18. 7l b.- es -,y18. 7l
c.- es y(8-18,y*" o sea -1b,a. 7l d.- -1a,y. )asta co#parar.
*
155.- Si 9e8iste un nico 8 tal que 180" esto puede representarse co#o' a.-
/y(%/ (%y / = y)). b.- /y(%/ %y). c.- /y(%/ (%y / = y)). d.-
/y((%/%y) / = y). (R.: c).
7s la c.- por de+inicin de e8istencia y unicidad.
78a#ine#os las otras y ere#os que se trata de tautologas" #ientras que la
+rase que establece la e8istencia y unicidad slo es alida para predicados 1
tales que su clase asociada tenga la +or#a 1 2 DaE! por ello no puede ser una
tautologa.
La pri#era" a.-" es una tautologa. 7+ectia#ente. Si 1 no es aco basta con
elegir el #is#o ele#ento (8 2 y*" con lo que el lti#o consecuente es erdadero
(8 2 8*" luego la proposicin es erdadera! y si 1 es aco" 18 es +alsa y co#o
es el antecedente de una i#plicacin" 5sta es erdadera.
1ara co#probar que es una tautologa" ta#bi5n puede negarse y se er que las
clusulas llean a contradiccin' 8y(18 -(1y 82y**" o sea 18 (1y 8y*"
o sea tres clusulas! eligiendo un 9y0 que sea igual a 980 (lo que puede hacerse
porque 9y0 puede ser cualquiera" p. e.. y 2 8*" la tercera clusula da la
clusula aca 8 8.
La b.- ta#bi5n es una tautologa. pues 9para todo 8 e8iste un y (por e.e#plo" 5l
#is#o" y 2 8* tal que 18 1y (o sea 18 18*0. Jtra +or#a de co#probarlo'
negando la e8presin" se tiene 8y(18-1y* o sea 1a-1y" que origina la
clusula aca para y 2 a.
La d.-' igual que la a.-" basta con elegir el 9y0 que e8iste" co#o y 2 8" lo que
llea a que el consecuente sea 8 2 8" que" por ser tautologa" hace
uniersal#ente lida la i#plicacin. J negar la +rase" con lo que se obtiene
8y((181y* 8 y*" o sea (1a 1y* a y! pero 9y0 puede ser cualquiera
segn su cuanti+icador" as le da#os el alor y 2 a" y obtene#os a a" que es
una de las +or#as de la clusula aca.
*
161.- 8,8 y1y es equialente a' a.- /y(R/ %y). b.- /y(R/ %y). c.-
/y(%y R/). d.- y/(%y R/). (R.: b).
La +rase proble#a es 8-,8y1y" 8y(-,81y*" o sea" 8y(,81y*.
*
164.- Las dos clusulas -Sy-Ty8" T+(8*a son uni+icables para 8 2 a e y 2 +(a*"
dando co#o conclusin -S+(a*. 7sto es' a.- ncorrecto. b.- depende del un$erso
del dscurso. c.- correcto. d.- correcto( pero la conclus!n es 'a.
(R.: c( naturalmente( y las dems son ob$amente falsas).
*
5.- O(RAS LGICAS
3.1.- Lgicas +odales ,Le-is.:
7es posible que8 p 7es i*posible que8 p 7es e#esario que8 p
I*pli#a#i' l'!i#a "pq% 7"pq%8
9quivale#ia l'!i#a "pq% 7"pq%8
3.2.- Lgica de *redicados con &dentidad "7B8 7es8 7es idEti#o a8 7es i!ual a8 ...%
:a- que disti!uir varios setidos del verbo ser&
a% 7ser8 de la idetidad "7B8% etidad B etidad. #lase B #lase. rela#i' B rela#i'
b% 7ser8 de pertee#ia "78% etidad #lase "l'!i#a de #lases%
#% 7ser8 de i#lusi' "78% #lase #lase "l'!i#a de rela#ioes%
d% 7ser8 de la predi#a#i' "i*pl=#ito e el esque*a 7P"?%8% "l'!i#a de predi#ados%
La l'!i#a de la idetidad a#o!e ta*biE e su seo la l'!i#a de las 7des#rip#ioes8 "e?presioes que
se ii#ia #o el art=#ulo deter*iado si!ular 7el8 o 7la8 - que pretede o*brar ua etidad
dada.
3.3.- Lgica de las Clases
a" Blgebra booleana de las clases
AC?P A"?%D B 7la #lase de todos los ? que veri,i#a A"?%8
AO ?"?A ?O% A=O ?"?A ?O%
AO C?P ?A ?OD AO C?P ?A ?OD
AQ C?P ?AD Co;uto va#=o
Co;uto uiversal >
b" )ropiedades
1.- Si A - O so dos #lases0 eto#es& AQ0 AO0 AO ta*bie so #lases
4.- es el ele*eto eutro de - > es el eutro de & A B A A> B A
5.- AAQ B > - AAQ B
6.- AO B OA - AO B OA
G.- A"OC% B "AO% C - A "OC% B "AO% C
H.- A"OC% B "AO%"AC% - A"OC% B "AO%"AC%
J.- AA B A - AA B A
K.- A> B > - AB
I.- A"AO% B A - A"AO% B A
1L.- "AO%Q B AQOQ - "AO%Q B AQOQ
c" Verificacin mediante diagramas de Euler
Ejemplo&
pq 7todo p es q8 PA
qr AR
pr PR
3.4.- Lgica de /elaciones
L'!i#a de #lases l'!i#a de predi#ados de pri*er orde *o$di#o
"
.
R
/
)odelo *ate*$ti#o& Rl!ebra de las #lases
L'!i#a de rela#ioes l'!i#a de predi#ados poli$di#os
)odelo *ate*$ti#o& Rl!ebra de las rela#ioes
?R- C"?0-%R"?0-%D
RS ?0 - "?R- ?S-% RBS ?0 - "?R- ?S-%
RS C"?0-%P"?R- ?S-%D RS C"?0-%P"?R- ?S-%D
RQ C"?0-%P"?R-%D R
-1
C"?0-%P"-R?%D
RS C"?0-%P+"?R+ +S-%D do* R C?P- "?R-%D
ra R C-P? "?R-%D
Leyes :
1% ? R
-1
- - R ? 4% "RBS% "R
-1
BS
-1
%
5% "RS% ""RA% "SA%% 6% "RS% ""RA% "SA%%
G% "RS% "do* R do* S% H% "RS% ""RA% "SO%%
3.%.- Lgica de predicados de orden superior
1Cay una propiedad que el corcho y la madera poseen en com5n3 1)!)!+")!y""3
1Ser conductor de electricidad es una propiedad com5n a ciertos
materiales y el cobre es conductor de electricidad3 1)!<"<!+"3
3.0.- Lgicas *olivalentes ,!ultivalentes o !ultivaloradas.
Ad*ite *$s de dos valores se*$ti#os "F0 V%
.gica bivalente !V# F"%.gica trivalente !V# F# 1ni F ni V3" etc@
L'!i#a trivalete de .uDasie;ic6
p q pq pq pq pq Geerali+ado
L L L L 1 1 CLBLN"-1%0 1N"-1%0 4N"-1%0... "-1% N"-1%B1D
L S S L 1 S
p B 1-p
L 1 1 L 1 L p q B *i "p0q%
S L S L S S
p q B *a? "p0q%
S S S S 1 1 p p B *i "10 1Tq-p%
S 1 1 S 1 S
p q B 1- p-q
1 L 1 L L L
1 S 1 S S S
1 1 1 1 1 1
>sa s'lo la e!a#i' - el #odi#ioal #o*o pri*itivas - las de*$s opera#ioes se e?presa e
,u#i' de ellas&
p q "pq%q
p q "pq% ""pq%q%
p q "pq% "qp% """pq%"qp%%"pq%%
EJERCICIOS MODAL
4.- 97s posible que p sea necesario0 equiale a que 9es posible que -p sea
i#posible0. 7sta a+ir#acin es' a.- &erta. b.- Dalsa. c.- @epende de p. d.-
#nguna de las otras tres. (R.: a).
Supri#a#os el 9es posible0 inicial en a#bas" lo que llea a la interrogacin de
que 9es necesario p0 sea equialente a que 9-p sea i#posible0. 1ero esto es la
de+inicin de necesidad en lgica #odal" cuando se parte del inde+inible 9es
posible0.
*
17.- 7n lgica #odal es necesario' a.- p q. b.- q p. c.- p p. d.- pp.
(R.: c).
Lo necesario en #odal es la i#plicacin entre a8io#as y teore#as' todas las
tautologas (c.-* se consideran necesarias y las contradicciones (d.-*
i#posibles. 7l resto de las proposiciones pueden ser posibles aunque no sean
necesarias (y" por supuesto" si se es necesaria" se es posible" y se es
i#posible si y slo si la negacin es necesaria*.
*
38.- N7s lo #is#o 99es necesario que no p00 que 99es posible p00O a.- '. b.-
@epende de p. c.- Una es la negac!n de la otra. d.- #nguna de las anterores.
(R.: c).
Las dos son" respectia y +or#al#ente" ((--*-p* (es necesario es 9no-ro#bo-
no0*" o sea ---p (que es -p* y p (p es posible*" luego la respuesta correcta
es la c.-.
*
48.- Si p es necesario entonces' a.- es mposble *no p+. b.- p no es posble.
c.- p es falso. d.- *no p+ es $erdadero.
(R.: a.-( por defnc!n( son equ$alentes).
*
72.- p es posible si y slo si' a.- p es mposble. b.- es necesaro no p. c.-
es necesaro p. d.- no es necesaro no p. (R.: d( por defnc!n).
*
98.- Si de p sabe#os que no es necesaria" entonces' a.- p es mposble. b.- p
es mposble. c.- p es posble. d.- p es posble. (R.: d( por defnc!n).
*
123.- La +rase de lgica #odal de LeLis (q p* puede leerse (es equialente
a*' a.- no es necesaro que qp. b.- es necesaro que qp. c.- no es necesaro
que qp. d.- es necesaro que qp. (R.: a).
La +rase proble#a dice que es posible qp" lo que" por de+inicin" dice que no
es necesario -(q p*" pero 5sta es q-p.
*
MODAL
141.- La +rase de lgica #odal de LeLis --(q-p* puede leerse' a.- es
mposble que qp. b.- es mposble que pq. c.- es necesaro que qp. d.- es
necesaro que qp. (R.: a( por defnc!n).
*
163.- La +rase de lgica #odal de LeLis -(q p* puede leerse (es equialente
a): a.- es necesaro que qp. b.- no es necesaro que qp. c.- es necesaro
que qp. d.- no es necesaro que qp. (R.: aE pregunta anloga a la .07).
CLASES
11.- La e8presin que es equialente a la +rase 8(A8-)8* en lgica de clases
es' a.- A2. b.- A2. c.- A2 = ( o sea Ac(2)( o 2c(A) ). d.- A2 = U.
(R.: c).
La e8presin" en espaol" dice que 9ningn A es )0 (o sea 9ninguno de los
ele#entos (8* de A es ele#ento (8* de )0*. Lo cual quiere decir que A y ) no
tienen ningn ele#ento co#n (es lo #is#o que decir que su interseccin es
aca*. Las otras respuestas son incorrectas! la a.- lo es" porque co#o ningn
ele#ento de A pertenece a )" obia#ente no puede darse que todos los ele#entos
de A pertenezcan a )! la b.- no puede ser correcta ya que el enunciado dice
9equialente0' es erdad que dos con.untos dis.untos no pueden ser iguales" pero
dos con.untos distintos pueden no ser dis.untos" por e.e#plo A 2 D3" <E y ) 2
D3" ?E! e igual#ente es incorrecta la d.-" pues para el unierso $ 2 D3" <" ?E"
la unin de esos A y ) es $" pero ello no equiale a que sean dis.untos.
(,ecorde#os que se co#ete un abuso de lengua.e" al designar con.unto y predicado
con la #is#a letra' esto no tiene i#portancia en lgica de pri#er orden" pero s
en lgica de segundo orden*.
*
18.- 7n lgica de clases" las e8presiones 8(18 B8* y 818 8B8 se
escriben respectia#ente co#o' a.- %: y :%. b.- #nguna de las otras tres.
c.- (% - :) = U y (% = U : = U). d.- % = : y (% = U : = U). (R.: d).
Teniendo en cuenta que la pri#era e8presin es una de las de+iniciones de
igualdad de clases" que 1 2 $ signi+ica 818 (no es una tautologa* y que B 2 $
signi+ica 8B8 (que ta#poco lo es*" la respuesta lida es eidente. 8$8 s es
tautologa ya que es $ 2 $.
*
41.- N78iste algn unierso en el que sea +alsa la a+ir#acin 99si dos clases
son iguales sus co#ple#entos son iguales00O a.- '. b.- #o. c.- @epende del
un$erso. d.- #nguna de las tres anterores. (R.: b).
Sean 8 e y dos clases cualesquiera" tales que 8 2 y! esto signi+ica que
z(z8 zy*" lo que puede escribirse co#o z(z8 zy* (pues p q si y
slo si -p -q*" o sea co#o z(zc(8* zc(y** que no es #s que
c(8* 2 c(y*.
*
51.- %enote#os co#o c(A* el co#ple#ento de A. Si Ac()* 2 " se deduce de ello
que' a.- A2 = . b.- c(A)2 = . c.- c(A)2 = U. d.- nnguna de las
anterores. (R.: c).
La hiptesis a+ir#a que -8(8A8)*" o sea que 8(8A8)*" que es lo que
a+ir#a c.-! ade#s" a.- no se deduce de la hiptesis" co#o prueba el
contrae.e#plo A 2 ) " que conierte en erdadera la hiptesis" pero en +alsa
a.-! y b.- ta#poco se deduce de la hiptesis co#o lo prueba el contrae.e#plo A 2
c()* 2 " que conierte en erdadera la hiptesis pero no satis+ace b.-
(co#pru5belas*.
*
73.- 7n lgica de clases 8(18B8*" debe escribirse equialente#ente co#o'
a.- % : y : . b.- %: . c.- %: = . d.- % %:.
(R.: b( e$dentemente).
CLASES
97.- Si A) " entonces (y aunque la recproca no es cierta en general*'
a.- 2 = . b.- c(A)c(2) = U. c.- c(A)2 . d.- c(A)c(2) = . (R.: c).
a.- A) ) 2 . Salsa. $n contrae.e#plo A 2 ) 2 $.
b.- A) c(A*c()* 2 $. Salsa. $n contrae.e#plo" el anterior.
c.- A) c(A*) ! es obia'
A) ) c(A*) .
La recproca es +alsa en general
c(A*) A) . $n contrae.e#plo' A 2 ) 2 .
d.- A) c(A*c()* 2 . $n contrae.e#plo' A 2 $ 2 D4" 3E" ) 2 D4E.
*
108.- La e8presin que es equialente a la +rase 8(A8 -)8* en lgica de
clases es' a.- A2. b.- A 2. c.- A2 = . d.- A2 = U.
(R.: c( como en el ..).
*
109.- La e8presin que es equialente a 8(-)8-A8* en lgica de clases es'
a.- A2. b.- A 2. c.- A2 =. d.- A2 = U.
(R.: cE es el msmo eFercco anteror).
*
114.- 7n lgica de clases" las +rases 8(18B8* y 8188B8 se escriben
respectia#ente co#o' a.- %: y :%. b.- #nguna de las otras tres.
c.- (% - :) = U y (% = U : = U). d.- % = : y (% = U : = U). (R.: d(
e$dentemente).
*
133.- Sean 1" B" ," clases y sean c(1*" c(B*" c(,* sus co#ple#entarias. Si 1
B" entonces' a.- 1ay un elemento /%: tal que /%:. b.- son dsFuntas( %: =
. c.- no son dsFuntas( %: . d.- : = c(%). (R.: a).
7+ectia#ente" si dos con.untos son distintos" su unin no puede ser aca" pero
esta unin no puede ser igual a la interseccin" ya que seran iguales en ez de
distintos (9distintos0 es que e8iste algn ele#ento no co#n' 1B B1*. %el
hecho de ser distintos no se in+iere que sean dis.untos (b.-*" p. e.." 1 2 D4"
3E" B 2 D4" <E! ta#poco se in+iere que no sean dis.untos" e.. 1 2 D4E y B 2
D3E.6 ta#poco se in+iere que sean #utua#ente co#ple#entarios (e.. el del b.-*.
*
134.- Si 1B" entonces los productos cartesianos 18, y B8, eri+ican 18,B8,.
a.- falso. b.- no e/ste la nclus!n entre productos de clases. c.- $erdadero.
d.- depende de R. (R.: c).
1B signi+ica que 8(818B*! y ta#bi5n sabe#os que" por de+inicin"
(8" y*A8)8Ay). 1or ello se entiende en seguida que (8" y*18,
(81y,* (8By,* (8" y*B8," de donde 18,B8,.
*
135.- Si la unin de 1 con B es el uniersal $" entonces se in+iere que'
a.- /(/%/:). b.- /(/%/:). c.- /(/% /:). d.- /(/%). (R.: c).
CLASES
7n t5r#inos con.untistas" la +rase dice 1B 2 $! a.- es 1B , b.- es 1c(B*
2 $! d.- es 1 . Iinguna de las tres est garantizada por 1B 2 $ (hay
contrae.e#plos sencillos*. La c.- s" pues es c(1*B. :ea#os que de 8(818B*
(que es 1B 2 $* se deduce 8(818B*' basta eli#inar el signo 90 para darse
cuenta de que a#bas e8presiones dicen lo #is#o.
*
151.- Sean 1" B" ," clases y c(1*" c(B* y c(,* sus co#ple#entos (y esto igual
para las preguntas 3P<" 3P? y 3P@*. Si 1B " entonces' a.- % :. b.- % :
= U. c.- c(%)c(:) U. d.- c(%:) = U. (R.: c).
La +alsedad de la condicional se prueba dando un contrae.e#plo en el que el
antecedente sea erdadero y el consecuente sea +also.
La +rase 1B 1 B no es uniersal#ente lida. $n contrae.e#plo" 1 2 B 2
$.
La +rase 1B 1B 2 $ no es uniersal#ente lida. $n contrae.e#plo" 1 2
B 2D4E" $ 2 D4" 3E.
La +rase 1B c(1*c(B* $ es uniersal#ente lida. 7+ectia#ente"
c(1*c(B* 2 c(1B*" por la ley de %e &organ! to#ando co#ple#entarios a a#bos
#ie#bros del antecedente tene#os 1B c(1B* c(* c(1*c(B* $.
La +rase 1B c(1B* 2 $ no es uniersal#ente lida. $n contrae.e#plo" 1
2 B 2 $.
Todo esto puede hacerse ta#bi5n en lgica de pri#er orden.
1uede au8iliarse uno ta#bi5n de diagra#as de 7uler.
7s sencillo er que ha de ser la c.- por el teore#a de dualidad que dice' Si" en
una e8presin de lgica de clases" se ca#bia cada clase por su co#ple#entaria"
la unin por la interseccin" la interseccin por la unin" el signo de
9contenido en0 por 9contiene a0 (de+.' A) )A*" y no se ca#bian ni el signo
igual ni el signo desigual (distinto de*" entonces se obtiene una +rase que es
equialente a la pri#era.
*
152.- Si c(1*c(B*" entonces los productos cartesianos 18, y B8, satis+acen'
a.- (:/R)(%/R). b.- (%/R)(:/R). c.- (%/R):. d.- (%/R)R. (R.: a).
Si c(1*c(B*" entonces B1 y por ello B8,18, (ea el 3?@*.
*
153.- Si c(1*c(B*" entonces' a.- :%. b.- :%. c.- %c(:). d.- :c(%). (R.: b)
1or las propiedades enunciadas anterior#ente la solucin es b.-. 1robe#os que
las otras no pueden ser lidas.
a.- c(1*c(B* B1 +alsa para el #odelo 1 2 $.
c.- c(1*c(B* 1c(B* +alsa para el #odelo 1 2 B 2 $.
d.- c(1*c(B* Bc(1* +alsa para el #odelo 1 2 $" B .
*
154.- Si la interseccin de 1 con B es el uniersal o re+erencial $" entonces se
in+iere' a.- /(/%/:). b.- /(/%/:). c.- /(/:). d.- /(/:). (R.: c).
Si 1B 2 $ es que 1 2 $ y B 2 $. As que la c.- es obia.
*
CLASES
170.- Sean 1" B" ," clases y sean c(1*" c(B* y c(,*" respectia#ente sus
co#ple#entarias (y son ta#bi5n aqu5llas a las que se re+iere la pregunta 3H3*.
Si 1 B" entonces' a.- /(/% /:). b.- /(/%/:). c.- /(/%/:). d.-
/(/% /:). (R.: b).
1uede resolerse co#probando cul de las cuatro se deduce de 8(818B*" que
es 1 B. 1ero es pre+erible #ontar la i#plicacin colocando" co#o he#os hecho
otras eces" el consecuente en +or#a con.untista.
a.- 1 B 1 c(B*" +alsa para el contrae.e#plo 1 2 D4E" B 2 $ 2 D4" 3E.
b.- 1 B 1B " eidente#ente erdadera" ya que aquel(llos* ele#ento(s*
que los hacen distintos" ta#bi5n pertenecen a la unin" luego la unin no puede
ser aca. 7nsaye algn procedi#iento para probarlo a partir de la a8io#tica
del lgebra de )oole.
Jtra +or#a de prueba. Su negacin es 1 B 1B 2 " que es +alsa para el
#odelo 1 2 B" o para el #odelo 1 2 $" etc.
c.- 1 B 1c(B* . Salsa en general. =ontrae.e#plo obio' 1 2 " B 2 $.
d.- 1 B 1 2 c(B*. Salsa en general. =ontrae.e#plo" B 2 $ 2 D4" 3E" 1 2 D4E.
*
171.- Si 1 B entonces c(B* c(1*. 7sto es' a.- Dalso. b.- #o e/ste
nclus!n entre clases. c.- Cerdadero. d.- @epende de %. (R.: c).
Io slo se satis+ace la condicional" sino que son equialentes.
1rueba' 1 B 8(81 8B* 8(8B 81* 8(8c(B* 8c(1**
c(B* c(1*.
*
S: xy(x y Px Qy)
192.- 7n toda estructura que satis+aga S"' a.- % = . b.- % = :. c.- : = . d.-
% . (R.: d).
*
S: xy(x y Px Py)
212.- 7n toda estructura que satis+ace '(: a.- % = . b.- % = c(%). c.- c(%)=.
d.- % . (R.: d).
910 no puede ser aco" ya que tiene algn ele#ento (lo ya nos da la respuesta
d.- co#o erdadera. 7l co#ple#entario no puede ser 1" y ade#s no puede ser
aco ya que tiene algn 9y0 co#o ele#ento.
*
POLIVALENTE
13.- 7n lgica trialente de LuKasieLicz pq coincide con p q cuando'
a- p = 0 y q = B. b- p = . y q = .. c- q = . y p = 6. d- p = - y q = .. (R.: b).
La pri#era queda descartada" ya que el alor de erdad en trialente no puede
ser #ayor que 3. Aplicando las +r#ulas para esta trialente que son
pq 2 #n(p" q* y p q 2 #n(3" 3 p + q*" se obtienen para el caso b.-
alores id5nticos (3*" luego ya est. 1ero si nos queda la duda sobre la
+alsedad de las otras dos" las co#proba#os' para la c.-" #n(T" 3* 2 T" #ientras
que #n(3" 3 - T M3* 2 3" (o.o' en el enunciado c.- est ca#biado el orden de p
y q con respecto a los otros enunciados*! para d.-" #n(4" 3* 2 4" en tanto que
#n(3" 3 - 4 M 3* 2 3.
*
30.- N=ul es la +or#a correcta del alor de erdad de pq en lgica trialente
de LuKasieLiczO' a.- mn(.( . G p - q). b.- mn(. - p( . - q). c.- mn(.( . - p
G q). d.- m/(. - p( q).(R.: c( por defnc!n).
*
31.- La ley 9#odus ponens0 de lgica bialente" al pasar a lgica trialente de
LuKasieLicz es' a.- una tautologa. b.- falsa en todo caso. c.- falsa para alg,n
o algunos $alores. d.- nnguna de las anterores. (R.: c).
)asta con hacer la tabla de erdad de (p (p q** q lo que en trialente de
LuKasieLicz es dar todos los alores de #n(3" 3Mq - #n(p" #n(3" 3-pMq***"
para p" q 2 4" T " 3.
*
88.- 7l alor de erdad de -(p q* en lgica trialente de LuKasieLicz" para
p 2 T y q 23" es' a.- .. b.- -. c.- 6 . d.- - 6 . (R.: c).
1ara lo cual slo hay que recordar que es 3 - Up - qU.
*
116.- 7n lgica trialente de LuKasieLicz" rt coincide con tr cuando'
a.- r = 6 y t tenga cualquer $alor. b.- r = . y t = 6. c.- r = 6 y t = 6 .
d.- r = - y t = .. (R.: d).
Aplique las de+iniciones de los operadores lgicos en trialente.
*
117.- 7n lgica trialente de LuKasieLicz" la e8presin p-p'
a.- es tautologa. b.- no lo es. c.- no es tautologa s p = .. d.- es una
contradcc!n. (R.: b).
=o#o p-p es #8(p" 3 - p*" no es tautologa (p. e.. para p 2 T " no es 3*. Si p
2 3" la e8presin es co#o en bialente #8(3" 3 - 3* 2 3" erdadera en este
caso. Io es contradictoria puesto que tiene algn alor distinto de cero (p.
e.." el del caso a.-*.
*
193.- 7n lgica polialente de LuKasieLicz (pq*r es equialente a' a.- p. b.-
p(qr). c.- p(qr). d.- (pq)r. (R.: b).
*
POLIVALENTE
194.- 7n lgica trialente de LuKasieLicz" p-p' a.- es erdadero (3* para toda
asignacin de alores a p. b.- es +also (4* para toda asignacin de alores a p.
c.- no es tautologa. d.- es contradiccin. (,.' c*.
*
213.- 7n lgica polialente de LuKasieLicz" (pq*r es equialente a' a.- p.
b.- p(qr). c.- p(qr). d.- (pq)r. (R.: b).
1or la propiedad asociatia del #8i#o.
*
214.- 7n lgica trialente de LuKasieLicz p-p. ' a.- es $erdadero (.) para toda
asgnac!n de $alores a p. b.- es falso (-) para toda asgnac!n de $alores a p.
c.- es tautologa. d.- no es una contradcc!n. (R.: d).
*
RELACIONES
65.- 1ara el unierso $ 2 D3" <E" y la +uncin de SKole# +(3* 2 3 y +(<* 2 <"
sean 1(3" <* y 1(<" 3* +alsos y 1(3" 3* y 1(<" <* erdaderos. N=ul de estas
e8presiones es erdaderaH: a.- /y%(/( y). b.- /y%(/( y). c.- /y%(/( y).
d.- /y%(/( y). (R.: a).
78a#ine#os la a.-. 1(8" +(8**" o sea 1(3" 3*1(<" <* que es erdadera por serlo
a#bas. Luego es la a.-. Las de#s no pueden serlo" pues'
b.- es 1(a" 3*1(a" <* que no puede ser erdadera ni para a 2 3 (pues 1(3" <* es
+alsa* ni para a 2 < (pues 1(<" 3* es +alsa*.
c.- 1(8" y* que es 1(3" 3*1(3" <*1(<" 3*1(<" <*" +alsa por la #is#a razn.
d.- es lo #is#o que b.-.
*
100.- Si ,0 representa la relacin inersa de ," una de estas 9leyes0 no es
lida en general en el lgebra de relaciones' a.- (R')+ = R+'+. b.- (R')+ =
'+R+. c.- (Ro:)oA = Ro(:oA). d.- (Ro')+ = R+o'+. (R.: d).
Las pruebas de las tres pri#eras pueden encontrarse en el te8to base. As se
localiza in#ediata#ente que la que no es lida es la d.-. 7s interesante er
que la d.- no es uniersal#ente lida. Tene#os
,oS 2 D(8" y* U z((8" z*, (z" y*S**E" V0 2 D(8" y* U (y" 8*VE.
$n contrae.e#plo' $ 2D4" 3E" , 2 D(4" 3*E $8$ y S 2 D(3" 4*E $8$" puesto
que (,oS*0 es D(4" 4*E" y ,0 2 D(3" 4*E" S0 2 D(4" 3*E" ,0oS0 es D(3" 3*E.
*
6.- LGICA OORROSA
14ormalmente# los muebles antiguos son dif2ciles de conseguir3
1.o dif2cil de conseguir es caro3
14ormalmente# los muebles antiguos son caros3
Predi#ados borrosos& 7#aro80 7ati!uo80 7di,=#il de #ose!uir80 7obras de arte80 7bueo8..
Cuati,i#ador& 7Nor*al*ete80 7*u#@os80 7po#os80 7al!uos80 7la *a-or=a8...
)odi,i#adores& 7*u-80 7*as o *eos80 7#asi80 7bastate8...
4.1.- Con)untos borrosos:
> conjunto borroso se de,ie *ate*$ti#a*ete asi!ado a #ada idividuo del uiverso de
dis#urso u valor que represeta su !rado de pertee#ia al #o;uto
Los grados de pertenencia se suele represetar por <*eros reales etre L - 1
9l L represeta la 7total no pertenencia8 - el 1 la 7total pertenencia8
Se de,ie u #o;uto borroso A *ediate ua ,u#i' de pertee#ia
A
que asi!a a #ada ?
u valor #o*predido etre L - 1

A
"?%& > R tal que ?
A
"?%2L013
AO si
A
"?%
O
"?% ?>
7> ele*eto #o u !rado de pertee#ia al #o;uto A tiee al *eos ese *is*o !rado de
pertee#ia a O
A B O si
A
"?% =
O
"?% ?> - A O si ?>0
A
"?%
O
"?%
AQ B C?
AQ
"?% = 1-
A
"?% ?>D
7Se asi!a a #ada ele*eto del uiverso el #o*pl*eto respe#to a 1 de su !rado de
pertee#ia8
AO B C?
AOQ
"?% = *a?"
A
"?%0
O
"?%% ?>D
AO B C?
AOQ
"?% = *i"
A
"?%0
O
"?%% ?>D
AAQ - AAQ >
A?O B C"?0-%
A?OQ
"?0-% = *i"
A
"?%0
O
"-%% ?> -V D
4.2.- /elaciones borrosas
1ados uiversos >
1
0 >
4
0 >
5
0...>0 se de,ie ua relacin borrosa R por ua ,u#i' de
pertee#ia
R
que asi!a a la tupla "?
1
0 ?
4
0 ... 0 ?

% del produ#to #artesiao >

1
?>
4
?...>

u valor
#o*predido etre L - 1

R
"?
1
0 ?
4
0 ... 0 ?

% represeta el !rado de pertee#ia de "?

1
0 ?
4
0 ... 0 ?

% a R
Relacin borrosa binaria& R">0V% B C"?0-%
R
"?0 -% 0 ?> -VD
Eominio& Co;uto borroso que asi!a a #ada ele*eto del #o;uto ori!e > el *$?i*o
!rado de rela#i' #o #ualquiera de los ele*etos del #o;uto i*a!e V
Rango& Co;uto borroso que asi!a a #ada ele*eto del #o;uto i*a!e V el *$?i*o
!rado de rela#i' #o #ualquiera de los ele*etos del #o;uto ori!e >
1ado que las rela#ioes borrosas represeta #o;utos borrosos0 se puede apli#ar las
opera#ioes t=pi#as de #o;utos "inclusin# igualdad# desigualdad# complementacin# unin e
interseccin%
1ados tres uiversos >0 V0 U0 ua rela#i' biaria P">PV% - otra A"VAU%0 se de,ie la
relacin binaria compuesta R">RU% - se represeta R">0U% B P">0V% A"V0U% #o*o
aquella rela#i' borrosa que asi!a a #ada pare;a "?0+% del produ#to #artesiao >?U el !rado
de rela#i' resultate de las si!uietes opera#ioes&
A )ara cada yV se toma el m2nimo de los grados
)F
!+#y"
<F
!y#6"
A El m+imo de todos los m2nimos anteriores es el grado de relacin de la pareja !+#6"
La #o*posi#i' de rela#ioes se #oo#e #o*o producto matricial ma+Amin
1ados los uiversos > - V0 u #o;uto borroso A de,iido sobre el uiverso > - la rela#i'
biaria R etre ele*etos de > - V0 se de,ie la relacin unaria compuesta O de,iida sobre
V0 #o*o el si!uiete #o;uto borroso&
O B AR">0V% B C-%
AR
"-%0 ?>0 -V0 A>0 OVD
Siedo
AR
"-% B *a?
?>
2*i "
A
"?%0
R
"?0-%3
4.3.- entencias borrosas
Para la l'!i#a borrosa vale las *is*as re!las de ,or*a#i' que para la l'!i#a de predi#ados
pero no puede construirse un sistema a+iomtico0 al o poder de,iir el #o#epto de sete#ia
v$lida "tautolo!=a%
Se puede de,iir el 7significado de predicado mondico8 #o*o el #o;uto borroso ,or*ado
por todas las rela#ioes se*$ti#as del predi#ado #orrespodiete #o los ele*etos del
uiverso.
1ado u predi#ado *o$di#o al que se @a aso#iado u #o;uto borroso A0 que represeta su
si!i,i#ado0 a la interpretacin verdadera de una sentencia simple de la forma (!+" dode ? es
u ele*eto del uiverso > se le asi!a el valor de verdad
A
"?%0 es de#ir0 el !rado de
pertee#ia al #o;uto borroso A.
Se utili+ar$ la si!uiete ota#i'& ,!(!+"" 0
(
!+" 0 !ejemplo ,!)!=""0
p
!="08G9"
Se puede de,iir el 7significado de un predicado nAario8 #o*o la rela#i' borrosa ,or*ada por
todas las rela#ioes se*$ti#as del predi#ado #orrespodiete #o las tuplas ,or*adas por los
ele*etos de los distitos ele*etos. Para la iterpreta#i' de sete#ias si*ples #o
predi#ados di$di#os utili+are*os la ota#i' ,!R!+#y" 0
R
!+#y" 0
,nterpretacin de sentencias compuestas&
- ,!(!+"H!y"" B max "
A
"?%0
O
"-%% . ?> 0 -V
9l predi#ado #o*puesto por dis-u#i' tiee aso#iado el #o;uto borroso AO
S!(H" 0 (H . A> - OV
- ,!(!+"H!y"" B min "
A
"?%0
O
"-%% . ?> 0 -V
S!(H" 0 (H . A> - OV
- ,!(!+"H!y"" B max "min"
A
"?%0
O
"-%%0 1-
A
"?%% . ?> 0 -V
o I"A"?%O"-%% B min"
A
"?%0
O
"-%% 0 ?> 0 -V
o I"A"?%O"-%% B
A
"?%V
O
"-% 0 ?> 0 -V
S!(H" 0 (+H . A> - OV
- ,&!(!+"H!y"" !(!+"$!6"" B max "min"
A
"?%0
O
"-%%0 min"1-
A
"?%0
C
"+%%% . ?> 0
-V 0 +U
S!!(H" !(F$"" 0 !(+H"!(F+$" . A> 0 OV 0 CU
/odificadores lingu2sticos
- 4egacin& N9G""?%% B 1- "?%
- $oncentracin CON""?%% B
4
"?% 7/uy8
- Eilatacin 1IL""?%% B 4"?% -
4
"?% B 1-21-"?%3
4
7/as o menos8
- ,ntensificacin IN(""?%% B 4
4
"?% si L "?% L0G
B 1- 4"1-"?%%
4
si "?%WL0G
IN( suele estar e#adeada #o otra0 por e;e*plo& 7bastante8 B IN("CON""?%%%
1IL - CON so iversas
Ejemplos ,!mas o menos (!+"" 0 ,!algo (!+"" 0 E,. !
(
!+""
,!hiper(!+"" 0
(
!+"I$J4!
(
!+""
,!apro+imad (!+"" 0 ,!casi (!+"" 0 E,.!E,.!
(
!+"""
4.4.- /eglas b$sicas de in'erencia:
Las re!las de i,ere#ia e l'!i#a borrosa #ostitu-e la base del Ra+oa*ieto Apro?i*ado
7" )rincipio de Cerencia
Si el #o;uto borroso A aso#iado a u predi#ado0 es u sub#o;uto del #o;uto O0
#ualquier ele*eto del uiverso que te!a la propiedad represetada por A ta*biE
7hereda8 la propiedad represetada por O8
A"?%
AO
O"?% ?> A> O>
8" Regla de ,nterseccin
A"?%
O"?%
"AO%"?% ?> A> O>

(H
!+" 0 min !
(
!+"#
H
!+""
9" Regla del )roducto $artesiano
A"?%
O"-%
"A?O%"?0-% ?> A> 0 -V OV

(H
!+" 0 min !
(
!+"#
H
!y""
:" Regla de )royeccin
1e ua pare;a de ele*etos que #u*pla ua rela#i' borrosa se puede #o#luir que el
pri*er ele*eto tiee ua propiedad represetada por el do*iio de la rela#i'
R"?0-%
do* R"?% ?> 0 -V R>V

domR
!+" 0 ma+
yV

R
!+#y"
71e u predi#ado di$di#o se puede #o#luir el predi#ado *o$di#o aso#iado al do*iio de
la rela#i'8
=" Regla de $omposicin
A"?%
R"?0-%
"AR%"-% ?> -V A> R>?V

(H
!y" 0 ma+
+-
&min!
(
!+"#
R
!+#y""'
71e u predi#ado *o$di#o - u predi#ado di$di#o se puede #o#luir el predi#ado
*o$di#o aso#iado a la #o*posi#i' de rela#ioes8
>" /odus )onendo )onens generali6ado !/)K"
A"?%
O"?%C"-%
"A"O?C%%"-% ?> -V A> O> CV

(!H+$"
!y" 0 ma+
+-
&min!
(
!+"#
H+$
!+#y""' 0 ma+
+-
&min!
(
!+"# min!
H
!+"#
$
!y""'
4.%.- Cardinal /elativo:
)odo de idi#ar el !rado de propor#i' e que los ele*etos de u #o;uto O est$
presetes e el #o;uto A "grado de cumplimiento que tiene (!+" si se cumple H!+"%
% "
% "
% P "
H $ard
H ( $ard
H ( $ard

=
G.- LOGICA OORROSA& 9X9)PLOS
1.- Sea > B edades B CG0 1L0 4L0 5L0 6L0 GL0 HL0 JL0 KLD - #uatro #o;utos borrosos que represeta
los #o#eptos 7bebE80 7;ove80 7adulto80 - 7vie;o8. La tabla si!uiete *uestra los !rados de
pertee#ia a #ada #o;uto.
edades bebE ;ove adulto vie;o
G L 1 L L
7bebE8 B C D B
1L L 1 L L 7;ove8 B CGP10 1LP10 4LPL.K0 5LPL.G0 6LPL.40 GLPL.1D
4L L L.K L.K L.1 7adulto8 B C4LPL.K0 5LP10 6LP10 GLP10 HLP10 JLP10 KLP1D
5L L L.G 1 L.4 7vie;o8 B C4LPL.10 5LPL.40 6LPL.60 GLPL.H0 HLPL.K0 JLP10 KLP1D
6L L L.4 1 L.6
GL L L.1 1 L.H "ltura& valor *$?i*o. Si altura07 4ormali6ado
HL L L 1 L.K ";ove0 adulto - vie;o est$ or*ali+ados%
JL L L 1 1
KL L L 1 1
Card"A% B
A
"?%
vie;o adulto
"vie;o%Q o vie;o B CGP10 1LP10 4LPL.I0 5LPL.K0 6LPL.H0 GLPL.60 HLPL.KD
;ove vie;o B CGP10 1LP10 4LPL.K0 5LPL.G0 6LPL.60 GLPL.H0 HLPL.K0 JLP10 KLP1D
;ovevie;o B C4LPL.10 5LPL.40 6LPL.40 GLPL.1D
Iterpretar la sete#ia 7Xua es ;ove 7&
- Si Xua tiee 4L aFos&
;ove
"4L% B L.K

;ove
"5L% -
;ove
"4L%
- Si Xua tiee 4G aFos&
;ove
"4G% B
;ove
"4L% T ---------------------------- B L.HG
5L - 4L
Sobre el uiverso de las alturas se de,ie el #o#epto 7persoa de estatura *edia8 de la ,or*a
si!uiete ) B C1HLPL.G0 1JLP10 1KLPL.GD. Cal#ular X?)
X?) B C"G01HL%PL.G0 "G01JL%P10 "G01KL%PL.G0 ... 0 "4L01HL%PL.G0 ... 0 "GL01KL%PL.1D
Iterpretar las sete#ias&
7persoa ;ove o de estatura *ediaa8 B R"X0)%BC"G01HL%P10"G01JL%P10...0"GL01KL%PL.G%D
Sabiedo que Xua tiee 4L aFos - *ide 1KL& 7Xua es ;ove o de estatura or*al8

R
"4L01KL% B L.K
7persoa ;ove - de estatura *ediaa8 B R"X0)% B X?)
7Si Xua es ;ove eto#es Xua es de estatura *ediaa8 "tiee 4L aFos - *ide 10KL%
I"Xua es ;ove Xua es de estatura *ediaa% B *i"
X
"4L%0
)
"1KL%% B L.G
7Xua es bastante ;ove - casi de estatura *edia8

1
B
bastate X
"4L% B IN("CON"
X
"4L%% B IN("CON"L.K%% B IN("L0H6% B 1-4"1-L.H6%
4
BL.J6

4
B
#asi )
"1KL% B 1IL"1IL
)
"1KL% B 1IL"1-"1-L.G%
4
% B 1IL"L0JG% B 1-"1-L.JG%
4
BL.I5

5
B

4
B *i "
1
0
4
% B L.J6
Sea la de,ii#i' de 7persoa alta8 el #o;uto borroso A B C1KLPL.G0 1ILP10 4LLP1D iterpretar&
7Si Xua es muy ;ove0 eto#es Xua es bastante alto0 sio es de estatura *edia8
1% Xua es muy ;ove&
1
B
*u- X
"4L% B CON"
X
"4L% B CON"L.K% B L0H6
4% Xua es bastante alto&
4
B
bastate A
"1KL% B IN("CON"
A
"1KL%% B 1-4"1-L.LH4G%
4
BL.KJG
5% Xua es de estatura *edia&
5
B
)
"1KL% B L.G
6% muy ;ove bastante alto muy ;ove estatura *edia
*a?2*i"*u- ;ove0 bastate alto%0 *i"1-*u- ;ove0 estatura *edia%%
B *a?2*i"
1
0
4
%0 *i"1-
1
0
5
%3 B *a?2*i"L.H60 L.KG%0 *i"L.5H0 L.G%3 B L.H6
4.- Rela#ioes borrosas& 1ados los #o;uto o borrosos >B CC$di+ "C%0Geroa "G%0Sevilla "S%D -
V B CC$di+ "C%0 (oledo "(%D0 se estable#e la rela#i' borrosa& 7las #iudades ?> e -V est$ *u-
le;os8 #u-os valores se represeta e la (abla si!uiete&
Pode*os es#ribir&
R">0V% B C"C0(%PL.60 "G0C%P10 "G0(%PL.H0 "S0C%PL.10 "S0(%PL.5D
do* R B CCPL.60 GP10 SPL.5D
ra R B CCP10 (PL.HD
5.- Sea los #o;uto o borrosos 9 B esta#ioes del aFo B Cpri*avera0 verao0 otoFo0 ivieroD
S B sesa#ioes tEr*i#as B C#alor0 ,r=oD - R B ropas B C#a*isa0 tra;e0 abri!oD0 #o las rela#ioes&
PB8e la esta#i' del aFo e9 se siete sS8 - AB8#uado se siete sS se utili+a rR80 siedo
la rela#i' #o*puesta PA represetar=a& 7e la esta#i' del aFo e9 se utili+a la ropa rR8
Repasado& do* P B Cpri*averaPL.K0 veraoP10 otoFoPL.K0 ivieroP1D
do* A B C#alorPL.K0 ,rioPL.KD
do* PA B Cpri*averaPL.K0 veraoPL.K0 otoFoPL.K0 ivieroPL.KD
ra P B C#alorP10 ,rioP1D
ra A B C#a*isaPL.K0 tra;ePL.40 abri!oPL.KD
ra PA B C#a*isaPL.K0 tra;ePL.40 abri!oPL.KD
Iterpretar las sete#ias&
7e otoFo se siete ,rio8
otoFo0,rio
B L.K
7e iviero se siete #alor8
iviero0#alor
B L
5.- Supo!a*os que os da las dos pre*isas si!uietes& 7La pel=#ula dura apro?i*ada*ete 4
@oras8 0 7 Si la pel=#ula es de lar!a dura#i'0 Xua lle!ar$ tarde8. - os pre!uta si se puede
#o#luir que Xua lle!ar$ tarde bas$doos e los si!uietes supuestos&
a% Sobre el uiverso de las dura#ioes "e *iutos%0 1BCKL0 IL0 1LL0 11L0 14L0 15L0 16LD
A B apro?. 4 @oras B C11LPL.G0 14LP10 15LPL.GD
L B lar!a dura#i' B CILPL.4G0 1LLPL.G0 11LPL.JG0 14LP10 15LP10 16LP1D
b% Sobre el uiverso de los retrasos "e *iutos%0 R B CL0 G0 1L0 1G0 4L0 4GD
( B lle!ar tarde B CGPL.4G0 1LPL.G0 1GPL.JG0 4LP10 4GP1D
Por tato0 el e;er#i#io os pide que #o*probe*os la #orre##i' del ra+oa*ieto si!uiete&
A"?% ? represeta la pel=#ula
L"?% ("-% - represeta a Xua
("-%
Pode*os dedu#ir que ( B A L ? (
C0di1 Toledo
C0di1 2 2,3
4erona 5 2,6
#evilla 2,5 2,7
2,8 2,9
5 2 2,8 2,9 2
2,9 2,8 2 2,9 2,8
2 5
"%):#) ; .%#:R) ; $
max%2,8:2) max%2,9:2) max%2:2,9) 2,8 2,9 2,9
max%2,8:2) max%2,9:2) max%2:2) 2,8 2,9 2
max%2,9:2) max%2,9:2,9) max%2:2,8) 2,9 2,9 2,8
max%2:2) max%2:2,9) max%2:2,8) 2 2,9 2,8
max%min%2:2,8):min%5:2))
; "oR ;
Lue!o el predi#ado resultate "#o#lusi'% es el #o;uto borroso
CBCGPL.4G0 1LPL.G0 1GPL.JG0 4LP10 4GP1D que #oi#ide #o (0 por tato C es v$lida.
1eter*iar el !rado de valide+ de las sete#ias&
C1& Xua lle!ar$ muy tarde siedo *u-( B CGPL.LH4G0 1LPL.4G0 1GPL.GH4G0 4LP10 4GP1D
Card"*u-( C% L T L.LH4G T L.4G T L.GH4G T 1 T 1
Card"*u-( N C% B --------------------- B ------------------------------------------- B L0K4
Card"C% L T L.4G T L.G T L.JG T 1 T 1
C4& Xua lle!ar$ ms o menos tarde siedo al!o( B CGPL.L65JG0 1LPL.JG0 1GPL.I5JG0 4LP10 4GP1D
Card"al!o( C% L T L.4G T L.G T L.JG T 1 T 1
Card"*u-( N C% B --------------------- B ------------------------------------------- B 1
Card"C% L T L.4G T L.G T L.JG T 1 T 1
Observa que la #o#lusi' si!ue siedo C0 lo que @a#e*os es aali+ar el !rado de #u*pli*ieto de
las sete#ias C10 C4 supoiedo que se #u*ple C.
9?iste u K4Y de posibilidades de que Xua lle!' *u- tarde - se!uro que lle!' *as o *eos tarde.
2 2 2 2 2 2
2 2,9< 2,9< 2,9< 2,9< 2,9<
2 2,9< 2,< 2,< 2,< 2,<
= x T ; 2 2,9< 2,< 2,>< 2,>< 2,>< A o %= x T) ; 2 2,9< 2,< 2,>< 5 5
2 2,9< 2,< 2,>< 5 5
2 2,9< 2,< 2,>< 5 5
2 2,9< 2,< 2,>< 5 5
EJERCICIOS
7.- La cardinalidad borrosa del con.unto borroso D3U4.P" <U4.3E es' a.- -.4.
b.- -... c.- -.B. d.- 7. (R.: a).
La cardinalidad borrosa se de+ine co#o la su#a de los di+erentes alores de la
+uncin de pertenencia" 4.PM4.3
*
8.- La concentracin en lgica borrosa est asociada" por identidad de la
+uncin que la representa" con el #odi+icador" representado a su ez por el
aderbio'
a.- Apro/madamente. b.- 2astante. c.- Iuy. d.- #o. (R.: c( por defnc!n)
*
10.- La altura borrosa del con.unto borroso D4U4.3" 3U4.<" <U4.<E y su cardinal
borroso son respectia#ente' a.- -.0 y -.4. b.- -.0 y -.B. c.- -.B y -...
d.- -.B y -.0. (R.: b).
1uesto que la altura borrosa es el #8i#o de la +uncin de pertenencia" es 4.<"
y el cardinal borroso es la su#a de todas ellas" 4.P.
*
14.- 99%e acuerdo con la de+inicin de i#plicacin borrosa de &a#dani" A8 -A8
es lo #is#o que -A8 A800. 7sto es' a.- &erto. b.- Dalso. c.- @epende de A.
d.- #nguna de las anterores. (R.: a).
Aplicando la de+inicin de la citada i#plicacin borrosa" los alores de erdad
de la interpretacin ienen dados por A(A8 -A8* #n(A8" -A8* #n(-A8" A8*
A(-A8 A8*" lo que es cierto con independencia de A.
7n el caso de A8 -)8 y )8 -A8" los alores seran #n(A(A8*" 3-A()8** y
#n(A()8*" 3-A(A8** que no coinciden en general' en esta borrosa hay
proposiciones cuyas interpretaciones no coinciden con las de sus
contrarrecprocas" y" por ello" no se puede razonar en general por reduccin al
absurdo.
7n el caso de que la i#plicacin sea la de Wadeh" es decir" A(A )* es
#8(#n(XA" X)*" 3 - XA* se tiene'
i.- A(A - A* 2 #8(#n(XA" 3 - XA*" 3 - XA* 2 3 - XA 2 A(-A*
ii.- A(-A A* 2 #8(#n(3 - XA" XA*" XA* 2 XA 2 A(A*"
que son di+erentes en general.
NSatis+ace la i#plicacin Wadeh la igualdad del alor de la interpretacin de
una proposicin condicional y del alor de la interpretacin de su
contrarrecprocaO" es decir" con la i#plicacin Wadeh"
Nes A(A )* 2 A(-)-A*O
*
15.- Si el predicado A8 es borroso y 90 est de+inida por la i#plicacin de
&a#dani" la e8presin A8 -A8" ' a.- es una contradcc!n. b.- no es una
contradcc!n. c.- no depende de JA. d.- su $alor de nterpretac!n es .( A.
(R.: b).
7legi#os co#o #odelo de interpretacin el del condicional a#pliado dado por
A((A -A*(-A A** 2 #8(#n (XA" 3 - XA*" #n(3 - XA" XA** 2
#n(XA" 3 -XA*" que no es ni cero ni uno en general y cuyo alor depende de XA.
*
27.- Sea A un con.unto borroso con +uncin de pertenencia X. Su concentracin
tiene por +uncin de pertenencia' a.- JK0. b.- JK7. c.- 0J - JK0. d.- .0(JKA).
(R.: a( por defnc!n de concentrac!n).
*
29.- La interpretacin de la i#plicacin borrosa de &a#dani se trata de' a.- un
m/mo. b.- un mnmo. c.- un m/mo de mnmos. d.- un $alor absoluto o m!dulo.
(R.: b( por defnc!n).
*
36.- Si las +unciones de pertenencia de A y )" son XA(8* 2 X)(8* e iguales a#bas
a U8U" si U8U 3" e iguales a 3" si U8U Y 3" las +unciones X3(A )* (si se
usa el criterio de &a#dani* y X<(A)* son' a.- J. = -J0 = JA. b.- J. = J0 = J2.
c.- J. = J0 = -JA. d.- J. = J0 = 0JA. (R.: b( pues ambas son mnmos).
Jbsere que" si se usa el criterio Wadeh de la i#plicacin para A A" se tiene
#8(#n(XA" XA*" 3 - XA* 2 #8(XA" 3 - XA*. $na i#plicacin que sera
tautolgica en bialente" en borrosa" con el criterio de Wadeh" puede to#ar
alores desde 4.P a 3! en ca#bio" con el criterio del proble#a" el alor de la
autoi#plicacin #aterial es el #is#o que el del antecedente (que coincide en
este caso con el del consecuente*.
*
40.- Sean A 2 D8U XA(8* 2 Usen(8*UE y ) 2 D8U X)(8* 2 Usen(8*U Z <E. 7ntonces"
en sentido borroso"' a.- A = 2. b.- 2A. c.- A2. d.- #nguna de las
anterores. (R.: b).
1uesto que XA X)" y de la de+inicin C [ 8(XC(8* X[(8**" se obtiene la
respuesta correcta.
*
42.- Seale el do#inio de la relacin borrosa entre ) 2 Db3" b<E y A 2 Da3" a<E
dada por la #atriz
\ a3 a<
b3 4 4.G
b< 4.P 4.3
a.- 9b.L-.4( b0L-.B;. b.- 9b.L-.4( b0L-..;. c.- 9a.L-.B;. d.- 9a.L-.B( a0L-.4;.
(R.: a).
7l do#inio de la relacin borrosa se obtiene" por de+inicin" con los di+erentes
#8i#os de +ila de la relacin de pertenencia.
*
45.- Sean A 2 D4U4.3" <U4.@E y ) 2 D4U4.<" <U4.?E! entonces" y en sentido
borroso" ' a.- A2 . b.- 2A. c.- 2 = A. d.- #nguna de las anterores.
(R.: d).
Sabiendo que un con.unto borroso est contenido en otro si y slo si para todo
ele#ento del pri#ero su +uncin de pertenencia es #enor o igual que la +uncin
de pertenencia del segundo para el #is#o ele#ento" la respuesta es obia.
*
46.- %enote#os co#o c(A* el co#ple#entario de A. 7n la teora de con.untos
borrosos" una ley sie#pre erdadera es' a.- Ac(A) = . b.- Ac(A) = U. c.- A =
c(c(A)). d.- Ac(A) = . (R.: c).
La respuesta correcta es la c.-" porque cualquiera que sea A" X(A* 2 3-(3-X(A**.
1ero ade#s pode#os encontrar contrae.e#plos de que las otras tres son +alsas en
general (aunque" en ciertos casos" a.- y b.- pueden ser erdaderas*" en la
teora de con.untos borrosos. 1or e.e#plo" para el caso a.-" sea el con.unto
borroso A 2 D4U4.P" 3U4.PE! su co#ple#ento borroso es 5l #is#o" porque
X(c(A**23-X(A*! y co#o X(Ac(A**2#n(X(A*" 3-X(A**" resulta que" en sentido
borroso" Ac(A* 2 A . 1ara el caso b.- ale el #is#o contrae.e#plo" ca#biando
el #n por el #8 (pues se trata de una unin*" y co#probando que el resultado
es A y no $" el cual" por de+inicin sera en este caso" y por de+inicin" D4U3"
3U3E. 7l caso d.- es sie#pre +also" pues es i#posible que #8(X(A*" 3-X(A**
(+uncin de pertenencia de Ac(A* * sea 4 (+uncin de pertenencia del aco
borroso*.
*
47.- La dilatacin de la dilatacin est asociada con el #odi+icador borroso'
a.- bastante. b.- no. c.- apro/madamente. d.- nnguna de las anterores. (R.:
c( por defnc!n).
*
66.- Sean A y ) dos con.untos borrosos de +unciones de pertenencia 9degeneradas0
respecto del #is#o unierso borroso y tales que XA(8* 2 3 si 8 2 4" XA(8* 2 4 si
8 4" X)(8* 2 3 si 8 4" y X)(8* 2 4 si 8 2 4. 7ntonces la +uncin de
pertenencia de A) debe ser' a.- J(/) = - / = -. b.- J(/) = - A 2. c.-
J(/) = -( /. d.- J(/) = .( /. (R.: d).
1or de+inicin de unin borrosa" su +uncin de pertenencia es el #8i#o de a#bas
en cada 8.
*
77.- La altura del con.unto borroso D34U4.P" <4U4.3E es' a.- -.4. b.- -... c.-
-.B. d.- 0-. (R.: c( m/mo $alor de la func!n de pertenenca).
*
79.- Sea c(A* el co#ple#ento de A! en lgica borrosa es posible que A 2 c(A*.
7sto es' a.- $erdadero. b.- sempre es A = c(A). c.- nunca. d.- nnguna de las
anterores. (R.: a).
7s posible pero no sie#pre" (de hecho slo hay un caso*" p. e.." co#o lo prueban
los con.untos (un caso* A 2 D8UX(8* 2 4.PE (A 2 c(A** y (pero no sie#pre* 2
D8UX(8* 2 4E ( c(* 2 $*.
*
80.- 7n lgica borrosa A8 )8 y -)8-A8 son equialentes. 7sto es'
a.- certo. b.- falso en general. c.- certo s A = 2. d.- nnguna de las
anterores. (R.: b).
7+ectia#ente las interpretaciones respectias de a#bas son" por e.." para el
criterio de &a#dani" A(A8)8* 2 #n(XA(8*" X)(8**
A(-)8-A8* 2 #n(3 - XA(8*" 3 - X)(8**
que no tienen necesaria#ente que coincidir. 1ara el caso A 2 ) ta#poco" pues
basta con que A no sea el del e.ercicio anterior.
=on el criterio Wadeh para la i#plicacin" se tiene
A(A8 )8* 2 #8( #n( XA(8*" X)(8* *" 3 - XA(8* *
A(-)8 -A8* 2 #8( #n( 3 - X)(8*" 3 - XA(8* *" X)(8* *
Si p. e..' XA 2 4" la pri#era es 3 y la segunda es #8(3 - X)(8*" X)(8**.
Ta#poco se satis+ace la equialencia entre una i#plicacin y su contrarrecproca
borrosa con la de+inicin de i#plicacin Larsen (co#pru5belo*.
*
95.- 99&uy )00 est asociado con' a.- la ntensfcac!n de 2. b.- no 2. c.-
dlatac!n de 2. d.- concentrac!n de 2. (R.: d( por defnc!n).
*
99.- 1or 9do#inio de una relacin borrosa ,($" :*0" se entiende (con 8$" e
y$*' a.- 9/L J(/) = m/(JR(/( y))( yC;. b.- 9/L J(/) = mn(JR(/( y))( yC;.
c.- 9/ L J(/) = m/(JR(/( y))( /U;. d.- 9/L J(/) = mn(JR(/( y))( /U;.
(R.: a( por defnc!n).
*
118.- La cardinalidad borrosa del con.unto borroso A 2 D3U4.@" <U4.3E es'
a.- -.4. b.- -... c.- -.B. d.- 7. (R.: c).%ues es la suma de los $alores de la
func!n de pertenenca.
*
119.- La altura borrosa del con.unto borroso A 2 D4U4.3" 3U4.<" <U4.<E y su
cardinal borroso son respectia#ente' a.- -.0 y -.4. b.- -.0 y -.B. c.- -.B y
-... d.- -.B y -.0. (R.: b).
6a que el cardinal se obtiene su#ando los alores de la +uncin de pertenencia y
la altura es su #8i#o.
*
120.- %ados los con.untos borrosos A 2 D4U4.3" 3U4.<" <U4.<E y ) 2 D4U4.3" 3U
4.?" <U4.3E" se satis+ace que' a.- A2. b.- 2A. c.- A2 = . d.- #nguna de
las anterores. (R.: d).
=o#o consecuencia de las de+iniciones de subcon.unto" unin y aco borrosos.
*
136.- Sean los con.untos S 2D4U4.P" 3UXS(3*" <U3E" T 2 D4U4" 3U3" <U3E. Los
#is#os a los que se re+ieren las preguntas 3?H" 3?] y 3?F. Si se obtiene por
interpolacin lineal" XS(3* to#ara el alor' a.- -. b.- .. c.- -.0B. d.- -.8B.
(R.: d).
7cuacin de la recta que pasa por los puntos (4" 4.P* y (<" 3*
(8- 84*Z (83- 84* 2 (X - X4*Z(X3-X4* (8-4*Z(<-4* 2 (X-4.P*Z(3-4.P*" que para 8 2
3" da el alor XS(3* 2 4.HP.
*
137.- Jbtenido XS(3*" 9#uy T0 tiene por +uncin de pertenencia' a.- J'. b.- JT.
c.- 0J' -- JT. d.- J = .. (R.: b).
7leando al cuadrado los alores de la +uncin de pertenencia se tiene que
(XT*^< 2 XT.
*
138.- La unin borrosa de S y T es' a.- 9-L-.B( .L.( 0L.;. b.- 3l $aco borroso
. c.- 3l un$ersal borroso. d.- 9-L-( .L-( 0L.;. (R.: a).
)asta tener en cuenta que la +uncin de pertenencia de la unin es el #8i#o de
las +unciones de pertenencia de a#bos.
*
139.- 7n sentido borroso' a.- 'T. b.- T'. c.- 'T = . d.- ' =c(T). (R.: a).
Ii el #ni#o de las +unciones de pertenencia es cero" ni 8(XT XS*" ni
XS 2 3 - XT. 1or lo tanto la nica respuesta lida es la a.-" ya que hay al
#enos un ele#ento de S cuya +uncin de pertenencia es #ayor que la del #is#o en
T.
*
140.- La a+ir#acin ;(;[* de lgica de clases" al pasar a lgica de clases
borrosas' a.- 'e mantene. b.- #o se mantene nunca. c.- 5ay casos en los que se
mantene y casos en los que no. d.- '!lo 1ay un caso en el que no se mantene.
(R.: a).
7+ectia#ente" se #antiene sie#pre debido a que" al ser la +uncin de
pertenencia una cantidad positia o nula" satis+ace" cualesquiera que sean ; y
[" 8(X;(8* #8(X;(8*" X[(8***.
*
156.- Sean los con.untos borrosos (y siren los #is#os para las preguntas 3PH"
3P] y 3PF*" S 2 D4U4" 3U3" <U3E" T 2 D4U4" 3UXT(3*" <U3E. Si se obtiene por
interpolacin lineal" XT(3* to#ar el alor' a.- -. b.- .. c.- -.0B. d.- -.B.
(R.: d).
La recta que pasa por los puntos (4" 4* y (<" 3* es XT(8* 28Z<! por ello" para 8
2 3" se tiene XT(3* 2 4.P.
*
157.- Jbtenida XT(3*" 9#uy S0 tiene por +uncin de pertenencia' a.- J'. b.- JT.
c.- 0J' -- JT. d.- J = .. (R.: a( basta con ele$arla al cuadrado)
*
158.- Jbtenida XT(3*" la unin borrosa de S y T es' a.- T. b.- '. c.- Un$ersal
(borroso). d.- @ = 9-L-( .L-( 0L.;. (R.: b).
1ues su +uncin de pertenencia coincide con el #8i#o de las +unciones de
pertenencia de a#bos.
*
159.- Jbtenida XT(3*" y" en sentido borroso"' a.- 'T. b.- T'. c.- 'T = .
d.- ' c(T). (R.: b).
)asta er que cada alor de la +uncin de pertenencia de S es #enor o igual que
su correspondiente de T.
*
160.- Sabiendo las de+iniciones de 9contenido en0 e 9interseccin0 en lgica
borrosa" es eidente que la a+ir#acin (;[* [ de lgica de clases" al pasar
a lgica de clases borrosas' a.- se mantene en todo caso. b.- no se mantene
nunca. c.- 1ay casos en los que se mantene y casos en los que no. d.- s!lo 1ay
un caso en que no. (R.: a).
%ado que X(;[* 2 #n(X;" X[* X[.
*
172.- Sean los con.untos borrosos S 2 D4U4.P" 3U4.P" <U4.PE y T 2 D4U4" 3U3" <U
3E" (son aqu5llos a los que se re+ieren las preguntas 3H?" 3H@ y 3HP*. 7l
co#ple#ento borroso de S es' a.- '. b.- T. c.- T'. d.- T'.
(R.: a( puesto que( en este caso( J' = . - J').
*
173.- Se eri+ica' a.- 'T. b.- T'. c.- 'T = . d.- ' = c(T). (R.: a).
La pri#era es cierta" ya que no se cu#ple que para todo 8 la +uncin de
pertenencia de S sea #enor o igual que su correspondiente de T. La segunda es
+alsa" por una razn anloga" ca#biando S por T y T por S. La tercera es +alsa
pues no es cierto que el #ni#o de las dos +unciones de pertenencia sea 4"
cualquiera que sea 8 (la +uncin de pertenencia del aco borroso*. La cuarta es
igual#ente +alsa" puesto que no se satis+ace 8(XS(8* 2 3 - XT(8**.
*
174.- 7l con.unto Sc(S* es igual a' a.- el un$ersal U (todos los elementos
con pertenenca .). b.- c(c(')). c.- T. d.- TU. (R.: b).
=o#o S 2 c(S*" Sc(S* es S. Luego no es $. c(c(S** es S" luego he#os encontrado
la solucin. Jbia#ente S no es T. Ade#s T$ es T" cualquiera que sea T (T$ 2
T" de lgica de clases" se #antiene en borrosa*.
*
175.- 7l con.unto Tc(T* es igual a' a.- 'U. b.-T. c.- Tc(T). d.- '. (R.: a).
7n este caso se puede calcular que Tc(T* es igual a $" pero cuidado" que en
borrosa esto no es una igualdad que se #antenga en general' slo para con.untos
cuyos alores de la +uncin de pertenencia sean nica#ente 4 o 3. Ahora a.- es
la respuesta correcta" puesto que S$ 2 $ (esto s se #antiene sie#pre*! b.- es
+alsa ya que T no es $! c.-" en este caso Tc(T* es el aco borroso" pero
cuidado" que en borrosa esto no es una igualdad que se #antenga en general' slo
para con.untos cuyos alores de la +uncin de pertenencia sean nica#ente 4 o 3!
d.- es obia#ente +alsa.
*
176.- La igualdad 1 2 c(1* de lgica de clases" al pasar a lgica de clases
borrosas(: a.- es $erdadera para todo %. b.- no se satsface nunca. c.- se puede
satsfacer pero no para todo %. d.- se satsface s % es el un$ersal. (R.: c).
91 2 c(1*0 es una 9igualdad0 en sentido sintctico" es decir" es una +rase bien
+or#ada cuyo ne8o principal es el signo igual. 1ero no es una 9igualdad0 en
sentido se#ntico (erdadera" tautolgica" una identidad a#os*" es decir es
+alsa en general (al #enos para alguna interpretacin" y" en lgica de clases
9ntidas0" para toda interpretacin*. =o#o puede er" la palabra 9igualdad0 es
polis5#ica" lo que puede haber causado aso#bro al e#pezar a leer" porque tal ez
la ha en.uiciado #o#entnea#ente con este segundo criterio" aunque en el
proble#a" se entiende que se ha utilizado con el pri#ero (el propio conte8to y
el sentido co#n nos aisan de cul de los dos era el utilizado*.
Aclarado esto" sabe#os que en lgica de clases 1 2 c(1* es +alsa. NSe #antiene
esto en lgica borrosaO. S" en general" pero no en todo caso' e8cepcional#ente"
slo se #antiene para el con.unto D8U X(8* 2 4.PE (cuando X est nor#alizada"
#8(X* 3*. Si 1 es el uniersal borroso" obia#ente no se #antiene.
Algunas +rases de borrosa nos suenan 9raras0 porque esta#os usando palabras y
signos de lgica clsica con otros signi+icados que no son e8acta#ente los de
aqu5lla. 1ero es +cil acostu#brarse. 1or e.e#plo" en +ranc5s 9sentir0 es 9oler0
y en espaol no nica#ente" y" aunque hay una cierta relacin entre los
signi+icados en a#bos idio#as" a#bos son distintos.
*
195.- 7n el unierso $" el con.unto borroso se de+ine co#o' a.- un conFunto
sn elementos. b.- un conFunto con todos los elementos del un$erso con func!n
de pertenenca -. c- no e/ste tal conFunto. d- la ntersecc!n de un conFunto
cualquera y su complementaro. (R.: b).
*
196.- 7n el unierso $" el con.unto uniersal se de+ine co#o' a.- Un conFunto
con todos los elementos. b.- un conFunto con todos los elementos del un$erso
con grado de pertenenca .. c.- no e/ste tal conFunto. d.- la un!n de un
conFunto borroso con su complementaro. (R.: b).
*
215.- 7n la teora de con.untos borrosos" si A) 2 A"' a.- 2 s!lo puede ser el
conFunto borroso $aco. b.- 2 s!lo puede serel conFunto borroso un$ersal. c.- 2
s!lo puede ser c(A). d.- s A ( e/ste ms de un conFunto 2 que lo $erfca.
(R.: d).
*
216.- Si para todo con.unto A borroso A) 2 "' a.- 2 s!lo puede ser c(A). b.-
2 s!lo puede ser. c.- no e/ste tal conFunto 2. d.- e/ste ms de un conFunto
2 que lo $erfca. (R.: a).
*
%.- (1(/C&C&2 3( /(*"2 ,Tipo e#$!en.
145.- Sea la proposicin H p ((p !! (la #is#a que se utiliza en las
preguntas 3@G y3@H*. $na e8presin en +or#a clausulada de C es'
a.- (qp)(pp). b.- pq. c.- p. d.- (qp)(pp). (R.: a).
7scriba#os en +or#a clausulada C' eli#inando las 90" p-q(p-q*" aplicando la
distributia (p-qp*(p-q-q*" que es p-q! la clusula adicional" p-p" de la
tautologa de a.- no in+luye en el +or#ato" ya que una clusula tautolgica"
co#o pre#isa" es indi+erente.
*
146.- %e -Cp' a.- se deduce . b.- no se deduce . c.- no se deduce pp.
d.- no se deduce 55. (R.: a).
%ado que las tres lti#as dicen lo #is#o" (9no se deduce una contradiccin*" la
respuesta ha de ser a.-! de cualquier +or#a -C es la pare.a de clusulas q y -p
(pues -(qp* es q-p*! de p y -p se obtiene la clusula aca.
*
147.- Si C +uese de lgica trialente de LuKasieLicz" y si p 2 3 y q 2 T"
entonces el alor de la interpretacin de C sera' a.- .. b.- 6 . c.- -. d.-
078. (R.: a).
=o#o C es -p-(q(pq** (atencin" en principio" y #ientras no se pruebe lo
contrario" no se puede asegurar" en trialente" que C sea igual a qp"
si#pli+icacin que se ha hecho en bialente*" escribi#os su alor
#n( 3" 3 - (3 - p* M 3 - #n ( q" #n(3" 3 - p M q* * *" o sea
#n( 3" p M 3 - #n( q" #n(3" 3 - p M q* * *" que para p 2 3" q 2 T " da
#n( 3" 3 M 3 - #n( T " #n(3" 3 - 3 M T * * * 2 3.
*****
Sean A: ((p q) r) y B: ((pq) r)
177.- N=untas clusulas tiene la +or#a clausulada de AO. a.- 0. b.- .. c.- 7.
d.- -. (R.: c).
1uesto que A es p -q -r! ) es -p q -r .
*
178.- Seale la contradiccin' a.- A. b.- 2. c.- A2. d.- A2. (R.: d).
*
179.- NBu5 +r#ula es equialente a )O' a.- 2A. b.- 2r. c.- 2p. d.- 2q.
(R.: d).
*
180.- NBu5 +r#ula es una consecuencia lgica de (se deduce de* )O. a.- A. b.-
2. c.- pq. d.- pp. (R.: c).
*
181.- 1artiendo" co#o hiptesis" de A y de p-q" se deduce' a.- (pq) r.
b.- (pq) r. c.- r. d.- q. (R.: b).
=o#o A es p-q -r" se deduce -q! de 5sta se deduce p-qr (de S se deduce S,*"
que es (-pq*r. Las otras tres no se deducen pues para p 2 3" q 2 4" r 2 4"
las pre#isas son erdaderas pero la 9conclusin0 a.- es +alsa. 7l #is#o e.e#plo
ale para probar que c.- y d.- no se deducen.
*****
Sean A: ((pq) (rs)) y B: ((pq) (r s)
197.- N=untas clusulas tiene la +or#a clausulada de AO. a.- 0. b.- .. c.- 7.
d.- A. (R.: d).
Las +or#as clausuladas son A.' p -q -r -s" )' -p q -r s
*
198.- Seale la contradiccin' a.- A. b.- 2. c.- A2. d.: A2. (R.: d)
*
199.- NBu5 +r#ula es equialente a )O. a.- 2A. b.- 2r. c.- 2p. d.- 2q.
(R.: d)
*
200.- NBu5 +r#ula es una consecuencia lgica de (se deduce de* )O. a.- A. b.-
2. c.- pp. d.- pp. (R.: c).
A no se deduce de ) ni ) de A" ya que cualesquiera alores 4 o 3 de q o de s
hacen +alsa una y erdadera la otra. 1ero ade#s se ha isto antes que son
contradictorias o inco#patibles. $na tautologa se deduce cualquier cosa" luego
la c.- es correcta! la d.- es incorrecta ya que e8isten alores que hacen
erdadera a ) pero ninguno a p-p.
*
201.- 1artiendo co#o hiptesis de A" se deduce' a.- (pq) (rs).
b.- ((pq) (rs)). c.- r q. d.- q r. (R.: d)
Las +or#as clausuladas son" respectia#ente" -pqrs" pq-rs" rq" -q-r" as
que" co#o A es p-q-r-s" la respuesta resulta obia.
129.- Sean las e8presiones "1 #P#$ "2 #%R#%$ "3 #(P# %R%#! (las
#is#as se usan en las preguntas 3?4" 3?3 y 3?<*. La +or#a clausulada de B? es'
a.- %/Ra/. b.- %/Ra/. c.- %/Raf(/). d.- %/Rf(/)/. (R.: d).
Se reduce a 8y(18 ,y8*" a 8y(-18 ,y8*" y 5sta a -18 ,+(8*8.
*
130.- %e B3 y B< se deduce' a.- :7. b.- :7. c.- :.. d.- :0. (R.: a).
Buedan descartadas la c.- y la d.-" porque de una proposicin no se puede
deducir su negacin" a no ser que las pre#isas +uesen inco#patibles y originasen
una contradiccin. _ste no es el caso pues B3 y B< son co#patibles o
satis+acibles (+or#an un siste#a consistente*" por e.e#plo para 1 2 $" , 2 $8$.
:ea#os que de B3 y B< se deduce B?. Las clusulas de estas pre#isas son 18" ,ay.
a negacin de la conclusin es 8(18y-,y8*" o sea 1b" -,yb que" al aplicar la
instanciacin" la escribi#os co#o -,zb" la cual" con ,ay da la clusula aca
para z 2 a" y 2 b. :ea#os que -B? no se deduce de las pre#isas. )asta er que el
#odelo 1 2 $" , 2$8$ conierte en erdaderas las pre#isas pero en +alsa -B?.
*
131.- La negacin de B? es' a.- /(%/ yRy/). b.- /(%/ yRy/).
c.- /(%/yRy/). d.- y/Ry/. (R.: b( como se 1a $sto ya).
*
132.- Sea el unierso $ 2 D3" <E" donde 1 2 D3" <E (o sea 1 2 $*" y , 2 D(3" 3*"
(<" 3*" (<" <*E. 7n 5l' a.- se satsface (:.:0) :7. b.- no se satsface
(:.:0) :7. c.- no se satsface :0. d.- no se satsface :7. (R.: a).
=o#o B? se deduce de B3 y B<" necesaria#ente (B3B<* B< es una tautologa.
(Si %(A" )* entonces A )! la recproca no es cierta en general*. Luego es la
a.-! la c.- es +alsa pues en ese do#inio se satis+ace B<" ya que e8iste un
ele#ento" el 3" tal que y del do#inio o unierso $" ,(y" 3*" (o sea" el par (y"
3*,*. La d.- ta#bi5n es +alsa. ya que 13 y,y3" p. e.." y 2 3! y ta#bi5n 1<
y,y<" y 2 <! luego B? se satis+ace.
*****
148.- Sean las e8presiones (las #is#as para las preguntas 3@F y 3P4*
"1 #(P# %R#%!$ "2 %(R&% #P#!$ "3 #P#'
La +or#a clausulada de B< es'
a.- %/Ray. b.- %/Ray. c.- %/Raf(/). d.- %/Rf(/)/. (R.: b).
7l hecho de que" en B<" 18 est5 en el consecuente" sera su+iciente para darse
cuenta de que no pueden ser ni a.-" ni c.-" ni d.-. 1ero de cualquier #odo"
procede#os al clculo' partiendo de y(,ay818*" eli#inando 90"
y(-,ay818*" y8(-,ay18*" -,ay18.
149.- %e B3 y B< se deduce' a.- :0:7. b.- :0. c.- :.:7. d.- :.. (R.: c).
$na +or#a. Sentido co#n.
=ualesquiera que sean B3" B<" B?" de B3 y B<" se deduce B3" y de 5sta se deduce
B3B? (pues de 9B y cualquier cosa0 se deduce 9B0" y de 9B0 se deduce 9B o
cualquier cosa0*. J sea %(B3B<" B3*" %(B3" B3B?*" %(B3B<" B3B?*.
Sor#as 99co#plicadas00' Si no +uera porque este proble#a es casi triial (co#o
acaba#os de er*" en otros casos #s co#ple.os (por e.e#plo" si se nos hubiera
preguntado si se deduce B? o si se deduce -B?*" podra#os operar #ediante
resolucin y re+utacin" con el sorprendente resultado de que no se puede llegar
a la clusula aca" ni to#ando co#o conclusin B? ni to#ando -B?. Ii la una ni
la otra se in+ieren de las pre#isas.
1ero hay otra +or#a de erlo de #anera casi in#ediata. La +or#a con.untista de
B? es 1 ! pues basta elegir 1 2 y , 2 8 (2 *" para que la conclusin
sea +alsa" en tanto que las pre#isas son erdaderas para este #odelo" ya que"
con 5l" los antecedentes de las dos i#plicaciones seran +alsos" lo que las
conierte en erdaderas. 7ligiendo co#o conclusin -B? (8-18* su +or#a
con.untista es c(1* 2 $" o sea 1 2 ! pues basta elegir el #odelo 1 2 $" , 2
$8$ para que las pre#isas sean erdaderas por hacerse erdaderos sus
antecedentes y sus consecuentes" en tanto que -B? es +alsa con este #odelo.
%e B3 y B< no se pueden deducir -B3 ni -B<" e8cepto en el caso de que las
pre#isas B3 y B< +uesen inco#patibles (o sea contradictorias o #utua#ente
insatis+acibles*" pero 5ste no es el caso" ya que hay al #enos algunos #odelos"
ya istos" que las conierten en erdaderas. 1or lo tanto no se deducen ni -B3
ni -B<! pero esto indica que ta#poco se puede deducir -B<B?" pues si se
dedu.era 5sta" entonces se deducira -B<" lo que ya he#os isto que no sucede.
As" por eli#inacin" la respuesta 9debe0 ser c.-.
*
150.- La negacin de B3 es' a.- /(%/ yR/y). b.- /(%/yR/y). c.-
/(%/yRy/). d.- y/Ry/. (R.: b( e$dentemente).
*****
166.- Sean las e8presiones "1( #P#) "2( #%R#%) "3( #(P#%R%#! (y las
#is#as para las preguntas 3GH" 3G] y 3GF*. La +or#a clausulada de B? es'
a.- %/ Ry/. b.- %/Ry/. c.- %/Ryf(/). d.- %/Rf(/)/. (R.: b).
*
167.- %e B3 y B< se deduce' a.- :7. b.- :7. c.- :.. d.- :0. (R.: a).
:ea#os pri#ero que B? se in+iere de B3 y B<. 1oni5ndolas en +or#a clausulada"
B3' 18. B<' ,8y. La negacin de B? es 8(18y-,y8*" o sea dos clusulas -B?3'
1a" -B?<' -,ba.
1ode#os obiar el paso de instanciacin ya que la particularizacin y 2 a" 8 2 b
hace que B< y -B?< originen la clusula aca. =on esto acabara el proble#a"
pero insista#os' -B? no se deduce de B3 y B< (de B3" B< y B? no se puede llegar
a la clusula aca" co#pru5belo" pues" por e.e#plo" +or#an un con.unto
consistente para el #odelo 1 2 $" , 2$8$" que las conierte a las tres en
erdaderas.
Ii -B3 ni -B< se deducen de B3B<" pues ninguna proposicin se deduce de su
negacin a no ser que 5sta" co#o pre#isa" sea inconsistente" o que origine
inconsistencia con otras pre#isas! pero 5ste no es el caso' B3B< no conducen
necesaria#ente a contradiccin" o sea son satis+acibles" o sea e8iste un (o
arios* #odelo(s* que las conierte(n* en erdades' p. e.. el #odelo anterior.
168.- La negacin de B? es' a.- /(%//Ry/). b.- /(%/yRy/). c.-
/(%/yRy/). d.- y/Ry/. (R.: b).
*
169.- Sea el unierso $ 2 D@" GE" con 1 2D@E y , 2 D(@" @*" (@" G*E. 7n 5l"' a.-
se satsface (:.:0) :7. b.- no se satsface (:.:0) :7. c.- se satsface
:0. d.- se satsface :7. (R.: a).
Se satis+ace (B3B<* B?. =o#pru5belo si quiere" pero no es necesario" puesto
que sabe#os ya que de B3B< se deduce B? (y si ) se deduce de A" entonces A
)" - la recproca no es cierta en general -*. 1or el contrario" no se satis+ace
B<" ya que no todos los pares de $8$ pertenecen a la relacin , (que es lo que
e8ige B<*" p. e.." el par (G" G* no pertenece a la relacin.
Ta#bi5n es interesante probar que no se satis+ace B?' por e.e#plo" para 8 2 @"
la +rase del interior del par5ntesis es -1@y,y@" o sea 1@ (,@@,G@*" que es
+alsa ya que el antecedente es erdadero" y el consecuente +also (por ser +also
,G@" aunque ,@@ sea erdadero*.
*****
Sean A: x(Px Qx); B: x(PxRx); C: x(Rx Px)
(Antes de empe<ar se debe transformar 2 en /(%/ R/).
182.- 7n la estructura de+inida por el unierso $ 2 D3" <" ?E" 1 2 D3" <E" B 2
D<E" , 2 D<" ?E se satis+acen (resultan erdaderas*' a.- A y 2. b.- A y &. c.- 2
y &. d.- A2. (R.: c).
7s eidente" ya que la A no se satis+ace para 8 2 <" y est en tres respuestas.
1or otro lado ) se satis+ace para 8 2 <! y en =" para 8 2 < o 8 2 ?" el
antecedente es +also" as que la condicional es erdadera" y si 8 2 3 el
antecedente es erdadero" pero el consecuente 13 ta#bi5n" as que la condicional
ta#bi5n es cierta
*
183.- Toda estructura que satis+ace A" ta#bi5n satis+ace" en lgica de clases"
a.- %:. b.- %c(:) (compl.). c.- %: . d.- :%. (R.: b).
*
184.- $na +r#ula equialente a ) es' a.- y%y /R/. b.- y(%y Ry). c.-
/(R/ %/). d.- y(%y Ry). (R.: d)
*
185.- La +or#a clausulada de ) es a.- %/ R/. b.- %/ R/( c.- %a Rb. d.-
%a Ra. (R.: d)
*
186.- =o#pruebe por resolucin que de las hiptesis ) y = se deduce' a.- /R/
y:y. b.- <(%< R<). c.- /R/ y%y. d.- /y(R/ %y). (R.: a).
1ode#os operar por +or#a clausulada pero se a #s rpido si se ponen las +rases
en +or#a con.untista. ) y = son respectia#ente 1, y ,1 2 $! las
respuestas son a.- , o B " que es correcta" ya que de la pri#era pre#isa
se in+iere , y de 5sta se in+iere , B. 7n ca#bio no se deduce ninguna
de las otras tres! b.- es z(-1z -,z*" o sea 1c(,* lo que es i#posible ya
que hay ele#entos co#unes a 1 y a , (por )*. c.- y d.-" que son la #is#a" dicen
que 1 2 c(,* 2 $" lo que no se in+iere por e.e#plo en el #odelo $ 2 D4" 3" <E" 1
2 D4" 3E" , 2 D3" <E" que conierte en erdaderas las pre#isas y en +alsa la
conclusin.
*****
Sean A: xy((Px Qy) Rxy) y B: xy(Rxy (Px Qy)).
Antes de empe<ar las ponemos en forma clausulada:
A: %/ :y R/yE 2: %/ :f(/) R/f(/)
187.- La estructura de+inida por $ 2 D3" <E" 1 2 D3E" B 2 D3" <E" , 2 D(3" <*"
(<" <*E satis+ace' a.- A y 2. b.- '!lo A. c.- '!lo 2. d.- n A n 2. R.: c.
7+ectia#ente la A no es satis+echa para 8 2 y 2 3" ya que el par (3" 3* no
pertenece a la relacin" o #e.or" 3 satis+ace los predicados #ondicos 18 y By"
pero no el didico ,8y" con lo que la condicional es +alsa. 7n ca#bio s es
satis+echa )" pues para 8 2 3 e8iste y 2 < tal que 18" By" ,8y son ciertas (con
lo que lo es ta#bi5n la condicional*! y para 8 2 <" pone#os en +or#a
contrarrecproca la condicional (18 B8* ,8y" y resulta erdadera por tener
el antecedente +also (< no satis+ace 18*
*
188.- La +or#a clausulada de A es' a.- %/ :y R/y. b.- %a :a Rba. c.-
%f(y) :y Rf(y)y. d.- %/ :y R/y. (R.: a)
*
189.- La +or#a clausulada de -) es' a.- R/y %/ :y. b.- Ray %a :y. c.-
R/f(/) %/ :f(/). d.- Rab %a :b. (R.: b).
=o#o ) es 8y(-,8y - (18 By**" su negacin ser8y(-,8y 18 By*" con
lo que la b es obia.
*
190.- %e A se deduce' a.- 2. b.- 2. c.- 2 A. d.- 2 A. (R.: a)
7s obio si se tiene en cuenta que las dos i#plicaciones #ateriales" la de A y
la de )" son iguales" pues una es la contrarrecproca de la otra. La nica
di+erencia es que A llea 8y y ) llea 8y que es una condicin #s d5bil" con
lo que se in+iere de A. Ade#s" las respuestas c.- y d.- no podran ser" ya que
si c.- +uese correcta" a.- ta#bi5n lo sera" ya que se deduce de ella! y lo
#is#o pasa con d.- y c.- respectia#ente. Slo nos queda para estar #s seguros
si cabe probar que -) no se deduce de A. A es 8y((18 By* ,8y* y -) es
8y(-,8y 18 By*. 7l #odelo #s sencillo que hace erdadera A y +alsa -) es
, 2 1 2 B 2 " ya que (18By* ,8y es erdadera por +alsos su antecedente y su
consecuente.
*
191.- 6" por lo tanto" es una contradiccin a.- A. b.- 2. c.- A2. c.- A2.
(R.: c).
Sean A: x(Px Qx Rx). B: x((Qx Rx) Px). C: xQx.
202.- 7n la estructura de+inida por el unierso $ 2 D3" <" ?E" 1 2 D3" <E"
B 2 D<E" , 2 D<" ?E" se satis+acen (resultan erdaderas*' a.- A y 2. b.- A y &.
c.- A&. d.- A2&. (R.: c)
9A0 no se satis+ace" pues e8iste un 8" el < que satis+ace 1" B" y ,. 7sto
eli#ina de un golpe las respuestas a.-" b.- y d.-" as que la respuesta correcta
ha de ser la c.-! pero" por si hay dudas" t5ngase en cuenta que -= es 8-B8" lo
que es erdad" pues lo es para 8 2 3 y 8 2 ?.
*
203.- Toda estructura que satis+ace )" ta#bi5n satis+ace" en lengua.e de lgica
de clases' a.- : = . b.- %(c(:)c(R). c.- %(:R). d.- :%. (R.: c).
1uesto que ) es 8((-B8 -,8* -18*" y colocando la i#plicacin en +or#a
contrarrecproca" se tiene 8(18 (B8 ,8**" que es la c.-" de acuerdo con la
equialencia ST 8(S8 T8*
*
204.- $na +r#ula equialente a A es' a.- y%y/R//R<. b.- y(%yRy). c.-
/(%/ (:/R/)). d.- y(Ry %y). (R.: c).
)asta co#probar que c.- es la nica que tiene la #is#a +or#a clausulada que A.
*
205.- La +or#a clausulada de ) es' a.- %/R/:/. b.- (%/R/)(%/ :/). c.-
%aRb:c. d.- %/Ry:f(/). (R.: a).
*
206.- =o#pruebe que de ) y = se deduce' a.- /:/y%y. b.- <(%<R<). c.-
/(%/R/). d.- <(:<%<). (R.: c)
7s la c.- obia#ente puesto que al ser erdadera -B8 (por =*" ) se reduce a
8(-,8 -18*" que" en +or#a contrarrecproca para la i#plicacin interior" es
c.-" a.- no se in+iere" puesto que 8((-B8 -,8* -18*. 8 niega =! b.-
ta#poco" puesto que" por e.e#plo" el #odelo 1 2 , 2 $" B 2 satis+ace las
pre#isas ) y =" pero no b.-! y d.- ta#poco" porque contradice =.
*
Sean A: xyRxy (xPx xQx) y B: xyRxy (xPx xQx)
207.- La estructura de+inida por el unierso $ 2 D3" <E" 1 2 D3E" B 2 D3" <E"
, 2 D(3" <*" (<" <*E" satis+ace' a.- A y 2. b.- s!lo A. c.- s!lo 2. d.- n A n
2. (R.: a).
Se satis+acen las dos" sin tener en cuenta para nada ni , ni 1. 7n la pri#era
8B8 es erdadera" luego lo es todo el consecuente por ser erdadero uno de los
dos co#ponentes de la disyuncin! pero un consecuente erdadero conierte en
erdadera toda la i#plicacin. 6 para la segunda el razona#iento es anlogo" por
ser erdadera 8B8.
*
208.- La +or#a clausulada de ) es' a.- %a:bR/y. b.- %a:aRba. c.-
R/f(/):y%f(y)y. d.- R/y%<:t. (R.: d*
To#a#os )' 8y,8y (8188B8*! eli#ina#os la i#plicacin" que es la operacin
+unda#ental" quedando 8y-,8y8188B8. 1rocede#os al ca#bio de notacin de
las ariables 8y-,8yz1ztBt. Se obsera que no hay ninguna constante ni
+uncin de SKole#" as que no puede ser lida ninguna de las otras tres
respuestas.
*
209.- La +or#a clausulada de -A es' a.- R/y%/:y. b.- Ray%a:y. c.-
R/f(/)%b:<. d.- Rab%a:b. (R.: c).
=o#o A es 8y,8y (8188By*" su negacin es 8y,8y 8-18 8-B8" lo que
da" ca#biando 8 por z tras el segundo cuanti+icador uniersal" ,8+(8* -1b
-Bz! la constante de SKole# se puede no#brar con las letras a" b" c"...
*
210.- %e ) se deduce' a.- A. b.- A. c.- 2A. d.- 2A. (R.: a).
Io se pueden in+erir ni c.- ni d.- ya que entonces se deduciran respectia#ente
b.- y a.- y habra dos respuestas erdaderas". As que la respuesta slo puede
ser la a o la b. Si nos +i.a#os" del antecedente de A se in+iere el antecedente
de )" pues es slo una particularizacin" as que co#o ) es hiptesis" se
in+iere su consecuente! pero de 5ste se in+iere el consecuente de A" que es
si#ple#ente una particularizacin suya. As" resulta que el consecuente de A es
una consecuencia (se deduce* de ) y del antecedente de A! y si una proposicin
se deduce de otra" entonces la pri#era es i#plicada #aterial#ente por la segunda
(,ecuerde %(S" T* (ST*.
1ero" si el clculo anterior" aunque in#ediato" le parece de#asiado de +eliz
idea (en realidad la idea +eliz aqu es la prctica*" puede acudir al proceso de
resolucin con re+utacin. 1uesto que ) es 8y-,8y 8188B8" su +or#a
clausulada es 13' -,8y1zBt! la negacin de A es 8y,8y8-18z-Bz" cuyas
clusulas son 1<' ,8+(8*. 1?.' -1b. 1@ -Bs. %e 13 y 1@ se obtiene" para s 2 t"
1P' -,8y1z" que con 1<" para y 2 +(8* da 1z! y de 5sta y 1?" se obtiene la
clusula aca para z 2 b.
*
211.- 7s una contradiccin' a.- A. b.- 2. c.- A2. d.- A2. (R.: c).
1uesto que %()" A*" )-A es una contradiccin.