Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Mo†emd†ico
‘‘Hacia uれnueVO eS†ilo de ense和「 y aprende「’’
Qui†o - Ecuado「
1
Ii
│NTRODUCC│ON
afl「ma⊂IOneS (ilamadas con⊂lus教OneS) a parti「 de o†「as aseveracIOれeS (肱madas p「emisas). con 「eglas
La 16g-Ca ma†em鮎ca se desa「roI16 muchos a肴os despu6s de la 16g'Ca generaI y se conoce・ †amblc互COmO
16g-Ca Slmb61ica, deduc†一Va, formai o mode「na Los pr'nC'Paies maest「os de es†a 「a爪a de ia 16gica son.
Mo「9cn (1806-187ら), B○○ie (181う-重864), F「e9e (1848-192う). Pe○no (ま8う8-1932), eれ†「e o†「os
“L6g'Ca Ma†em鉦ca", nO Se PreSen†a pa「a que uS†ed la∴aP「enda “de memo「'a’’・ n- Pa「a ql‘e la adop†e
prec'P一†adamen†e, SlnO Pa「a que enCuent「e un mOdo precISO de u†'i'Za「la・ med'aute P「dc†iCaS 「eflex一VaS
cap行ulos・ L6g-Ca P「OPOS'C'Onai′ Po=nOmlO Booleano‘ Reiaciones 16g-CaS・ Reiaci6n de eq=一Vaienc-a′ Belac竜n
p「op山とS†os
Los obJet'VOS bds'COS de es†a publicac16n son Prop'⊂'ar∴el uso co「rec†o de los ope「ado「es I6g'COS
p「opos’CiOneS ○ ○aZOれeSしa ma†emd高⊂a・ COnS†「u'da sobre d-Chos conoclmien†os bds'COS・ Se「d no soIo
mds comp「ens‘ble. s'nO †amb'6n mds …†eresan†e y “am'gabIe′’しos m6todos i6g'COS Se uSan・ muy a
爪enudo, en爪O†e爪存ico
sus all†ores Po「 ei con†「a「iO, eS el 「esui†ado de va「iOS a恥s de inves†lgaC16n y †「abaJO Permanen†e con
Las amables∴Su9erenC-aS. de∴n…e「OSOS maeS†「OS y maeS†ras・ han perml†一do meJOra「 los p「'me「OS
Lo踊mo. pe「o no por elIo Io menos impo「↑an†e・ nueS†「a g「a†'†ud y reconoc-m'entO a los es†udian†es de
U川versidad Ce山千ai deI ∈cuador, quienes con†rlbuye「on pa「a que∴eS†a∴ediCi6n sea l'na十eaiidad“’, la
miSma que lleva ei se=o de sus suge「enc-aS †an†o en su fondo como en su fo「ma・
日t
│NDrC∈ GENERAL
重11▲︽之2335うら1‖1之重4宣6181
l. PROPOS│C│ONES CAT∈G6農│CAS
l重 工n†○○du⊂CI6れ
1 7ま Ne9QC-6n ( , no)
172 ConJuh⊂-6n(<.Y)
9
174 BICOndiC-°nOi(《-〉. .SiYS6Iosi )
2章2
175 CondiC'Onal(→.S' entOn⊂eS )
22
177 D-γunC・6nexciusIVQ(ど. 0)
22
324之424242
2. POL]NOM│OS BOOLEANOS
2 1 VQ「○○b庭I69・⊂低
2 2 PoiinOmiO booieano
2己∴∴∴5-9hOS de o9…pQCi6n
23重 Uso5deIos与I9nO5d○○9「UPOC-6n
62
2.3 2.∴∴Sup「esi6n de ios s'gnOS de ag「upac16n
6303
241 Vロi〇千esp〇〇†ICuio「es
242 Vqi○○cs9即Cトロは
2 4 2 1 C。爪b…oC○○neS i69ICOS 33
2422 巾bio5devc「dod
4343う3
O丁ou†oIo9;c
b An†l†au†ologfa
6373了3
C C。n†in enC-Q
838383
83
939
4重4重414重41
424 24343434う駕474950う重53邦う5う7弼0000∴飢飢16 16 2錐64的6 86 97。737576777878 飢8 18 18 2彊828 38 384868 889899。9 1919 29 292939 3
認諾%認諾器重001。。重。。露盤楽器器黒岩器霊華器器霊㌫霊誓二惹議書薫 章411 “
CAP工「U」O宣
PROPOSrCrONES CATEG6RrCAS
重工工N丁RODUCC重くうN
De la mis爪a mane「a qL’e los n血e「os son los elemen†os b6s'COS de la a両m飾ca・ ias p「oposICIOneS S'mP'es
Generalmen†e comenzamos nues†「as expe「-enC'aS a両mC出cas con el conJuntO de los nLime「os na†u「ales.
y cons†rulmOS eS†ruc†山手as mds compieJaS, POr eJemPIo. el s-S†ema de los nJmeros 「ac'Onales De la mlSma
forma・ …C'a「emOS en i6giCa COn lcLS P「OPOSIC'OneS SimPles pa「a fo「mar p「opos'C'OneS COmPues†as
anaIiZar6n a con†lnuaC16n
「E・孤軍練OS )
岡田害閣
[二三三二二] (
圏I B'COnd-CIOnaI
トエバDICA与「
副題
置ヽ X W X V o..
.: 疲 粐 nO
4.ix†e「5e⊂ f J 疲 i 与I..
+臆シ 定 E6
Se=amanegaci6ndelaproposici6np・alap「oposici6nqlleSeob両enecoiocandoeiadverbio”no’’enla
p「oposici6n.Simb61icamentelanegaci6ndepse「epresentacon-P・ySelee’lnopil・Generalmen†ese
esc「ibe"esfaIsoque.'o"noescie「†oque.ian†esdelaproposici6n.
← 5e9…do coiu爪no
ロ…e「QC。iu爪nc 「→
Obse「vaci6n. Una propos'C'6n es po「 def'n-Ci6n ve「dadera o faisa・ PO「 †ai 「az6n se escr'be una V y una F・
en la primera COlumna Los valores de ve「dad camb'an′ en la se9unda coiumna・ PO「 def'…C-6n
dene90Ci6n
」里験の∽う「
1. Rep「ese小宅Simb6llCamen†e Ias s-guien↑es p「oposre-OneS HaiIe Ia negaci6n de ias mismas y su vaio「 de
ve「dcd.
ま(3-7)-8三2 2・ (1う-う)(8-5)二40
3. (9-6)・(7-3)=ら 4・ 2(6+3)ニ2×6+2×3
う. 30ニ0 6. 30-(う×3)=9
7 12-ま5こ1之→う 8 424う=42、う
†ambi6nconelnombrede"negaci6れdelanega
工三重二二]
1 ・ Represen†e s'mb萌eamente las sigu-entes P「OPOSiC'Ones Halle -a negac'6両dob-e negacI6n y el valo「
de verdad en cada caso (se sugie「e el forma†o de- eJemP-o l de la dob'e negac-6n).
1・ (了一う)-eこ-4 2. (10-う)(8-4)≠40
墨書二7
9・ 51=5
三業芦
重0巾cd(`,ま2)≠2
13 El l es ei m6duio de Ia mul†'P''⊂aCi6n 14. Ndれne「o COmPuestO eS ei que cons†a de llna SOla cif「a.
○○.ipYq〇㌧
i Tdrmino-6gico l
J
P^q: Caines hi臆jodeAddr∴ y E!坦
P「oposICi6n s'mPle P「opos'C-6h SlmPle
㈲P○○posi⊂iones Ca†eg6「icas
 ̄叶
ObservacI6n. Digi†〇・ nl‘me「o que se exp「esa con una soIa c'f「a Na†uraI (N):一 merO qLle -ndica la ca両dad
de elemen†os que †iene un conjun†o de†e「mmado, N = (O. 1. 2, 3. ) Na†u「al pa「: Sl eS la fo「ma 2k.
siendo k eleme巾O de los N Na†urai impar` Si eS Ia fo「ma 2k+1. s'endo k eIemen†o de N Nalu「ai mdl†ipIo
de 3. si eS laforma 3k, Slendo k na†u「ai mayorqueO Natu「ai divisor de 8. s' lad'VIS-6n 8/kexac†a,y k
es dfg'†o d'fe「ente de O Na†ll「al p「in‘O: S・ eS mayO「 queまy es d'V'S'bIe por sf m'SmO y la unidad- Na†uraI
⊂OmPlleS†o. s- es mayO「 que 3 y no es pr'mO・ En↑e○○ (Z)● los na†uraies y los co「「espondienteS nega†iVOS;
Z二(ノー3, -2, -1, O. 1, 2, 3, ) RacIOnaI (Q) Ndme「o queseexp「esa como coc'entede dos ndme「os
en†eros, SOn de ia forma a/b, Slendo b ≠ O EI conJu而O Q estd compues†o por los ndmeros e而e○○s y
f「acciOna「lOS rr「acional (Q’)・ ndme「o qlle nO Se Puede escr教b'「 COmO COClen†e de dos n心me「os en†e「os,
por eJemPio ei nJ爪erO P一(3,1415 ) La∴eXPreS'6n dec・mai de cualq…er n心me「o …aC'Onal cons†a de
'nfinl†as c'f「as no peri6d'CaS. Reaies (R): e‘ conjun†o formado po「 †odos Ios ndme「os 「ac’Onales y los
I「「OCionOies
」・抑偶OS i
1 7×8こうらY8×7=52
2 2 es un ndme「O PCl「yna†llrai
2 3/2こ9/4Y12/8ニ3/2
3. 3, 1415.. es un n心meroen†ero e l「「aCIOnai
1 Siv(p^q)=V y v(q)ニ∨,De†e「m'neeIvaio「deverdaddep
2 2422=2年e「on024/22=22
3. 5dlVIdea80peronoa12
4 R-Obamba es la capl†aI de Ch-mbo「azo pe「o no es de P'ChlnCha
2 2esunn`merop「imope「oれOeSPa「
2 SlV(P¥q)= F y v(q)=∨,De†e「mmeelvalo「deve「daddep-
「二言…o i69・C」
喜二聖二三三三三コ
EI v(p)二Fyel v(q)= Vse presen†a enla39 fiia, POr lo †an†o ei vr(P ←〉 q)] = V
」・E批工。S 「
1 9/3=3ssi3×3=9
4 10esen†e「opos証vo5SiまO)0
5. 3主275Si3×3二27
3 3/2) 2/5s5i2く う
4.重2/4=3 ssiま之二4×3
1. 5iv(p⇔q)二F Y V(q)二F,∨(p)=?
2 与IV(p⇔q)二FY V(p)=∨,∨(勺)=?
3 5高(pぐうq)=V y v(p)二∨,∨(q)ごつ
4. SIV(p⇔q)=V y v(q)=F,∨(p)=?
D∈円二N工C重くうN
Ei v(P) = Fyei v(q)= Vse p「esen†a en la 3gfila. po「 lo †an†o e団 (p→q)] = F
i 眼∝0勝i
l. De†e「m'ne el vaio「 de verdad de l。S Siguien†es proposicIOneS COmPlleS†as
2 SI÷二〇.うe而OnCeS2/4二〇.5
4 SIZ十4こらen†ohCeS 2 二6-4
5 SI33 = 27en†onces3×3×3×3二9
2 与i3〉2とれ†onces3-2〉0
3 うIう-3二〇 eh†oncesう=3
4 Si7←2二9eれ†onces7=9+2
重 5高(p→q)こF Y V(q)二∨.∨(p)二フ
2. S高(p→q)=FY V(p)二F.∨(q)二フ
3. 5iV(p→q)二V Y V(p)二∨,∨(q)=?
4.うiv(p→q)二V Y V(q)二F.∨(p)こう
5. CoれS†「ur la †abla de ve「dad co「「espondien†e a la negac16n del cond'C'Onal de una p「oposIC16n conslgO
mismロ.
Elv(p!q)=Fparalap「'me「ayCl’artaCOmbinaci6n16gjca.yv(p!q)=Vpa「a†odaslasdemds
CO爪bjnocionesi69icos.
i 打批要望」
2. 33二2763×3こ27
3. 5esun而爪e「o「eoi (i 5esno†u「oI
4 7>2 (i 7-2〉0
5 9/3=3 (; 3×3こ9
2 う/3〉8/3 6 5〉 8
3 3/2} 2/う(i2く 5
4 12/4=3 612二4×3
う.-2く-1 6 2〉ま
2 S高くイp文q))=FY V(p)二∨.∨(q)=?
3 SiV(pとq)二V y v(p)=∨.∨(q)二つ
4 S'∨(イp±q))=V y v(q)=F.∨(p)二つ
4. Cons†…一口a †abla de verdad pa「a la negac'6n del b'COndlC'OnaI y pa「a la d-SyunCi6n exclus'Va. `Qu6
Las operac'Ones 16g'CaS de mayo「 ap白cac'6n se es†ud'arOn ante「iormen†e A con†'…C'6n, Se P「eSen†a una
OPERACrONESL6G│CASrNTERSECTrVAS
OPERAC量るN 儡│MPLES 劔COMpUどう丁A
NOMBRE 僂〇両unci6hl
丁亡農MエNO 兀 …SSi…
Op∈露人DO慮 閉 箸 (-〉
∨ ∨ 巴 F 巴 ∨
∨ 侘イ F F 巴 F
F F 巴 ∨ 巴 F
戸 巴 F 巴 F ∨
OP隙ACIONESL(うGICASINTERDISYUNl│rvAS
opE瞳A`工∂N 儡│MPLES 劔COMPUどら丁A
丁∈RM和NO 葡 イ 0
OPE貫A○○農 凵 椿鋳 ●∴ y
P p†Q リ ネ 「 p ←q g p!∠q
∨ F ∨ F
∨ 巴 ∨ 巴 ∨ ∨
F ∨ F ∨
F 巴 ∨ ∨ 巴 F
Obse「vacj6n: 〔l adve「b-O No, en ios †drmlnOS 16g'COS a而eriores. puede‖reem函Za「Se PO「・ No es ⊂一e「†o
Algunas de las ope「ac'OneS an†err叶es †'enen dos o mds nomb「es. ios m'SmOS que Se -ndican a continua⊂i6n.
i ∈J恥鷺筒。S i
6 Noesverdadque2+4=6†ampoco2+4=5
8 23 ≠27en†onces2×2×2=8
3 3/2≠2/3nI2/4=4/8
4 El ⊂ero nO eS un ndme「o positlVo nl nega†iVO
POLrNOMrOS BOOLEANOS
∈れgene「ai直Palab「a varlable se usa para 'ndlCar q=e una Pe「SOna O COSa, deJa de∴Se「 de …a forma o
maれera Pa「a emPeZa「 a Ser de o†「a Por eJemPio. las cal'f-Ca⊂iOneS de un alumno・
Sel厄mava「iable169icaalasIe†rasmindscuIas:P.q,r;COnOSinsubindices・que∴「eP「eSen†an
p「oposicjones).∪れaVariable16gicaseconoce†ambichconelnomb「edeinde†e「mjnada.
[重工〇〇〇〇十。^。 ←[≡重工
Qu・†o es la ⊂aPl†al del 〔cuador y Lima eS†d en Perti
廿
h-1
2
廿
P 「
V V
V F
V V
V F
戸 V
F F
F V
戸 F
EjempIo 4. Cua†「o var;ables (pL P2. P3. P4)
l(pl¥p之)<(p2 /p4)1^-P3
[(勺l¥q2)<(q3 /q4)]^ qう
q2 †iene 8VY 8F
q3 †-eれe4Vy4F
q4 †ie∩e2Vy2F
qう†Iene重VY IF.
i ∈J軸偶OS i
l. De†erm'ne∴el ndme「o de verdade「os y falsos pa「a∴Cada l'na de las va「'ables de los sigu'en†es
POilnOmios booleanos :
十 ̄
SOしUC工ON
I vQ「iObie, p
甘上2-し」
V ・ F V 亡 i ▲ 重
合 i V V 戸 2
V V ⊂ i ⊂ i l
V F V 胃 i 章
V V Fi-i﹁ l
薩田圏
V
∨
∨
∨
エi
ロi
V
V
V
V
亡 i
Fi
胃i
V
V
さ i
V
胃i
〇十
置i.重
声 i
亡i
亡 子
〇▲
l
( ∠
( 3
喜三三二]
l. Cons†「uya la †abla de ve「dad de los sigulen†es poi'nOm-OS booleanos:
∨ - ﹁ V F i l
V V V ( ﹁ 2
F︰V ⊂i V 3
戸 i V V ⊂ i 4
V V ⊂i F.1
V F ⊂i V-o
V 戸i V-i﹁
∨ ∨一i﹁ ロi
」・批工頃。与i
l ● l ブ ﹂ ∴ 一 寸 4 5 ノ o 7
Los dlSPOS'†'VOS formados po‥nter「uP†o「es・ Ilamados conmu†ado「es, que∴CO帖'de「an las pos'CIOnes
El eJemPIo an†e「'Or Pe「m'†e mos†「ar que un ln†errup†o「 s航puede †omar l'na de las dos pos'C'OneS
(cer「ado o ab'e「†o) y como l'na P「OPOS・Ci6れCer「ada∴S'mPle †om。 un SOio valo「 de verdad d。 l。S d。S
POSlbl柾des (ve「dade「o o falso)’Se Puede es†able⊂er l'na re庇j6n e而e un∴COnmu†ador y l‘na
P「OPOS-C-6n 16g'Ca.
⊂er「ado (ON) y s・ P eS faisa∴el ・n†errup†o「 es†ar6 ab-e「†o (OFF) A es†os conmu†ad。,eS∴Se l。S
denomina cl「Cul†os 16g'COS Los c-rCuitos i6gicos b6siCOS∴SOn: de∴COnJunC'6n・ disyunc16n 'nC-1'SiVa y
ne90Ci6n.
2.5.2 CIRCU│TO DE CONJUNCr6N.
Es†e cI「Cui†0 †oma dos conmu†ado「es p y q. y 「eco「dando la †abla de verdad de la conJunCi6n es†udlada
en el cap行uIo I se puede 'nfe「l「 que los周†er「up†ores p y q deben es†a「 conec†cldos en se「-e de †al
manera que si ambos es†dn ce○○ados (p y q verdader。S) eI c‘rCu一†o es†ard ce「rado y por cons'gu'en†e Ia
ldmpara es†a「d enceれd'da. La 「epresen†ac'6n deI c'rCu'†o dei COn」unC'6n se mues†ra∴en la∴S-guiente
fi9u「〇・
甫董
Obse「vaci6れios conmu†ado「es p y q deben es†a「 conec†ados∴en Se「'e, de manera que el cl「CUl†o se
COmPle†e (como Ios dos conmu†ado「es de una gu用0†川a indus†nai. en ia que por segurldad Ias dos deben
AnaIIZando la †abla de ve「dad de la diSY…C16n se obse「va que sj p y q son dos propos'C10neS. en†onces
Ia d'SyunC'6n p v q es verdadera slemP「e qUe ai9una de las dos sea verdadera′ en †drminOS de c'rCu'†os
es†o slg川f・Ca ql‘e P y q deben es†a「 conec†ados en pa「alelo, de †al forma que el c'rCu'†o es†d ce「「ado
c皿ndo algt]n in†er「up†or p o q est6 ce「rado En o†「as palabras′ ia ldmpa「a es†ar eれCend'da slemPre
que aIguno de los dos con…†ado「es p o q est6 ce…ado La 「epresen†ac'6n g「df'Ca de es†e 《〕「C=l†o es la
Si9UIen†e・
p掌
2.6 COMPUERTAS L6GICAS.
亜二手
Las ope「aciones: adlC’6n o suma 16g'Ca・ mul†'Pi'CaC’6n o produc†o 16glCO y la complementaci6n o 'nVerSi6n
16g'Ca′ y・ los dlSPOSl†一VOS∴eiec†「6…COS que eJeCll†an cada operac16n se llaman ⊂OmPIJertaS 16gicas Las
lln'6n en la †eo「fa de conJl’n†os・ y・ el d'SPOS'†一VO que eJeCl'†a es†a ope「ac'6n se l'ama compuerta oR. su
予ep子ら5en†QCi6n 9予(箱co es
こ二秒--→pVq こエフ后
Fo「爪o†0 1 F°「爪O†0 2
Es†a compue「†a †一ene dos entradas que representan los es†ados de -os conmutado「es p y q. y …CI Sa-1da
'n†e「SeCC'6n en ia †eorin de conJu巾OS. El d-SPOS'†lVO elec†「6niCO que eJeCuta eS†a ope「ac16n se "ama
COmPuerta AND・ †iene dos conmu†ado「es p y q los cuaies se 「ep「esentan como dos en↑「adas y una
二二か-輸→p^q :工㌔
2.6.3. COMPL∈MENTAC│6N O rNVERS工6N L6GrCA (NOT).
en la †eoria de conJun†os La compuer†a NOT acep†a como ent「ada u…alor p・ y PrOdu⊂e COmO Sal-da su
negac'6n -P Po「 es†a 「az6n es†a compuer†a †ambi6n se denom…a lnVerSO〇・ SU rePreSentaC'6n g「df-Ca
p →虹-・一p 七㌔
Fo「ma†0 1 Forma†o 2
Las †「es `OmPue「†as fundamentales ya menc-Onadas (AND, OR. NOT) son suf'C'en†es pa「a esc「ib'「
cuolqule「 funci6n booleana, y PO口o †an†o d'Se龍r un c'「Cu'†o i6g-CO・ S'n emba「go・ Se u†一l-Zan O†「as
COmPue「†a AND La compue「†a NOR es ia negac16n de complle「†a OR工a compuerta XOR co「「esponde a
A menudo es necesar10 COmbinar las compuer†as 16g教CaS Para 「ePreSen†ar c一「Cui†os mds compleJOS. de la
5i9UIen†e爪one予Q
Soluc16n. Recu6rdese que los pa「ch†es'S lnd'Can ia operac-6n a efec†lla「Se en Primer Iugar.
SoiucI6n:
二田ナ q
∈jemplo 3: DiSe和「 uncircu一†o 16g'CO Para (p vq) ^ q
SoIucI6n.
三三四㌻ (pvq〉∧q
工三聖竺竺」
l Esc「iba eI signif-Cado de cada uno de ios slgu-enteS SinboIos
a」i-」や
二匹-→二日→
2 ∈sc「'ba Ios eJemPIos. 1, 2, 3 y4, uSaれdoe- fo「ma†o 2
3. Diseffe un c一「Cuito烏g-CO (forma†o l)・ Para ⊂ada una de las s-g…en†es proposl⊂lOneS:
藍q)暫藍_。,^鉦)
Observaci6n. En eI e↓e「C'Cio 13・ q → P eS equiValen†ea. -q V P ∈一eJe「C'C-O ll es equ一Valen†e a.
慮ELAC│ONES L6GrCAS
Se =ama p。「 Ordenado a dos elemen†os, a y b. escr'†os en la forma (a. b). s'endo a la primera COmPOnen†e
Y b IQ Se9uれdo
Dos pares o「denados so旧guaIes s=a p「Ime「a COmPOnen†e dei p「lme「 Pa「 eS Igual a ia p「'me「a COmPOnen†e
dei segunclo pa「 y s=a segunda componen†e del pr-mer Par eS 'gual a la seg…da compone而e dei segundo
の∴∴〃八〃二村言出
子 、
V
V
V
F
○ ○ i
V
F
置 i
W個W細冊壷 ∨
間借膚時化作 出仕什∵時
り出∵男い∵円い 男の小二り
両
F V F V F P
DoS
C
爪e
c
四囲圃覇
材質竹原
日日∴用言り
佳作二叶ふい
pい
(
1 2
-
h嶋
∨ ∨ ∨
継
I
く
へ嶋∴D
一
I 4
一
一
一
1 ぅ
一
¥
Dospoiinomiosboo=anosP(p.q....)yQ(p,q‥.)sondependien†essisep「esen†allna.doso†「esdelas
COneipく出nomioQ(p.q,…).
聞萱弼
Se p「esen†o eI ccso (∨.∨)
P(p,q) Q(p.q)
0℃
DospoIinomiosbooieanosP(p,q,…)yQ(p,q,・..),Son'ndependien†es∴Sisep「esen†anlascua†「o
COmbina⊂iones16gicas・entrelascolumnas「esul†adodelospo=nomiosdados・Se「epresen†adela
Siguien†emane「a:P(p.q,・J#Q(叩,…),ySelee:e車IinomiobooleanoP(p,q,‥)esindependie両econ
elpolinomiobooleanoQ(p.q,工
V V V V Fi Fi Fi F
∨
∨
亡i
F
V
V
F
F
En†re los dos pol肌om10S booieanos se p「esen†an las ⊂ua†「o posibllldades (casos, COmb-naC-OneS 16g-CaS).
i EJ∈峨エ0「
l. De†e「mlne S=os sigu'en†es poI一れOnt10S booieanos son depend'en†es o川depend-euteS (md一⊂ar los casos
exciuidos):
q叩p﹁
∨
﹁
-
戸 V F V F F F
周期器用耀冊
F 戸i V
円 い の
立∴当亡上戸∵当り年V V ∨ さ i V
陣場恥時短即時も短 R R
′ - I ¥ し
融
c
DoS
c
UnpoiinomioboolranoP(p,q,…)†ieneuna∴「elaci6ndeinconsis†enciaconelpolinomioQ(p凡....),Sise
「epresen†apo「:P(P.q,‘..)=Q(p.q,...),ySeIee“pesinconsis†en†econqii.
P(p,q) Q(p,q)
0>0
P(p.q) Q(叩)
0:0
止VFVF
2. Los casos exclu'dos. en Ia †ab厄an†erIO「 y en el diagrama sagi†aI, SOn (∨.F) y (F,∨) La 「eia⊂一6n es
4 pvqヌ’pvq
ndicadelasiquien†emanera:P(p,q,...)⇒Q(p,q....).YSelee”pimpIi⊂aaqii.
P(p,q) Q(叩)
0㊥
P(p.q) Q(叩)
0/二0
P(叩) Q(叩)
∴三
2 Los casos excluidos son. (∨.F) y (F,∨) La 「elac-6n es dei †'PO: R8 = ((∨,∨)′ (F,F))
3. EI po廟om'O dado es una †au†oIogia・ en la columna 「esultado・ Para e- ope「ador k5g-CO ・i-ゞ1
∈JemPio 4・ Ve「'f'Ca「 ia lmPllCaC'6n del ax-Oma †「ansitlVO de o「den, en eI conjun†o de ios nlimeros 「eales;
Pa「a verificar le lmPllCaC-6n an†e「for se debe p「obar ql'e Se presen†an los casos (∨.∨) , (F.∨) y (F,F). y
V V V V V
b) CASO (∨,F) No 5e P「eSe血
F F V V V
d)CA50(F.F) (らく4 < 4く3) -〉 6く3
F F F V 戸
Ob†ener u= Valo「 F para la segunda. Po「 o†「o Iado・ en los eJemPios num6r-COS Se Ve「ifiCa. †ambi6n, Ia
Bertrand Russell dife「encia ei ope「ado「 condlCiOnaI ( →・ lmPI'Ca⊂i6n ma†er'al en 'a que p y q no co両enen
2 EI s血boIo → †'ene †abla de verdad po「 defin-C16n La 「eiac-6n 16giCa・ →・ eS llna †au†oIogia sI Se
V
∨一i﹁
V
V
亡 i
亡 i
V
V
︽ 十 〇
青 i
V
V
F
戸 i
合i
V
声 i
V
V
F i
貫i一子
F
V
﹁﹁
戸 i
さ i
V
⊂ i
F
V
Fi
亡 i
F i
F
V
V
2 V
Los casos exclu-dos son. (∨.F)y(F,∨) La 「elac'6n es de川po: R8ニ((∨,∨), (F,F)).
1. Se cons†ruye ia †abla de ve「dad del poilnOmlO dado・ Camb-ando el sinboio de la relac'6n " i " po「
elope「ador16g'CO’lv“一Esdec'r・ (p! q) ∨( P^ q)
V F Fi V
V F Fi V
亡i
V
V
V
∨一i﹁
⊂ i
戸 i
V
V ・ ︻ ト I
F
V
F i
V
V
ロ i
V
F
言i︰V
戸.
亡 i
V
戸 i
亡 i
ロ i
戸 i
2 EI caso excluldo es (F.∨)・ La一「eiaci6n es deI †iPO R13ニ((∨,∨). (∨,F), (F,F)). Es llna 'mP"caci6n de
de「ech○ ○ iZqUIe「do
3 Ei pollnOm'O P(p.q.・・) vQ(叩, )es unacon†一ngenCla. Pa「ael operador i6giCO y/o (∨)
UnpoiinomiobooieanoP(叩,…)†ieneunareiaci6ndecont「adicci6ncon∴eipoijnomioQ(p.q,...)sise
Simb61icamen†eseindicadelasiguien†emane「a:P(p.q..,・)堂Q(p.q.…),ySelee’lpcon†「adiceaq〃l.
P(p,q) Q(p.勺)
0×0
P(p.q) Q(p,q)
0籾
V 戸 i V F
V ⊂ i V V
V V 戸 i F
戸 V 戸 貫 i
V V F Fi
V
戸
亡 i
貫 i
V
V
○ ○
V ・ ∨ 一 ﹁
V
亡 i
ロ i
V
F
F
胃 i
戸 i
V
︻ i ﹁ 一 手
さ i
V
V
F
F
V
亡 i
⊂ i
亡 i
F
⊂ i
V
V
V
V
UnpolinomiobooleanoP(p.q.…)†ieneuna「elaci6ndeequrvalenciacaneIpoljnom'OQ(p,q.…)sise
logfa.se「epresen†apor:P(P,q,…)⇔Q(叩,…)oP(叩,…)=Q(叩.・・・).yselee“pequivaleaql」
P(p.q) Q(p.q)
00
00
00
3 EI s(mboio oasigna el valo「 FeれIos casos (∨,F) y (F.∨), m'e両TaS que ia⇔ losexcIuye
「 ∈RC工筒。S l
l. De†erm…e ia 「elac'6n que se p「esen†a en†「e los slgu'en†es pollnOm'OS. En ei caso de que ia 「elaci6n no
2∴4∴`∴8∴畑︰
14
1`
鳩
Oi
慮ELACIONESし6GICAS
EQUrVAL∈NC│AS LOG工CAS
NOM R 僥ORMUしA
CS 悩Eb (p¥q)二一(p→q)
5S 粘2 (p/q)≡ (p←q)
6、5ubdiγuれC毒h 儡 之 (p←q)二PV(p⇔q)
しB ウr (p⇔q)=(p-〉q)<(q→p)
C 粘 (pうq)=-PVq
12・Ne9cC竜nconjun カ p=pJp
A 粘 2 PV(p^q)≡p
A 粘 B P^(pvq)二p
16・Coh†〇〇〇eC予p「oco 僂R 之ニ p→q= q→ p
17.工hVe「So 粘 r
18.Expo「tQ⊂i6h 僞 粘 (p<q)→「≡[p→(q→「)]
∈19; ' ラ
CAP壬丁Uし0 4
R軋ACr6N DE EQU│VALENCrA
4.重.卿岬ODUCC工6N
En generaI. se =ama equ一Vaienc-a a la expres-6n median†e la cuaI se 'nd-Ca que dos o mds obJe†os ma†ematicos
Dos o mds proposiCIOneS SOn equiValen†es cuando †一ene eI miSmo vaio「 de verdad, O lgual slgnlflCado Por
eJemPIo, “el †「ldngulo ABC es equ'ld†e「o’“ y nel †「'dnguIo ABC es eq川dngu'o’’son afl「ma⊂iOnes equiValen†es.
PueS †odo †「一dnguIo equ-1d†ero es equldnguio y viceve「sa Dos f「acc-OneS SOn equlValen†es cuando †'enen 'gual
Valo「 numd高co, eS dec'「, dan lugar a la m'Sma fracci6n -rreduc'ble. Por∴eJemPio, 6/8 y 12/16 son
luidosson(∨,F)y(F.∨);ySieIpo=nomioP(p,q....)oQ(p,q,...)esuna†au†ologfa.se (叩‥.)⇔Q(p凡...)oP(P,q"‥)=Q(P,q....).yseieel“pequiva教eaq“‘
P(p,q) Q(p.q)
㈱
P(p.q) Q(p.q)
㈱
」a 「eiaci6n de equ一Valencia se de†er…a・ PO「 eXtenSi6n y diag「ama sagl†a上de la s-gu-e而e manera:
P(p,q) Q(p.q)
… ㈹
㈱
十干
[下と同軍。」
1. Ve〇一fiCa「 e=ea「ema T/C en las s'gu'entes 「eiac'0れes de equiva-enc'a
4. Porio†an†o. (pvq)^Pl≠pI
Obse「vaci6れ: No se ob†一ene llna equlValen⊂'a POrque Se efec†u6 una sus†i†uc16n pa「cial de pI PO「
[」聖堂竺竺_ ○ ○」
1 Ve「ificar e圧eo「ema sus†'†uc16n de va「iables (SV) en ias s-guIen†es 「elac10neS de equlValencla.
1 pl^∨≡Pl;SiPl:P→q 2 p2VP2≡P2;Sip2’poq
3 p^∨二二P;SIP:PYq 4 p^F≡F;SIP:PVq
戸
V
V
︰ V
V
ロi
F
V
戸 i
V
V
F
戸 i
V
〇十
F i
戸 i
︻﹁
F
V
V
ロ i
F
貫 i
仁 i
V
亡 i
戸
F
F
F
V
V V V V,
戸.∨-﹁
F
〇 F
V
∨
V
-
V
i﹁∨∨
亡i
胃 i
V
V-ト
言 I
V
V
言 i
V
F
V
⊂i
V
V
〇 〇 〇
ロi
V
F i
F
V
F
」上J的偶。S 」
∪二P.∀P(叩.…):P(p,qr..)=P(p.q....) ∪=P.∀P;P=P
∪二PseleetIunive「SOeSeIconjun†ode†odosiospoiinomiosbooIeanos.∀:Selee.印「a†odo“’
P(p,q) Q(p,q)
Siunapropos演;れP(P,q,・・・)esequivalen†eaQ(叩,・・・),Se†ienequeQ(p,q,…)esequivaIenteaP(pq,工
S面b飾cq爪eh†eseindjc○deIq∴Si9uien†e爪qれe「O:
∪二P.∀P(p.q,・・).∀Q(帥,・・一):P(p.q.…)⇔Q(p凡.・・)=Q(叩.…)⇔P(p,q,...)
∪ニP.∀P.Q:P⇔Qニ Q⇔P
㈱
∨ ∨ ∨ ∨
F
V F V Fi
V
∨
V
∨
∨ ∨ 亡i F
﹁
-
Fi
㈲
V
V
F
合 i
V
F
V
亡 i
亡 i
V
V
Siunap「imeraproposici6ncualquie「aeseq=rvalenteaunasegundayes†aesequivalen†e工〕una†ercera・
impl’CaqueIaprime「aesequivaIen†eaia†e「Cera.Esdeci「‥∪=P.∀P(P,q,…〉,∀Q(P’q'.・・),∀R(P'q'…):
P(叩,...)⇔Q(p,q.…)^Q(P,q.…)⇔R(p凡・・・)→ P(叩....)⇔B(p.q.工
∪=P.∀P,Q.R:P⇔Q^Q⇔R→P⇔R
Po「 lo†an†0・enlaexp「es‘6n ((-PV-q)⇔ (p^q))^仁(p^q)⇔(p†q)) →((-PV-q)⇔(p↑q))
[二重コ
1 Ve「'f-Ca「 las s'g…en†es propiedades:
認豊富若二言字詰pVq⇔P→q 器霊謹言塁q。∨刷
2. De†e「m'na「 el caso que se presenta・ de la p「opledad †「ans’†一Va・ en los s’gu'entes POlinom10S boolianOS:
Has†a fines deI sigio XIX. se ⊂OnSide「aba ai的eb「a como Ia gene「alIZaC'6n de Ia a「l†m鉦.。, medwh†。 l。
S'mbolizaci6n de ios n。me「os po「 let「as En la∴aC†ua'ldad・ Se llama d-geb「a∴a- es†udlO de es†「uc†…aS
a sllS PrOP’edades y los †eo「emas que se dedu⊂en de -as m'SmaS. Para 'a demos†「aci6n de los †eoremas se
「equie「e de es†as Ieyes y sfro de el厄Tan†o las -eyes como 'os †ea「emas son 「e-aciones de equiValenc'a
∨
V
V
F
V
Fi
V
V
亡 i
V
戸 i
亡i
V V Fi
F
亡 i
合 i
V
ロi
F
声 i
亡 i
V
F
V
ロ i
Fi
Fi
亡i
亡 i
亡 i
F
「眼餌。S i
l. Ve「iflque las slglllen†es leyes del dIgeb「a de p「oposiCIOnes, medlan†e †ablas de ve「dad
3 Co爪piemen†o
4Mo「90n
DE円NエC工dN
q﹁
Oi ﹁
V V
︻ i q
q
、り′生
q h﹁ p ﹁
の五㌧印可
′い.時
」上空竺竺」
l. Demos†「a「 /os s`gll'enteS †eo「emas (PrOPOS'C'Ones deduc'dcIS), median†e axiOmaS y/o def…C10れeS.
押
羅p
︹ul
l′ ∨
∨ 合i V F
V V F F
二 三 三 一 一 一
初心∵のいてり
∨ ∨ ∨ ∨ ∨
時行∵時五∵時
^ < < ^ <
p p Di P P
▲ ( ∠ ( き 4 ○ ○
2・ (PVq)v[p^(rvq)] ≡ [(pvq)vp]^[(pvq)∨(rvq)] D’S†「ibu†'Va
6 (pvq)∨[p<(「vq)】 = (pvq) しS
PQOPOS工CTO N ES BAZONES
6 (p<q)<[pv(「^q)] = (p<q) しS
」竺聖偶。S 「
1・ Demos十手O「 io与S-9U-en†es †eo「e巾os
薄紫
の ∴の
0 “
三
㌢ . 小 . か . 8 . 1 0 1 2 1 4 1 e 1 8
豊吉 P、印、小
、の、利の、利 器p⋮
< ^ ^ ^
P Di p p
↑↑↑↑ 三 一 一 一 二
P P p p p
∨ ∨ ∨ ∨ V V V V V
小二男心∵小 かぶりの言当の
< ^ ^ ^ <
佃だ周信∵時′岬
1{ (∠ (3-4.う
5・ 〇号M°S丁貫AR: - (p < -q) =1 → - p
PROPOS工CION ES
l・ (p^-q)二 (p^ q)
2 -(p^-q)≡-pVへ q)
3 -(p^ q)=-pVq
4. (p^-q)=p →q
5 (p^-q)三 q→-p
」珊傭C工。S 「
3.(pv「)<-p =-P<「
5」(p<q)^可∨(p^q) ⇔ -( PV-q)
9 (「ゞq) ≡ [(「^∨)⇔(qvF)]
重5 [(P^P)v「]二手Jp
ま7 -[-「<q】⇔「→q
2ま(「vF)<[qv(Fv「)]臆 (「†「)
23 ql<(q2Vql)≡勺1
2う言-〔(「vq)<q]⇔いq
27 [(qv「)<q]=qJq
29 p^q二p<(一pVq)
こ二秒→pV q
p →D-→-p
NOMBR〔 剪
1.工de爪po† 冂竜 ヌ ? ? ヌ
2.C°n爪u†o 儼O. + ? ヌ ヌ ?
3.As°Ci 俘" 仲 W X Sラ R X R 着 W 頂 Y? 蔟 イ ク R
4.Dis†円 由 VO R ク R倅 W 調 X R R X R瀞 キ R ネ薰
7、M○○9on 剪メ W 瀞ラ イラ イ キ ィ キ X-h峵
㈲
臆臆■
圏圃
∈jemplo 2 SlmP庸ica「 el s'gu'en†e pol用Omio y g「af'Ca「 el clrCu'†o I6glCO equlValen†e. (p v q) ∨ [p ^ (「 v q)]
PROPOS工C│ONES BAZON ES
2. (pvq)∨[p^(「vq)]三[(pvq)vp]^[(pvq)∨(「vq)] D’S†「'bu†iVa
4. (pvq)∨[p^(「vq)]二(pvq) しS
:二町鵜・p V q
」㌣蹴鋤は。与(
l. Rep「esen†a「 los s-gu‘en†es c'「Cu'†os 16gicos (forma†o l).
1 -(qvp) 2.-(q<「)
3 p<(qv「) 4. pv(q^「)
2. SlmPllflCar Ios sIgulen†es paiinOmiOS y g「afl⊂a「 ei cl「Cui†o I6gico eq山Valen†e (forma†o l).
CAP壬丁Uし0う
BELACr6N D∈ │MPLrCAC│6N
5. 1.工N丁貫ODUC〔工6N.
Generalmen†e・ Se uSa la palab「a -mPi-CaC'6n pa「a …diCar: COnSeCuenC;a de a-go・ que e' conJun†o P es†a
Simb細came両eseindicadelasiguien†e爪ane「a:P(p.q,つ⇒Q(p,q,_..).yselee"pimpl-Caaq".
P(p.q) Q(p.q)
P(p.q) Q(p,q)
㈲
P(p.q) Q(p.q)
十
p-⇒q
i ∈JE聞軍国
甫 ㈲
㈱
P(p,q) Q(p.q)
Casos exclu'dos n'ng…O La f6rmuia no es una lmP“CaC・6…I †ampoco uれa equ・Valencla, iuego
㈲
(p → q)^ (q → P寝∴p y (P →q)^ (q臆〉 P)かp. por lo qL'eeI a「gumen†oes inconsis†en†e.
! ∈・批エ∞S「
q q ∴ p qV P
qv○ ○ (-p^q) p
∴ p i’i「→P
・’・  ̄q-⇒ ̄p
∴  ̄pVq ・、 pどq p q
∴ q ∴ p<q
V︰V
F
V
F
V
∨ V F (﹁
V
V
F
さ I
ロ i
貫 i
﹁
F
︻ i ﹁
F
V
V一V
V
V
亡 i
V
貫 i
⊂ i
V
V
」聖堂竺三三二二]
l. De†e「mlna「 Sl los s-guien†es argume巾OS SOn Ve「dade○○s o falsos
5 Sl e1 3 es n‘mero na†u「al en†onces es en†e「o Sl e1 3 es ente「o en†onces es n心me「o 「eai Por lo †an†o
S' 4 es meno「 que 7 entonces 8 es mayo「 que 2 Por lo †an†o l es meno「 que 5 y/o 8 es mayor que 2
8 S川ueve. en†onces Carios enferma「d No =ov-6 Por Io †an†0, Ca「ios no enfe「m6 (SuPOnga las dos
91 Sivamos aI c個e en†on⊂eS ie compro un heiado No le comp「o un heIado Concius16n, VamOS al cine
五Un esposo Ie diCea ia sefro「a S' Se CO「†a ei cabe=o entonces se verd bo川†a La sefro「aconcIuye. Ya
12. Un esposo le dlCe a la sefro「a・ Pago de la luz o del †ei窮ono Pa9u6 de la luz La se肴ora concluye:れO
V
∨
∨
亡i
亡i
亡i
戸.合i
F
V
V
V・∨
F
V
V
V
F i
F
ロi
戸
F
F
F
V
言 i
F
F
Se ob†'ene una 'mPllCaC16n. el caso exciu・do es (∨. F) y pa「a臆) Se †一ene una †au†oIogfa. Po「 Io †anto la
」三三竺竺」
羅擬轟
l. Veriflque∴en CUales de los s‘gu'en†es angumentos se cumple∴el p…C'PIO de sus†ituc'6n, Para los
「eemplazos indICados.
1234
コ
・う・67・89・10
コ
P
∨-﹁ V ロi
V V V一V
V V F 戸 i
V 戸-﹁ 合i
∨
﹁
(
∨
∨ ∨一十 F
﹁
∨
﹁
-
∨
∨ ∨一﹁ ⊂i
∨ ∨一十 Fi
-﹁ 亡i︰V V
V V V V
V F V 戸 i
亡 i V F V
置 i 亡 i F ∴ V
白 V ロ i V 戸 i
V V 青 い F
∨ 合﹁ V F
︰ V V V V
V V ( ﹁ 合 i
F 胃 i V V
- ﹁ F V F i
V F V さ i
V V V ⊂ i
V V 亡 i ロ i
V F V・︻トi
V V F 戸 i
V ﹁ V ︻﹁
∨ ∨ ∨ ∨
V 亡i V-i﹁
∨ 亡﹁ F 合i
V V 亡 i F i
∨︻﹁VFi
V V ⊂i-i﹁
P√V戸﹁
5.9.9. R∈GしA D∈ ADJUNC重6N (AD).
P ^ q Se川diCadelaslguien†emane予o“ (p^q)⇔(p^q)
p → q P ⇔ q
q → p (p→q)<(q→p)
p ⇔ q
Los a「gumen†os son cons'S†en†es, ya que la∴COnJunCi6n de las premisas equlVale 16giCamente a la
「J批工優J
l. Ver-fique. medlante †abIas de ve「dad, Sl los s'gu'en†es esquemas de a「gumen†ac'6n son consiS†e而es‥
l METODODIRECTO l
l METODO INDIRECTO l
〈
亡≡空室二二」
l. Demos†「a「′ de「iVando ia con⊂lusi6n med'aれ†e el uso de Ias 「eglas de 'nferencIa
(p^q)< (p幻)子p
(p<q)< (p幻)≠ p
EI ○○9umen†o es iれCohSis↑eh†e
亡三三三三二二]
1・ Demos†「ar‘ de「lVando una faisedad h gl⊂a (F)・ que los sigU-entes argl'men†os so州COnSIS†entes
葦嵩詰<q 結語 烹’与
川Lsc・ Paco Bas↑idas Romo & onos 96 Qe-aci6n de inp-icaci6n
Di
隷結
Ⅲ00照00劃
ら789101 1ま2重3
4. DEMOSTRAR; (pv「)^S;-(p^S).. 「^S
PROPOS工C工ONES
ま(pv「)<S
2. (p^5)
3 s<(pv「)
4. (s<p)∨(5<「)
5 (p^S)∨(「<S)
6. (「<5)
PRoPOS工C工ONiS
ま. (p^q)→「
2 「
3 [ (p<q)]∨「
4 (p^q)∨「
う p^q
6 q
[二三三三三二二]
」上竺批鷺。S 「
l. Ve「iflque・ med-an†e †ablas de ve「dad・ que la diSyun⊂i6n 'nCiusiva de las hlP6tesiS Pa「Ciales lmPliCa la
P(n)・重+2+3+ +n二n(n十重)/2
h= 1 1=1(1十1)/2 1二重
n= k 巨2書3+…+kニk(k→1)/2
Hip6†esis ⇒ †esis
PROPOS│CtONES RAZON∈S
l l十2+3+ kこk(k+ま)/2 Do†0
l EJERCIC[OS l
l Demos†「a「 los sIgu`en†es †eo「emas o f6「mllias, que dependen de la var'able n, med-an†e eI mみodo de
ま214鳩1820
CAP壬丁UしOら
6工│NTRODUCC工6N.
7
0
p
>
×
Seap(x)unaformap「oposicio〔alcualquieray“aiIunacons†a而e.Siaisus†itu T f f V f 坪 6R
ObtleneUnaPrOPOSici6nce「radasimpleve「dade「a,en†onces∴-P(a)esfaIso.De
P(a)esfaiso(alsus†血冊la“’×l“porla“all)en†onces-P(a)esverdadero.
」÷J孤軍∝ 「
q(ヽ)
∪ こ D Y[ (×) ^ (×)]
O
ま
9
三二、二
」 ∈J的偶㌫ ̄]
l. S‘ ∪二D Halle「 el conJun†。 SOIuc'6n de la ⊂OnJunC'6n de las sigulentes fo「mas p「opos-C-。nales.
2 S' ∪二D・ P(x); × ≧ 6′ y q(x). × < 9. Halla「 eI conJuuto SOlucich de ias slguientes propos'CIOneS ab'e「†as
fo「ma「llnaP「OPOSici6ncompues†a=amadadisyun(訪れinclusivadelasdosprime「as.Sjmb61icamen†ese
「ep「ese∩†叩o「p(×)>q(×)Y5eIeeiipde送γ/oqdeざ“:
」竺竺竺三三〇」
ま. S‘ ∪こD. ha=a「 el conJun†o soiuci6n de Ia diSyUnCi6n lnClusiVa de las slguien†es fo「mas p「oposi⊂lOnaies
2 Sl U = D, P(×): X > 6, y q(X): X ≦ 9. Halla「 ei ⊂On」un†o sohJC'6n de Ias slgu'enteS formas p「opos'Cionales
5i爪b6iico爪乞而ese「ep「e5en†opo「p(×)→q(×)YS色iee.is 冪d巳さen†oncesqdeさ-」
」上聖二」
l. Si U二D. Ha"ar ei conJuntO SOluc'6n del ⊂Ond’⊂ional de las s'gu'en†es formas propos'⊂lanaIes
2. S' ∪二D. p(x): × > 3, y q(×)’× ≦ 7 Ha=a「 eI conju面O SOlu⊂'6n de ias s(gll'entes fo「mas proposi⊂'Onales
S う 薄 2 ...11paraforma「unaproposici6ncompuestalIamadabicondicionaidehsdosp「imeras.
i E・巨調軍o与「
宣Si UこD- Ha=ar ei con」un十o soiuc'6n del b’COnd-C'。nai de las s-g…en†es fo「mas p「opos-CiOnales.
2 Si U = D‘ P(×)・ × > 3, y q(×) × ≦ 7 Ha=ar el coれJun†o soluc'6n de las sIgu'en†es fo「mas p「oposicioraies.
Va「iabIesyqueseconvler†eenunap「OPOSici6ncerradosimplecuandola"x`lyia"y'一sesus川ruyeれPOr
unvaIorde†erminadodelconjun†ouniverso.
A S CSCSCSCS
[三] e5iロCOp血ide国
璽垣es la capl†ai de Ecuado「
畳旦王垣鍵Io copi†oI de Coio爪bIo
CO…untOVe「dadoconiun†osoluci6ndeIafo「map「opos ヲ 陏ヤ停
000駕㈹⋮㍑㈲㈲ ㈹㈲㈲側聞総帥
Obse「vaci6n: En ei e」emPio an†e「lO「 Se 「eglS†「an aigunos eiemen†os deI conJun†o …VerSO
l 珊側工。S i
Si...pe「ono…
…SiYSOIos上..
「∈・恥嘉虞。与)
[二三車重二二]
1. S' A = (2・ 4) y B = (-2.-4). hailar∴el con」un†o soiuc'6n dei cond'Cional de ias slgu'en†es fo「mas
DE戸工N重C工うN.
i ∈職工債OS !
1 S- Cこく2, 4) y D = (-2.-4), haiia「 el conjun†o soiuc16n del biCOnd'CIOnaI de las sigulen†es formas
3. [p(×,Y)ど-q(×,Y)] si P(×,y)・×+y≦4,q(×,y)・×十y≧4
2. [-p(×,Y)vq(×,Y)]与i p(×.Y):×=Y十2,q(×,y)!×+Y<2
3. 1p(×,Y)ど-q(×,Y)]与I P(×,y)!×+Y≦3,q(×.Y).x+Y≧2
5. [p(×.Y)⇔q(×の]s- p(×,Y):×+Y≦L勺(×,所×十Y ≧2
7工│NTRODUCC工6N.
Conslde「emos las slgいen†es funcIOneS P「OPOS’CiOnales (p「opos’Ciones ab'e「†as) sob「e el conJU両O de ios
EI conJu両o SoIuc'6n †'ene un SoIo eIemento deI conJlln†0 …Ve「SO, eS dec一〇 Q = (O)
Luego, dada llna fo「ma p「oposic'Onal cualqu'e「a y Un∴COnJ…†0 …Ve「SO, eI conJun†o soiuci6n puede
con†ene「 Ios slguIen†es eiemen†os. Todos, aigllnOS. unO y S6Io uno. y nlngdn elemento deI conjun↑o unive「So.
SI COnSlde「amos la slgulen†e p「oposICi6n abIer†a (en …a Var'able). sob「e∴ei conJUn†o de los n心me「os
df9I†os・
×+4こら.
Sa†lSfacen la condic'6n (x), eS decir Cuando el con un†o soIuc16n de (x) es el con un†○ …VerSO,
星雲霊寓弼
dei coh Un†0 VOC了o
Obse「vaci6n ei ⊂onJUn†o solucI6n es 'guaI al conJun†o vacfo, P = q. e而onces v[ヨ× P(y)] = F
i豊』
l Esc「lba 'as slgulen†es p「oposiCiOneS en fo「ma simb6l'Ca y de†e「m川e el vaio「 de ve「dad
(×)es ei con u而o u用†○○iO
葦
Obse「va⊂i6n. el conjun†o soluc-6n no es 'guaI al conJ…†o unitar-0. P : (8,9). en†oれCeS V〔Sy p(y)] = F
」豊』
1 Esc「一ba las s-gu'en†es p「oposIC'Ones en fo「ma simb6l'Ca y de†e「m'〔e ei vaio「 de verdad
’ I d i uniVe「如IU,hoce
星重畳百目
1・ Escriba las s'gU-enteS P「OPOSiC-OneS en fo「ma s-mb6l'`a y de†e「m'ne Sll VaIo「 de ve「dad
Para ia negac'6n de una propos-C'6n que †'ene Cuant'f'Cado…'VerSal o ex'S†enc-al se †iene las s'gUlenteS
○○hciOneS de e叩iVOiencIQ
-[∀×,p(×)]⇔[ヨ×,-p(×)] (○
鞠empIo;
日e調plo;
1 Ve「一flCarlaequ'Vaienc'a⑤pa「a. ∪二D p(×)・×>3 yq(x)lX<8
p(×)、×>3 勺(×)・×<8
a) Pa「a el p「ime「 m'embro de la 「elac'6n de equ'Valenc'a Se †iene
EI con」un†o soiucI6n es†d fo「mado po「 ios eleme而OS qlle hacen ve「dade「a la p「opos・C'6れP(x) y q(x).
Simultdneamen†e: (4,5,6.7) LllegO. ∨ (∀×. [p(×) ^ q(X" ) = F. po「que el conJun†o soluc・6n no es 'gual al
COnJUn†o u川ve「5〇・
戸 戸 F
C) F’nainen†e, al cons†…r ia †abla de verdad de. ∀x. [p(X) ^ q(x" ⇔ [∀×. P(X) ^ ∀x,q(×)]. con los
F V F
Cons'derando ei †eo「ema 2 de ia 「elaci6n de eqll'Vaiencia (S- P y q Son ambas †all†oIogids o blen ambas
i E・批工偶。S i
l. Sl UこD. ha=ar el valo「 de ve「dad de ∀x. [p(×) ^ q(x)〕 de Ias sigUlenteS formas proposIC教Onales.
2. Si U二D, hallar ei valo「 de ve「dad deヨx, [p(x) v q(x)] de las slgu-enteS fo「mas p「oposICIOnales
3 p(×.y)・×ニY2.q(×,y)・×十Y ≧4 4 p(×.y):×+y>0.勺(×,Y)・×=Y-2
C RELAC工ON〔S L6GICAS
F. REGLAS DE │NFERENC工A
A:OPERA生ON∈SL6GICASINTERSECⅡVAS
OP各慮AC重くうN 儡ェ博し冨S 劔 ユ X,x.y)、
°PERADOR 癖 ●/ 價 リ "
∨ ∨ 巴 F 僥
∨ 侘イ F F 僥 巴
F F 巴 ∨ 僥 侘イ
戸 巴 F 巴 F 凵ノ
B:OPERAC│ONESL6G工CAS│NTERD│SYUNT│VAS
OPEMC重くうN 儡工MPしES 劔COMPUiS丁A
OP∈RAD°R 凵 坪 " ← y
∨F∨「
∨ 巴 ∨ 巴 ∨ ∨
F ∨ F ∨
F 巴 ∨ ∨ 侘イ F
C:RELAC│ONESL6GrCAS
丁重PO 比 ヤ(ュ *イ S主MBOしO 侘エ $ユX+T D師宣N工C要るN 4 U +UXヤЗ イ
丁 R 工 P し i S 天 oA ネ 宙 定 鋳
1.Idempo†enc p<p g ラ
p<勺 g ? 嵭g
(p^q)<「二三p^(q^「) 剪 g 揺 Y? b h R
p^(qv「)=(p<q)∨(p^「) 剳 b ネ R g 督 h R
E:EQUrVAL∈NCrAS LOGrCAS
NOMBR巨 播 $ユX+T
1.Ne90Cはれd†e「no†子vo 比 ∈i 仲 W ィ イ ヌ ィ キ bラ
CS 粘" (p¥q)ニー(p臆〉勺)
SS R (p/q)ニー(p←q)
4Ne9QC毒nconjun†血 比2 畑 リ-b
しB 粘r (pく・,q)=(p○○〉q)^(年→P)
C モ (p臆〉q)≡-PVq
9.Con」uれCi6n ∈9 メぷ i9b
1〇・Disyunci6nincIu5ivo E)0 g 竄ユ べ
章l,Ne90Ci6no座州o†M Ell 潰 ユ W
12・Ne9ロCi6れCOn」u両vG Ei2 ァ 蔔 ァ
A 燃 pv(p^q)‥P
A 燃 B p^(pvq)二p
17.工れVe「与O EI7
戸:R〔;6しAS∴DE 重NFE瞳とN`軍人
NOMB貫E 劔 各SQUEMA
MPP 吋
M丁丁 吋鉗 べ べ 戉 g
M丁P g  ̄P ∴q pvq 礼
4.Mod 剩ユ )「 pとq ,w 勺 ∴
5.S SmOH 鑓 R ⊂o
宣1・DiγunCi6巾excIu5ivo 劔妊R
DE