Está en la página 1de 154

回し69i。。

Mo†emd†ico
‘‘Hacia uれnueVO eS†ilo de ense和「 y aprende「’’

MSc. Paco Bas†idas Romo

MSc. Ana Arias Bala「ezo

MSc. Edwin LozaれO

MSc. MiI†on Co○○neI S6れChez

Ma†. Vicen†e Parra Moreno

MSc. W冊o巾C○○「〇〇〇 Es竜vcz

Qui†o - Ecuado「

1
Ii
│NTRODUCC│ON

しa 16glCa Ma†emd証ca es la∴C-enCla que eS†ud'a el razonam-en†o・ do=de +azona「’’⊂OnS'S†ei en Ob†ene「

afl「ma⊂IOneS (ilamadas con⊂lus教OneS) a parti「 de o†「as aseveracIOれeS (肱madas p「emisas). con 「eglas

Pa「a garantlZa「 Su es冊uC†u「a (cons-S†en†e o lnCOnSIS†ente) y val'dez (ve「dade「a o faisa)

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

(visich pe「sonai) e m†erac†'Vas (∨・Si6n g「upal). en el es†ud'O de Ia Ma†em鉦ca (S'S†emas Numdricos,

Teorfa de ConJun†os. ReiacIOneS. FuncIOneS, e†c )

Po「 fmes est「iC†amen†e dld6c†ICOS, Se ha dividldo el es†udiO de la “L6g'Ca Ma†em〔it'Ca’’en∴Sle†e

cap行ulos・ L6g-Ca P「OPOS'C'Onai′ Po=nOmlO Booleano‘ Reiaciones 16g-CaS・ Reiaci6n de eq=一Vaienc-a′ Belac竜n

de lmPllCaC'6n. P「oposic毒n cond’C'Onai y Cuan†'f'Cadores. in cada uno de∴eiIos∴Se eSPeClflCan las

def周'C'OneS bdsICaS, †eo「emas (de∴Ser neCeSa「iO), eJemPIos. eJe「C-C-OS resuel†os y e」e「C-Cios

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

(「elacIOれeS 16glCaS, CUan†lflCadores). de†erm周a「 Ia consIS†encia O …COnS'S†enc-a de los razonam'en†os

(a「gumentos) y demos†「a「 eqll・Valencias e imPiiCaCIOnes 16g-CaS (m封odos de demos†「ac16n), med'an†e

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

しa producc'6n y publ’CaCi6n de un †ex†o de “L6g'Ca Ma†em卸ca′’no es eI f「ll†o dei esfuerzo solida「lO de

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

d'VerSOS g「uPOS de estud'an†es de la FacuI†ad de Filosofia. Let「as y Cienc・aS de la 〔duca⊂i6n (Ca「「e「a

de Ma†em存ica y Fis‘Ca) y con educado「es de las d'fe「en†es 「egiones dei pais・

Las amables∴Su9erenC-aS. de∴n…e「OSOS maeS†「OS y maeS†ras・ han perml†一do meJOra「 los p「'me「OS

aplln†es. no soIo en la∴eXPOSICi6n de ios p…⊂一Pales∴COntenldos de Ia買;giCa Ma†em品ca’’y sus

eje「cic'OS P「OPueS†os. s'no, fundamen†almen†e en su enfoque didde†'CO DeJamOS COnS†ancla de nues†「o

inf…†o agrade⊂'n"en†o po「 †odos sus comen†a「lOS.

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

Ia Car「e「a de Ma↑em存ica y Ffs'Ca. de la Facul†ad de F'iosofia. Le†ras y CienCias de la Educac'6n′ de la

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・

MSc Paco Bas†ldas Romo & O†「os

Qu'†0, 26 de Mayo de1 2O16.

日t
│NDrC∈ GENERAL

重11▲︽之2335うら1‖1之重4宣6181
l. PROPOS│C│ONES CAT∈G6農│CAS
l重   工n†○○du⊂CI6れ

1 2  P「oposIC'6n cerrada slmPle

1 3  Rep「esen†ac'6n s-mb6l'Ca de prapos'CIOneS

1 4  Valo「 de ve「dad de …a P「OPOSICi6n

1 5  P「oposIC'6n cer「ada compues†a

1 6・ Ope「acIOneS COn P「OPOS'C'OneS

1 7  P「op-edades f…damen†ales de has ope「ac-OneS i6glCaS

1 7ま  Ne9QC-6n ( , no)

171l・ Doblenegac'chr(-). no,nO]

172 ConJuh⊂-6n(<.Y)

173 Con†「asecci6n(`; PerOnO )

9 2章2
174 BICOndiC-°nOi(《-〉. .SiYS6Iosi )

175 CondiC'Onal(→.S' entOn⊂eS )

1 7 6.∴∴DIS UnC16n 'nClusiVa (∨; y/o )

22
177 D-γunC・6nexciusIVQ(ど. 0)

1 8  Sfn†es'S de las ope「ac10neS 16glCaS

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

2 4  Tablas de ve「dad de po間om10S booieanos

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

2 4 2 3 Vaio「 de ve「dad dei poI-nOmlO booIeano

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

Son los eIemen†os de la 16glCa en gene「ai′ y de la I6g'Ca ma†emd†'Ca en Pa面Cuia「

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

En∴el slgu-en†e cuad「o・ Se P「eSenta la cIasif'Cac諭gene「al de las propos-C'OneS.応mlSmaS qUe∴Se

anaIiZar6n a con†lnuaC16n
「E・孤軍練OS )

1. Represen†e simb6lICamente Ias slgu'en†es p「OPOS'CioれeS y de†e「mme Su Valor de verdad


国?N。AD工CA5 「

岡田害閣

[二三三二二] (
圏I B'COnd-CIOnaI
トエバDICA与「
副題

星雪国 [三三二] i D阿C-6n(e)

°PERAC工(うN 儖P∈鼠A○○慮 ゥe8ュ リヤ


ま.工h†e「se⊂c毒n,cOれ」unci6n

置ヽ 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

EjempIos: P 2+2二4  v(p)二∨     -P.2+2i4 v(-P)=F

q2/3∈Z v(q)二F     叩2/3〆Z v(-q)こV

」里験の∽う「
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、う

9. 5l= 5             1O Ei l es el m6duIo deia mu面pl'CaCi6n.

11. LabasedeI sIS†emadeclmal es lO. 12 m⊂d (3. 9) = 3

13 mcm (3,4)= 24        14 Ndme○○ dig・†o esel quecons†adeunasolac'f「a

MSc. Paco Bas†idas Romo & o†「os.     5         P○○posiciones Ca↑eg6ricas


Dadal'naP「OPOSici6np⊂u吋ie「a・ai「ealiza「iadoblenegaci6ndedichapropos'C-6れ(dosnega⊂iones

COnSeCu†ivas),SeObtienecomo「esul†adola ヨ $ 6 吐駘ヲ6 トニ F &ニV觀v 6友也6V6 踐6R f

†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

11 mcm (5,15) = 15       12 La base delsIS†emadeclmal es lO.

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.

15. EI coc'en†e ind-Ca el ndmero de veces que eI d’∨一dendo contiene al dMSO「

MSc. Paco Bas↑idas貫omo & otros.   6      proposicioれeS Ca†eg6ricas


Dosproposicionessimpies,Pyq,SePuedencoa「dinar pormediodeit6「minoi6gi⊂O'’yi-pa「afo「ma「

uれaPrOPOSici6れCOmPueS†a 末 ヨ F リ VW'6V66吐踐6 讒V 吐襷Vニ 6F 7 V蒙W& 2 蒙#f末6 ヨV VW6R

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

l. De†e「mme el valo「 de ve「dad de las sigu-enteS P「OPOSICIOneS COmPueS†as

1 7×8こうらY8×7=52
2 2 es un ndme「O PCl「yna†llrai

3 7esun n血erO dfgl†oy na†ll「a1

4 -7 es un ndme「o erl†e「o e l「raCIOnal.

2. Ha=a「 el vaIo「 de ve「dad de la negac16n de las sigulen†es p「OPOSICIOneS COmPues†as

l Undれgulo sem'deeng「adosy 「ad'aneS

2 3/2こ9/4Y12/8ニ3/2
3. 3, 1415.. es un n心meroen†ero e l「「aCIOnai

4 3/うe5 inOy°予que l/うY l/5 es maY。「 2/7

3. De†ermlne el vaIor de ve「dad de las slgulen†es p「OPOS'⊂lOneS.

1 Siv(p^q)=V y v(q)ニ∨,De†e「m'neeIvaio「deverdaddep

2. Si v(p ^q)= V y v(p)= F. De†erm'neel valo「deve「dad deq

3. S‘ ∨(p ^q)= F y v(q)二∨. De†ermineei vaio「 deverdadde p

4 SiV(p^q)= F y v(p)= F,Dete「mmeelvalordeverdaddeq・

5 SIV(p)二F y v(q)= ∨.De†e「m'neV(p^q)


喜臆P「opasIC'6n ・OmP竺竺竺三三コ
」珊劇中
1. De†ermlne eI valo「 de verdad de las siguien†es p「OPOSiciones compues†as.

1. O,25 es un n竜me「o en†e「o pero no '「「aC'OnaI

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

5 Ei Oes e=m6duIo de lasuma pero no es de iamui†ipl'CaCi6n

2. Ha=a「 ei valor de ve「dad de la negac’6n de las slgUIen†es propoS’CIOれeS COmPlleS†as

l -、y′. es …†6rm'nO 16g-CO PerO nO es unOPerador.

2 2esunn`merop「imope「oれOeSPa「

3 i es un r心mero ente「o pe「a no es f「a⊂C教Onarlo

4 Un cuad「ado †lene4 lados pe「o no 3

5. a- b = a+(-b)es Iadef…⊂i6nde「es†a pe「o no eS de IadlV-S-6n

3. De†e「mine ei vaio「 de ve「dad de las sigUlen†es p「OPOSICIOnes・

1. Si V(p ` q)= F y v(p)= F, De†erm-ne eI valo「deve「dad deq・

2 SlV(P¥q)= F y v(q)=∨,De†e「mmeelvalo「deve「daddep-

3. SiV(p`q)= V y v(p)= F,De†erm'neeivalo「deverdaddeq

4 Siv(P ` q)=V y v(q)二∨,De†e「m'neelvaio「deve「daddep

5. Si v(p)= Fyv(q) = ∨. De†e…ineV(p ¥q)

4. Cons†「ui「 ia †abia de verdad de la con†「asecci6n de …a P「OPOSICi6n conslgO mlSma.

MSc. Paco Bas†jdas Ronlo & o↑○○s.    11         P「oposiciones Ca↑eg6「icas


Dosp「oposicioness'mPles・Pyq’SePuedencoo「dina「pormediodeIaspalab「as“…Siys6'os一∵lpara

fo「爪○○unop「oposici 匁6 ラ VW8 V ヨ ヨ F " COndicionaldelasdosp「ime「as.Se「epresentapor“po

q.’YScIeei.psjYS6 天 r V6 踐6R U -ニ" きm,COneinombredebisecci6n.

「二言…o i69・C」

P Oq: 6 es divjsibIe oo「 2 si y s6lo si 6 esれ血`e「O Dar


P「opos-C'6n simpie P「oposiC-6n simple

喜二聖二三三三三コ
EI v(p)二Fyel v(q)= Vse presen†a enla39 fiia, POr lo †an†o ei vr(P ←〉 q)] = V

」・E批工。S 「

1. De†e「mlne ei vaio「 de ve「dad de ias slgu'enteS P「OPOSIC10neS COmPueS†as

1 9/3=3ssi3×3=9

2 2/5 esun nJmer○ ○eai ss1 2/5es na†urai

3 1ン2 ssi l-2〉0

4 10esen†e「opos証vo5SiまO)0

5. 3主275Si3×3二27

2. Haila「 eI vaIo「 de ve「dad de la negac竜n de las slguIen†es propoSICIOneS COmPLles†as

l. 10 es ntimero pa「ss' 10es mdl†'PIo de 2

2 う/3) 8/3 ssiう) 8

3 3/2) 2/5s5i2く う

4.重2/4=3 ssiま之二4×3

う.一2く-ま ssi 2〉ま

3 De†e「mine el vaio「 de ve「dad de Ias slgulen†es propoSiCiOnes・

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)=?

5. Si V(p)=戸Y V(q)こF, De†e「爪-neV(pぐ→ q)

4. Cons†「lli「 -a †ab-a de verdad co「「espondien†e a ia negac16n de ia b'SeCC'6n consigo misma

5. Sean ql y q2 dos p「oposIC'OneS Sinples. Const…「 la †abia de ve「dad co○○espond-ente a la nega⊂16n de

ia bisecci6n de tos p「opos'C'Ones dadas

MSc. Paco Bas↑idas Romo & o†ros.    13         Proposiciones Ca↑eg6「icas


[三三三] 園亘os ' C教6n compu二三三コ

州i減中嶋重心d d車軸抽軸心亘I山○○ d・皿血dむし調叩画。dn o…町的o dき中也d回心のd。


Verdad de has p「opos’C'Ones S'mPles y de ia propiedad fundamen†a- del ope「ado「 16gico

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

I Si hoy es sdbado en†onces ma範na es domingo

2 SI÷二〇.うe而OnCeS2/4二〇.5

3 SI l/3 es un nlime「o 「ac10nal en†onces es en†e「o

4 SIZ十4こらen†ohCeS 2 二6-4

5 SI33 = 27en†onces3×3×3×3二9

2. Ha肱「 el valor de verdad de Ia negac'6n de Ias slgu'enteS P「OPOSiCiOneS COmPueS†as

l- S- 2 es… ndmero pr-moen†onces es complleS†o

2 与i3〉2とれ†onces3-2〉0

3 うIう-3二〇 eh†oncesう=3

4 Si7←2二9eれ†onces7=9+2

5 S' 12 esun ndme「o pa「en†onceses dlVISibiepara 2

3・ De†e「mine el valo「 de ve「dad de las s'gulen†es p「oposi⊂iOneS.

重 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 Siv(p)=Fy v(q)= ∨,DetermlれeV(p→q)

4. CoれS†「u一手ia †abla de ve「dad cor「espondlen†e al cond'Clanal y a la negaci6n de la cout「asecc16n !Qu6

COnCius16n se puede ob†ener?

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

MS⊂・ Paco Bas†idas Romo & o†「os.    15         Proposiciones Ca↑eg6「icas


Dosp「oposicionessjmples,Pyq,SePueden coordiれarPOrmediodelaspalab「as 兀/0.“pロ○○f○○調q「

uれap○○pOきic毒nco爪甲es†Q 薄 -ナ F F < V 妬-リ.ヲ6祐V庸6FV薮6F Y ノ-ニX V752

「印「色seれ†opo「、’pvq’.YSe 坊X h w 程 粨 U6V6 踐6X V ヨ&吐 觀ニ踐ヨ( VVFVY


」里些竺聖二」
1. De†ermlne el valor de verdad de las sigu'en†es p「OPOSiciOnes COmPUeS†as

巨5・mb6-・「

Elv(p!q)=Fparalap「'me「ayCl’artaCOmbinaci6n16gjca.yv(p!q)=Vpa「a†odaslasdemds

CO爪bjnocionesi69icos.
i 打批要望」

1. De†e「n_川ne ei vaio「 de ve「dad de las s'gu-en†es p「opos-C-OneS COmP=eS†as・

1 -1Oes en†e「O POS'†'VO6 -1Oes en†ero

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. Ha=a「 el valo「 de verdad de ia negac'6n de las slguien†es p「opos’C-Ones COmPueS†as

l・ 10esn心mero par6 10es m心i†申o de3

2 う/3〉8/3 6 5〉 8

3 3/2} 2/う(i2く 5

4 12/4=3 612二4×3

う.-2く-1 6 2〉ま

3・ De†e「m'ne el valor de ve「dad de las sigulen†es p「oposiC-OneS

l.∴S一∨(p!q)= F y v(q)= F.v(p)=?

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)二つ

う SiV(p)=FY V(q)= F,De†e「minev( (pとq))

4. Cons†…一口a †abla de verdad pa「a la negac'6n del b'COndlC'OnaI y pa「a la d-SyunCi6n exclus'Va. `Qu6

⊂OnClusiOneS Se Pueden ob†ene「フ

重.8. SiNT∈S│S DE LAS OPEBAC│ON∈S L6G│CAS.

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

Sfn†esiS de †odas las operac'OneS ln†e「sec†'VaS e ln†e「d’Syun†'Vas.

OPERACrONESL6G│CASrNTERSECTrVAS
OPERAC量るN 儡│MPLES 劔COMpUどう丁A

NOMBRE 僂〇両unci6hl

丁亡農MエNO 兀 …SSi…

Op∈露人DO慮 閉 箸 (-〉

P p^q ' p/q ァ pぐうq

∨ ∨ 巴 F 巴 ∨

∨ 侘イ F F 巴 F

F F 巴 ∨ 巴 F

戸 巴 F 巴 F ∨
OP隙ACIONESL(うGICASINTERDISYUNl│rvAS
opE瞳A`工∂N 儡│MPLES 劔COMPUどら丁A

NOM8鼠と 剞驪ウ†e「di5YunCi6hき 認冰蝸X.、6吐 2

丁∈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

g些O eS falso aue.

Algunas de las ope「ac'OneS an†err叶es †'enen dos o mds nomb「es. ios m'SmOS que Se -ndican a continua⊂i6n.

1 Con」unCi6n y/o in†e「secc'6n 2: Ex†e「secc'6n. negac16n conJun†・Va y/o negaci6n compues†a 3.

rn†e「disyunc16n, Negaci6n aI†erna†iVa y/o bar「a de Schaffe「 4. CondielOnai y/o con†「adISyunCi6n 5.

DiSyun⊂一6n一れCIus’Va y/o ex†erd-Sy=nC16n 6: D‘syunc教6n exci=S伯y/o Bid'SγunCi6n.

i ∈J恥鷺筒。S i

l De†e「mine eI valo「 de ve「dad de las sjg川en†es propos-Ciones compues†as.

1. Un cuadr最i†e「o no †lene 3 lados slnO 4

2. Ni QultO川LimaeS lacapI†ai de CoIomb'a

3. Qui十〇れO es la capital dei Perd †ampoco de CoIombia

4 ∪れ†「i6nguIoれO †'ene 4 lados en†onces †一ene 3 Iados

5 El me†「o no es una u印dad de masa ni de volumen

6 Noesverdadque2+4=6†ampoco2+4=5

7言≠ 0,5 en†onces 2/4二〇,う.

8 23 ≠27en†onces2×2×2=8

2. Ha=ar ei valor de verdad de la negac16n de les s'gu'en†es p「oposiC'Oれes COmPues†as

I Ei m6duIo de laadic16n no es OslnO 1


2. Un dnguIo 「ec†o no †ieれe 9OO s'nO 450

3 3/2≠2/3nI2/4=4/8
4 El ⊂ero nO eS un ndme「o positlVo nl nega†iVO

5. Un cuad「ado no †Iene †「es lados †ampoco dos

6 Ei O no es posl†NO †ampoco nega†lVO

7 2 no es ntime「o p「imO en†onces es compues†o

8. 6 no es mY○○que4 eh†oh⊂eS 6-4 〉0

3. De†erm'ne ei valor de ve「dad de ias s-guien↑es p「opos'C'OneS


CAP壬丁Uし0 2

POLrNOMrOS BOOLEANOS

2.l. VAR工ABLES L6G│CAS.

∈れ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・

Se lhama variable. en ma†emditlCa, a ias le†「as mlndscuias x. y, Z; que 「eP「eSen†an一ndiS†川†amen†e

cuaiquler ndme「o de lln COnJuntO de†e「m'nado (pueden †omar d'feren†es vaIores)

Ejemplo: En ia exp「esi6n x ・ 0 = ×, S'endo el conjunto …'VerSO Ios n心meros natu「aIes, la lct「a x es

una varlable卑O「que Puede †oma「 ⊂uaiq…e「a de los vaio「es de dICho conJ…†o

Sel厄mava「iable169icaalasIe†rasmindscuIas:P.q,r;COnOSinsubindices・que∴「eP「eSen†an

indistln†amen†ea cuaIquje「p「oposici6n,de un conjunto dado(Pueden designar dife「en†es

p「oposicjones).∪れaVariable16gicaseconoce†ambichconelnomb「edeinde†e「mjnada.

[重工〇〇〇〇十。^。 ←[≡重工
Qu・†o es la ⊂aPl†al del 〔cuador y Lima eS†d en Perti

Un †「idnguIo †'ene 4 lados y un cuadrado †'ene dos lados

Msc. Paco Bastidas Romo & O十〇〇s.     21          Polinomio BooIeano


椅漢
書喜
田患
SOしUC工6N
「珊α魔。S 「

1・ Ha=a「 ei vaIo「 de verdad de los s’g=ienteS POlmomlOS booIeanos:


PO
P

廿
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

E同dmero †o†al def'lasque †一enela†abIaes 2ny n = 4. Porsus†i†uc16n, 24 = 16

Pl †lene 8Vy 8F La†abla †lene 16 flIas (8 + 8 = 16)

P2 †ieれe 4V y 4F (dlVldiendo 8 pa「a 2). has†a comple†a「 la †abia (16 filas)

P3 †一ene 2V y 2F (d一∨一diendo 4 para 2), h。sta COmPle†a白a †abla (16 flIas)

P4 †Iene lV y lF (dlVldiendo 2 pa「a 2), has†a comple†ar la †abla

Eje叩Io 5. C川CO VO「-qbIes (ql, q之. qらq4, qう)

[(勺l¥q2)<(q3 /q4)]^ qう

Ei ndme「o †0†al de f-Iasque†一ene la†abiaes 2ny n = 5 Po「sus†l†uc16n. 25 = 32

ql†lene 16Vy 16F La†abIa†iene 32 fIlas

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
薩田圏

l. Cons†「uya la †abla de ve「dad de los sigulen†es poi'nOm-OS booleanos:


∨ V Fi 〇十 〇▲
F   亡 i V V   ( 3
∨ ロi V 置i.重
V V V   声 i   ( ∠
∨ V 胃i 亡i l
∨ エi V 胃i
V V   さ i   亡 子

喜三三二]
∨ - ﹁   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

Ce○○ada o abie「†a, Se =aman ci「cuitos de ⊂onmutaCi6n.

La posici6n ce「「ada se s'mbol'Za PO「 ON (conec†ado) y Ia∴abier†a por OFF (desconec†ado), un

'n†e…P†or∴Se enCOntra「d cer「ado o ab'e両O y …Ca en POS'C16n 'n†ermedla La∴S-9u'ente f'gu「a

mues†「a una dlSPOSiCi6n grdf-Ca de uれCOnmu†ado「 ('n†errup†o「)・

Interruptorce「「ado Pイ二 p二二In†e…P†o「ab・e「†o

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.

S- Se aS‘9na una P「OPOS'C'6n p ai conmu†ador se †一ene qUe. P eS Ve「dadera∴CUando eI conmu†ador es}d

⊂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

es†o「釧ON po「叩ue funciO爪e)

2.5.3 C│RCU│TO DE DrSYUNC工6N INCLUS工VA.

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

COmPue「†as 16g-CaS, POSeen una o mds en†radas y una sal`da.

2.ら.l. ADICr(うN O SUMA L6G工CA (Oゆ.

Tambich se l ama operac-6n OR o simPlemente OR. Cor「esponde a la d-SyunCi6n mclus一Va en '6giCa y a la

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

P V q. que 「eP「eSen†a el es†ado de la ldmpara

2 6.2. MULT│P此AC工6N O PRODUCTO L6G│CO (AND).

Llamada †ambien ope「acI6n AND o s-mPlemente AND‘ Co「responde∴a ′a∴COnjunc-6n en 16glCa y a la

'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

Sallda p ^ q que 「ePreSenta el es†ado de la 16mpara・ Sl’reP「eSe血C-6= g「dflCa eS

二二か-輸→p^q :工㌔
2.6.3. COMPL∈MENTAC│6N O rNVERS工6N L6GrCA (NOT).

Se denomina †ambi6n ope「ac'6n NOT. Co「「esponde a ia negac'6n en i6g'Ca y a la ope「ac'6n compiemento

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「†as i6g-CaS COmO NAND. NOR. ×OR y XNOR.しa∴COmPue「†a NAND es la nega⊂'6n de Ia

COmPue「†a AND La compue「†a NOR es ia negac16n de complle「†a OR工a compuerta XOR co「「esponde a

la diSyUnC-6n excius'Va y la negac'6n es XNOR

2.6.4. D│SE内o D∈ CIRCU│TOS L6G│COS.

A menudo es necesar10 COmbinar las compuer†as 16g教CaS Para 「ePreSen†ar c一「Cui†os mds compleJOS. de la

5i9UIen†e爪one予Q

EjempIo I Dise稲「un ci「cu'†o 16g'CO Para - (p vq)

Soluc16n. Recu6rdese que los pa「ch†es'S lnd'Can ia operac-6n a efec†lla「Se en Primer Iugar.

∈jempIo 2: DiSe和「 … C'「Cu'†o 16giCO Para -P^ -q

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.

-P V -q El eJe「C'CIO 16 es equlVaien†e a: P V q. El eJe「C一⊂'O 17 es eq…a-ente a声q v P Las

equivaIenc'aS an†e「iO「eS Se eXPl'Ca「dn en el sigu`en†e cap行o-o

4. Cons†「llya … mentefac†o pa「a (評Cu'†os de conmu†aci6n.


CAPrTULO 3

慮ELAC│ONES L6GrCAS

3.1. PAR OpD∈NADO.

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

Ejempios:    (2,3) 2 es la primera compone両e y 3 la se9unda

(-5.6) -5 es la p「1me「a COmPOnente y 6 la se9unda

(V,F) V es la prlmera COmPOnen†e y F la segunda

3.2.工GUAしDAD D∈ PA只管S ORD∈NADO与.

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

po「 Si爪b6iiCO爪飢†e se indiCO de iQ S-9u-en†e mne「Q:


C建)
的∴ ︻哉陣∵的映 は匪国雄売涯

の∴∴〃八〃二村言出
子 、

V
V
V   ○ ○ i   置 i

F
V
F
W個W細冊壷 ∨

間借膚時化作 出仕什∵時
り出∵男い∵円い 男の小二り

F V F V F P
DoS
C

爪e
c

四囲圃覇
材質竹原

日日∴用言り
佳作二叶ふい
pい h嶋 へ嶋∴D

 ∨ ∨ ∨
(

1 2   継   I 4   1 ぅ

-

I






¥

Dospoiinomiosboo=anosP(p.q....)yQ(p,q‥.)sondependien†essisep「esen†allna.doso†「esdelas

Cua†rocombinacionesI6gicas,en†relasco 遊ヨ 8 VW7Vネ V F FVニ 7 ニ匁 ヨ薮6F F 2 W&W VW6V V

deh5i9uie而e爪one「αP(p.q,...)与Q(p,q.. 鋳ヌ VニVX FVヌ &踐ヨ柳& ニ 踞 ヌ ネ 2妨6FW V襷坊 VR

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

PO「 lo †an†o son 'ndepend-en†es Generaimen†e, Se indi⊂a de ia s-gu'ente manera

[(PVq)^ P]%[(「^ P)J「]   o P(叩, )〆Q(p.q..)

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

Ve「怖coque色IcQSOeX⊂iui 尾U6T宙 鎚 苧坊ヌ ニ匁 ヨ靖 ヌ ネ 2募 ヌ ネ 2妨7V lィ V X V 柳vf

「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

de圧ipO R8二((∨.∨), (F.F))

3 EI pollnOm-O eS una Cont'ngenCia・ en la coiumna 「esui†ado, Pa「a ei ope「ado「 16g'CO ^

4 pvqヌ’pvq

Msc・ Poco Bos†jdos帥mo &の○○s・    48        貫eIodones I69icos


UnpolinomjobooIianoP(p,q,…)t‘eneuna「eIaci6ndeimpIicaci6n(izquie「da-derecha)conQ(p吋,...),

S亘eve「ificoquee 4 U ヌV芳 W6Vツ 剃b Vヌ U ヨ靖 ヌ 2 ヌ ツ r妨6ニニ V X V 柳v烹

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

4 Po「lomlSmO, (pvq)nolmPI'Caa(-P^ q).esdecm:-(pvq) f(-P ^ q)

∈JemPio 4・ Ve「'f'Ca「 ia lmPllCaC'6n del ax-Oma †「ansitlVO de o「den, en eI conjun†o de ios nlimeros 「eales;

∪二魚. ∀q ∀b, ∀c:∴∴cくb^ bくC二>(宣くC.

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

que no se p「ese州ra eI caso (∨.F), COn eJemPlos numd証cos pa両Cula「es

O)CASO(∨.∨)     (うく9 ^ 9くまう) → 5くま5

V V V V V
b) CASO (∨,F)        No 5e P「eSe血

C)CASO(F.∨)     (6くら^う・ま8) → 6くま8

F F V V V
d)CA50(F.F)     (らく4 < 4く3) -〉 6く3

F F F V 戸

EI caso (∨・F) no se p「esenta・ Se eXCluye Si la pr'me「a PrOPOSicidn es V・ de n'ngL’na manera Se POd「d

Ob†ener u= Valo「 F para la segunda. Po「 o†「o Iado・ en los eJemPios num6r-COS Se Ve「ifiCa. †ambi6n, Ia

†au†oiogfa para eI ope「ador 16g;co si en†onces (→).

3.6.2.1. DrFERENC工AS ENTRE LOS SfMBOしOS → e ⇒.

Bertrand Russell dife「encia ei ope「ado「 condlCiOnaI ( →・ lmPI'Ca⊂i6n ma†er'al en 'a que p y q no co両enen

Var'abies) y la lmPI'CaC'6n fo「mal (→. Cuando p y q con†・enen Va「iables)

1 EI sinboIo → eSunOPerado「 16g’Coy→eSuna「elacj6n '6glCa

2 EI s血boIo → †'ene †abla de verdad po「 defin-C16n La 「eiac-6n 16giCa・ →・ eS llna †au†oIogia sI Se

「eemplaza po「 ei operador I6giCO →.


Unpol周omiobooleanoP(p,q,…)†ieneuna「elaci6ndeimplicaci6n(derecha言zquierda)conQ(叩,…),Si

Se Ve「 貿 VX Vニ6 6 W 9{ニF W2 b蘭V nomioP(pq...)←Q(pq...)esuna†au†oiogfa.

与i同b〔5 ヨV VW6X VY*ニU6V V U ヌ 粐粐惇 .),YSelee“’pinpiicaqD/ri●.


UnpolmomiObooleanoP(p′q′‥)†ieneun‘1relac16ndesubcontradicc'6nconQ(p.qr..)siseverif'Caque elcasoexclurdoesel(F.F)yeipoiinomioP(的,.)vQ(叩...,)esl'na†al'†oiogta.Simb61jcamen†ese

ihiCO言コe 2w VニV觀ニ 觜 V 竍 ヌ 2容 R粐堤 VニVW 7V&6 蹠& H T6V


戸-﹁ F
V

V
∨一i﹁ V

V
V

F   ︽ 十 〇   ⊂ i

亡 i   声 i

F   青 i   戸 i

亡 i

V   戸 i
V 合i ﹁﹁

V
V

V 貫i一子
F

V   さ i
V
F i   亡 i

V
F

V
Fi

F i
F
V

V
2 Los casos exclu-dos son. (∨.F)y(F,∨) La 「elac'6n es de川po: R8ニ((∨,∨), (F,F)). V

諾需品笥諾嵩岩畳誓器霊等需書諾CO y′。 (∨)


Ejemplo 4. De†erm'neS'’-(p±q) ii (- P^ q)

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﹁ V 戸.

⊂ i

戸 i
V
V ・ ︻ ト I   戸 i

V   ロ i   ロ i

F
V

F i

F 言i︰V

V   亡 i

V   戸 i
F   亡 i

V
F

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 (∨)

4. Por lo †an†o. (p! q)no subcon†「ad'Cea (- P^-q), eS dec'「‥ (P! qyV (- P ^ q)

5. La 「eiac毒nes una -mPI・Ca〔読ndede「echaa 'Zqu'erda: -(p! q) ← (- P ^叩)

3.6.5. R軋AC工6N DE CONTRADtCCr〔5N ( !, "‥, COれ十〇adice …)

UnpoiinomiobooieanoP(叩,…)†ieneunareiaci6ndecont「adicci6ncon∴eipoijnomioQ(p.q,...)sise

Ve「ificaqlleloscasosexcluidosson(∨.∨)y(F,F);yelpoi 冶 ゥ{ニ ヌ 2 e gメ粐笆W7V蹂 YJx X エ ウ貿

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
戸   V

亡 i   胃 i

貫 i

V   ロ i
V

○ ○   戸 i

V ・ ∨ 一 ﹁   ⊂ i
V   亡 i   さ i   ⊂ i
V   ︻ i ﹁ 一 手

F
F

V
V   亡 i

V   亡 i
V

F
F
V
F
V

V
V
V

UnpolinomiobooleanoP(p.q.…)†ieneuna「elaci6ndeequrvalenciacaneIpoljnom'OQ(p,q.…)sise

ve「if †ou† VVニ 8 4 X U 遊芳 8 4 竏 墜b嵐 ネ 鋳逞6坊 末踐ヨ % ツ X R リ爾 2妨7V

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

4. Generalmen†eseusael sinboio = ene=ugar de ⇔,COneI miSmOSIg用flCado Pe「o. …nCa ⇔ en

e=uga「de←〉 EIsfmboio⇔Selee’」 equlVale ’1 0 11 esequiValentea ll

「 ∈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

†enga un nomb「e def…do mdlque e同po de la 「elaci6n a la que pe「†enece.


欝⋮
i 珊C隔oS l

l. Ve「IflCar las s'gulen†es reIacIOneS de equiValencla, medlan†e †abIcIS de verdad

2∴4∴`∴8∴畑︰ 14 1` 鳩

Oi
慮ELACIONESし6GICAS

TエPO 比 ヤ(週R S壬M80し° 播 X+T D師事N工C重くうN 4 +UX DD

│MPL│CACI(5N(工/D) ? ? p → q 、 Y)、 d y (∨.F)


丁R]Pし∈与 六 〇A ネ ANTITAUTOしOG壬A 宙 鎚 鋳
rMPL│CACI6N(D/工) ノ? P ← q 疋 UD ト t (F,∨)

SUBCONTRAD工CCT6N 亶ネ b P V q 、 Y)、 +T y (F.F)

DOB」とS ・$ Hヤ 8ヤヅ ∨ 丁AU丁OしOG主A 宙 鎚 苧嫡b臙


・⇒ 〇 三 ネ ' TAUTOLOGfA 宙 墜b嵐 鋳

EQUrVAL∈NC│AS LOG工CAS
NOM R 僥ORMUしA

LNe9GCi6nd†e「no 薬 NA 之ツ (p†q)= (p^q)二 pV-q

CS 悩Eb (p¥q)二一(p→q)

5S 粘2 (p/q)≡ (p←q)

4・Ne90C竜hCOnjun† NC 粘B (pJq)二 (pv勺)二 P^当

5.DisYun⊂i6nexcIus DE ク*B (pyq)=-(p〈,q)

6、5ubdiγuれC毒h 儡 之 (p←q)二PV(p⇔q)

しB ウr (p⇔q)=(p-〉q)<(q→p)

C 粘 (pうq)=-PVq

9.Conj…C毒n 粘 p^q= (へpV q)

10.DisyuれCi6nin⊂lusiva 粘 PVq二 ( p<-q)

ま1.Negocj6noI†e「no 薬 之ニツ 録P三三p†p

12・Ne9cC竜nconjun カ p=pJp

A 粘 2 PV(p^q)≡p

A 粘 B P^(pvq)二p

まう.Re⊂fp○○co 粘 *B P→q= q→P/p→-q≡q→ 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

†ienen eI miSmO VaIo「 de verdad o num6rlCO

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

equiValen†es po「que ambas se pueden s'mPiifiCar a 3/4

La 「eiacI6n de eq川Valencia eS un COnCeP†o fundamentai de la ma†emdtica, PO「 lo mlSmO, a COn†周uac'6n se

analIZan aigunos de sus elemen†os y api-CaC'Ones m6s lmPOrtanteS.

4.2.瞳孔AC暮らN DE EQU工VAしENC工A ( ⇔,…;... cquivoIe o …)

UnpoiinOmlObool' queloscososexc 「印「e5e巾OPo「:P 踞 ヌ ネ 8 T坊觚V隧 T 4尾襷VW Vナf 坊 ト 覽 ニヨ ヨ枇 54 UfX Vニfト6

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

l p^-P=F      2 pvV=V       3q^F=F

4 qv-q=V      5 (P^q)^-(p^q)二F    6. (p⇔q)∨∨=∨

謹告:浩二F 講評嵩,=F 諾謹言
Msc. Paco Bas↑idas Romo & O↑○○s    62       f`e'ac16n de equiva'encia
∨ V F 胃i
V F   胃 i F
V   亡 i V   言 i
C V V V V
2. Seexciuyen el caso (∨,F)

3. ∈l poilnOmio es una con証ngenc・a Para ei blCOndicionaI. en la coIumna 「eslli†ado

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「

(p v q) La sus†一†uc'6n debe ser en †odas las va「labies.

[」聖堂竺竺_ ○ ○」
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

5.pvF=P.S- P.P→q           6 pvV V,S甲へ(pyq)

7 p^-P二F.s'P.PVq             8 pv-P二∨, S'P.P^q

4.5. TEOREMA: SUSTFTUCt6N DE EQUlVALENCrAS (SE)


V
V

戸   V
V   戸 i

∨ ロi 〇十 F

V
︰ V   戸 i   ロ i

V
F
V

V
V   戸 i

F
V ︻﹁
F i   貫 i

F   仁 i
V   亡 i

V   戸
V

V
F

F
F
V

V V V V,
戸.∨-﹁ V
F

〇 F
V   言 I
∨ 亡i

V
-

V   胃 i
i﹁
 ∨ 

V
V

V   言 i

V-ト ロi

V
V ⊂i

V
F

V   〇 〇 〇
V
V
V
F i
F

V
F

」上J的偶。S 」

l VerIflCa「 el †eo「ema sllS†ituci6n de equ’Valenc・as (SE) en ias s`gulen†es reIacIOneS:

1・ -(p^q)⇔叩∨ q.S'-PV q=P→-q    2 -(pvq)⇔-P^-q.Sl-P^-q=PJq

3. p→q⇔ -PVq.S-P→q ⇔ -q→-P    4 p†q= (p^q).s'(-PV-q)≡-(p^q)

5両二-(PVq).s卑しq = -P′ -q     6 (p‘q)二 (p<-q).s' P^∨二P

7. (p⇔q)⇔(p→q)^(q→P).s' -(p判)⇔(p→q)^(q→P) 8. (p! q) ≒ (POq). sl q V F=q

9 -(-PV-q)⇔ (p^q),S'P^q≡ (p†q) 10 -( P^-q)⇔(pvq),PVq… (pJq)

Msc. Paco Bas↑idas Romo & Ot○○s      65         ReIaci6n de equjvaIencia


Todaproposjcj6nesequlValenteasimisma.Enfo「masimb6"caseescribedelas亘申en†emane「a;

∪二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   合 i   亡 i

F
V   亡 i
F
V

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))

Se P「eSenta el caso (∨・∨) de la p「op'edad †「ans'tiva de la 「elac'6n de equ'ValeれCla.

[二重コ
1 Ve「'f-Ca「 las s'g…en†es propiedades:

l RefiexiVa.P^q=P^q          2.RefiexiVa. PVq=PVq

3 S仰封「一Ca: P"⇔ (poq)= (poq)⇔ P幻  4.Ref′exiva‥ q=q

認豊富若二言字詰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:

1. T「aれSl†lVa. ((- P V-q) ⇔ (p ^q)) ^(-(p^q)⇔(p†q)) → ( PV q)⇔ (p↑q)

2 Transit'Va. ((P")⇔ (p oq))^(-(p⇔q)⇔へ[(p→q)<(q→P)]}臆〉{(pyq)⇔ [(p→q)^(q→P)D


3・†「ons面VO:(( pV q)⇔ (p∧勺))< ((p<q)⇔(p†q)) →((-PV 勺)⇔(p†q))

4.7. ALG∈BRA DE PROPOSrCrONES.

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

abs†ractas no necesarramen↑e numdr'CaS nl SOmetidas a 'as ope「acIOneS arl†m轟cas fundamentales

En gene「ai・ Se l肱ma Algebra de p「oposiC-OneS a has operacIOnes: COn」lln⊂l n, d syunc-6…CiuslVa y negaCI6n.

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

Msc. Paco Bastidas Romo & 。'「os    68       ReIaci6n de equivalencia


∨ V F F
V V V   戸
V   ⊂ i V F i
一 V V V V
V 戸i V一﹁
∨ ∨ V F
V V一〇i 胃i
V Fi V Fi
V V   言 i   戸 i
V

∨ V
V

F
V

Fi
V   亡 i   戸 i   声 i

V
V 亡i ロi

V V Fi

F
亡 i

合 i   亡 i   亡 i
V

F
V   ロ i

F
V

Fi

Fi
亡i

亡 i
F

En los cua†ro casos se ob†ienen eq=rvalenc'as. POr lo †an†o.

P^∨≡P P^F≡F PvV=V PvF=P

「眼餌。S i

l. Ve「iflque las slglllen†es leyes del dIgeb「a de p「oposiCIOnes, medlan†e †ablas de ve「dad

l Asocia†iVa de la dlSyunC16n inClusiVa

2 Dis†「'bu†iVa de la disy=nCi6n 'nCius一Va 「eSPeC†o de Ia coれJunC'6れ

3 Co爪piemen†o

4Mo「90n

4.7. 2. DEMOSTRAC│6N DE T∈OREMAS.

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.

1 (P V P)^q⇔ q^P.dualde11        2. -P^q⇔-(p v q).duaideI4

3 (P^-q)∨( 「<P) ⇔ P^-(q^r),dualdeI5   4 (P^q)∨(p^-q)= P,duaide16


︰ V V F i F
..V V V V
V F V-﹁
∨ ⊂i F 戸
V V F Fi
V V   ⊂ i F


羅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

3 (PVq)∨[p^(「vq)] = [(qvp)vp]^[(PVq)∨(「vq)] Conmu†a†lVa

4 (pvq)∨[p^(「vq)] = [qv(pvp)]^[(pvq)∨(rvq)] Aso⊂ia†'Va

5- (pvq)∨[p^ (「vq)J ≡ (pvq)^ [(p vq)∨ (「 vq)]  Idempo†en⊂一a/Conmuta†'Va

6 (pvq)∨[p<(「vq)】 = (pvq)           しS

4. DEMOSTRAR. (P^q)^【pv(「^q)] ≡ P^q    (TeoremaduaIde1 3)

PQOPOS工CTO N ES BAZONES

l (p^q)^[pv(「^q)] ≡ (p^q)^[pv(「^q)]    AxI ReflexiVO(=)

2・ (p^q)^[pv(「<q)] ≡ [(p^q)<P]v[(p^q)^(r^q)] D'S†「lbut'Va

3 (p^q)<[pv(「^q)] = [(q^P)^P]v[(p^q)^(「<q)] Conmu†a†'Va

4 (P^q)^【pv(「<q)] ≡ [q^(p^P)]∨[(P^q)^(「^q)] Asoc'a†一Va

5 (P ^q)^ [pv (r ∧ q)] ≡ (P^q)∨ [(p ^q)^ (「<q)]  Idempo†encla/Co…ll†a†lVa

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 「

重. De調os†「o「 Ios si9国en厄5 †eo「e調os

l -[(p v p)<勺〕⇔ (p†q)

3.(pv「)<-p =-P<「

5」(p<q)^可∨(p^q) ⇔ -( PV-q)

7 -[(-q→-p)<( 「Vp)]二 p^(qv「)

9 (「ゞq) ≡ [(「^∨)⇔(qvF)]

11. (p^∨) ⇔ p†(p<∨)

13・ -[(pvq)<(pvへq)」 = p†p

重5  [(P^P)v「]二手Jp

ま7 -[-「<q】⇔「→q

19・ [(pvq)^ p」 = -p→ q

2ま(「vF)<[qv(Fv「)]臆 (「†「)

23 ql<(q2Vql)≡勺1

2う言-〔(「vq)<q]⇔いq
27  [(qv「)<q]=qJq

29 p^q二p<(一pVq)

4 7 6. I2∈DUCCt6N A NEGAC16N ALTEDNA│tVA.


;二か→p∧ q

こ二秒→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 ネ薰

5.工den† 柳B X I? P・0=0 ク H蓼 B P+0三p

`・Co爪pIe爪飢†○ 剳 X而 ? 「 -(-p)二p Rラ ? -主0「へ0二重

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

l. (pvq)∨[p^(「vq)] ≡ (pvq)∨[p^(「vq)]      AxI ReflexiVO(=)

2. (pvq)∨[p^(「vq)]三[(pvq)vp]^[(pvq)∨(「vq)] D’S†「'bu†iVa

3. (pvq)∨[p^(「vq)〕 = [(qvp)vp]^[(pvq)∨(rvq)] Conmu†a†'Va

4 (pvq)∨[p^(rvq)] = [qv(pvp)]^[(PVq)v(rvq)] Asoc'a†iVa

5 (pvq)∨ [p ^ (「vq)〕二(PVq)^ [(pvq)∨(rvq)]   │dempo†encla/Conmu†a†1Va

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

CO而en'do en ex†ens-6n en ei conJl’n†o Q・ en†「e o†ros・ med-an†e la expres'6n p → q Po「 eJemPIo. x es

quitefro lm坤Ca que X eS eCua†orIanO

La 「eIac-6n de 'mPllCaC-6n es un ⊂OnCeP†o fundamen†al de la ma†emd証ca. por lo mismo. a continuac16n se

analiZan algunos de sus elemen†os y api-CaC’OneS mds lmPa「†an↑es

5.2. RELAC16N D∈ rMPLJCACr6N r/D ( ⇒,.. impIi⊂a …).

∪れPOllnOmiobooiianoP(叩,‥)tiene…a「eiaci6nde 儲 ニ 6吐竊立 V帽 VF ヨFW&V6 ヌ ツ粐竰 R

Ve「ificaqlIeelcasoexcluidoes∴eI(∨,F)yeIpo 末 ゥ{ニ ネ 2 X R笘ハ躔蹂 V X V 訳几

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聞軍国

∪=argumentoesCOnSis†e而ecuandoIaconJunC 吐襷Vニ 7 VVヨ 2 VV6VFV VR末ラ 末6 ニ 6 ニ邑6吐

(consecuen†e).Simb61icameuteseindi⊂adelas 痘V坊 VY-ニF觜 S イ


園聞
P(p,q) Q(p.q)

甫 ㈲


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「

1. De†e「mlna「 Sl los siguienteS a「gumen†os son consiS†en†es o lnCOnSiS†en†es

I pvq     2.一一 P     3. (p^q)∨((p^-q) 4   qvp

q q          ∴ p qV P

∴∴q<p       ∴ -(PV q)               ∴∴q

う・ PV「    e PVq     7・ p      8  p<q

qv○        ○         (-p^q)       p

∴ (p^P)∨「    ∴ (P^「)v(q^「)  ^ P Vq       ∴∴-P^q

9・ -(p^「)   1〇 一(pv 「)  11 pど「     重2. p→「

PV「        ∴ ̄P^r       ^ P<÷「           P

∴  p i’i「→P

13. -PVq    14 -PVq    15 p±q     16  p→q

J.q→P       ∴ P→…q    ^ -(P(うq)      p

・’・  ̄q-⇒ ̄p

17   p→q   18   p^q   19  p→q    20  p

∴  ̄pVq        ・、 pどq p q

∴ q            ∴ p<q

Msc. Paco Bas↑idas komo & O↑○○s      85         Relac'6n de impIica⊂i6n


… ㈲
V

V︰V

F ﹁ V一V
V   ロ i

F   貫 i
V

V   さ I

∨ V F (﹁
V   ︻ i ﹁   ⊂ i

V
F

F
F
V

V   亡 i

V
V   貫 i
V

V
F

V
V

」聖堂竺三三二二]
l. De†e「mlna「 Sl los s-guien†es argume巾OS SOn Ve「dade○○s o falsos

I Ud va a la un'Ve「Sldad o †「abaJa Si Ud va a ia llniVe「S'dad, †end「d un sueido mdsal†o No †lenen lln

Sueldo mds al†o Po「 lo †an†o, Ud Trabaja

2 Si 4 es…ndme○○en†ero en†onces esna†u「aI E1 4es en†ero Po「 lo †anto e1 4es natu「aI.

3 S'eIochoesd(g'†oen†oれCeSeI4†ambi6nloes El⊂ua†「onoesd(g一†o Po「Io†an†oe1 8れOeSd匂'†o.

4 EiO′5esmeno「qLIee10‘8y/oeiO・8esmeno「quee10,5 E10,5noesmeno「queeiO,8 Po「 lo†an†o,

ei O,8 es爪eno「勺ueei O.5

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

5I ei 3 es no†u○○I en†onces e5 「○○上

6 EIO′3esmeno「queO・1y/o 4esmeno「que7 S10.3esmeno「q=eO.1en†onceseI lesmeno「que5

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

7 Sl Ud no †e「mlna SU debe「. en†onces eI profesor le pond「6 una∴Cai-fiCaC16n boja’一Ud ob†'eれe una

buena∴CaI′f′CaC-6n. De donde se con⊂iuye que Ud †ermin6 su deber (Suponga lQ P「imera PrOPOS-C16∩

Ve「dadera y la segunda falsa)

8 S川ueve. en†onces Carios enferma「d No =ov-6 Por Io †an†0, Ca「ios no enfe「m6 (SuPOnga las dos

PrOPOS' C' ones Ve「daderas).

91 Sivamos aI c個e en†on⊂eS ie compro un heiado No le comp「o un heIado Concius16n, VamOS al cine

(Suponga la p「lmera P「OPOS'C'6n verdade「a y la segunda faIsa).

10 EI ce「o es un ndmero na†=「aI. Por lo †an†o el cero es natu「al y/o ente「〇

五Un esposo Ie diCea ia sefro「a S' Se CO「†a ei cabe=o entonces se verd bo川†a La sefro「aconcIuye. Ya

no me qu'e「es (Suponga las †「es p「oposICiOneS Ve「daderas)

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

Pag6 del †e16fono (SUPOnga las dos p「oposiCiOneS Verdaderas).

Msc. Paco Bastid。s Bomo & Ot○○s      87         Relaci6n de implicaci6n


V
V 戸.合i
V

∨ V

V
∨ 亡i

∨ 亡i

∨ 亡i
V

F
V
V   戸   F

V・∨
F

V ロi
V

V
F i   言 i

F
F
F

F
V
F

Se ob†'ene una 'mPllCaC16n. el caso exciu・do es (∨. F) y pa「a臆) Se †一ene una †au†oIogfa. Po「 Io †anto la

imPIiCaCi6れSubs'S†e al sus†l†ul「 P ^ q POr∴ ( p † q ).

」三三竺竺」
羅擬轟

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

コ   コ   P
・う・67・89・10
∨-﹁ 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).

La 「egla de adJunC'6n †一eれe ei s-gu'en†e esquema gene「ai

q El esquema deI argumen†o anter10「 CO「「eSPOnde a llna equ'Valencla Sim♭dicamen†e

P ^ q Se川diCadelaslguien†emane予o“ (p^q)⇔(p^q)

5.9」0. LEY∈S B│CONDrC│ONAL∈S (LB).

Las ieyes blCOndlCIOnales tienen dos esquemas generaies.

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

COnCiusI6れS'mb6i'Camen†e se lndica de la s'gu'ente mane「a:

(p→q)^ (q→P)≡(p⇔q)    (p⇔q) ≡ (p→q)< (q→P)

「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)

5・- DEMOS丁食AR: (p ^勺) →「;∴-「 ∴ q

PRoPOS工C工ONiS
ま. (p^q)→「

2  「

3  [ (p<q)]∨「

4 (p^q)∨「

う p^q

6 q

P○○Io†on†0.([ (p < q) →可^-「) ⇒ q

[二三三三三二二]
」上竺批鷺。S 「

]. Demos†rar. deriVando la concIus16れmedia巾e el m6†odo de 「educc16n al absu「do.


l ∈J恥エC工。S l

l. Ve「iflque・ med-an†e †ablas de ve「dad・ que la diSyun⊂i6n 'nCiusiva de las hlP6tesiS Pa「Ciales lmPliCa la

COnClusi6n Luego. demos†ra「. de「教Vando la concIusi6n median†e el m6†odo de casos.


」_里∈聞鷺。与i
l. Ve「lflque. medlan†e †abIas de verdad, el contra recfproco de las slgulen†es reglas de mferencla.

1 Modus Ponendo Ponens                2 Modus ToIlendo Tollens

3 Modus To=endo Ponens                 4 Modus Ponendo ToiIens

5 SlmPliflCaC'6n conJun†'Va           6 Regla de ad」unC16n

2. Demos†rar, de「lVando ia conciusi6n medlan†e ei m6†odo co而「a reciproco

重.-pVq, qVp∴ p⇔q              2 (p^ q);q→p ’ pぐうq

3 -((P→q)^(q→P));-(P†q)∴ (P±q)<(P^q)   4 -PVq,q→P... POq

5.-(q→P) -((-PVq)^(P<→q),( q→-P)^-(P! q)) 6.-(PVq)当P, -(p†p), -(PJp))

7 (p→「)・・-((p→q)<(q→「). ( q→-p)^(-「→-q))  8. p,q∴ qVp

Msc. Paco Bas↑idas Romo & (汁○○s IOI Bela⊂i6n de impli⊂aC16n


EjempIo 2. Sea P(n) la afmac-6n de que lasuma de los n pr-me「OS en†eros pos'†'VOS eS 'gual a ia m一†ad del

PrOdu⊂†o de los ente「osれy (= + 1) ∪硝zando simboios, Se Puede exp「esa「 como:

P(n)・重+2+3+ +n二n(n十重)/2

1. La p「opledad se cumpie (es ve「dadera) para n = 1.

h= 1       1=1(1十1)/2  1二重

2 SesuponequeIap「opiedad es v6l'da pa「a n二k

n= k          巨2書3+…+kニk(k→1)/2

3. Sesuponequelap「op-edad secumplepa「a n= k+1,

巾二k← 1     1+2+3+ +k→(k←1)二(k+1)[(k+1)+1]/2

h=k← 1     1+2十3、 +k+(k+ま)=(k十1)(如2)/2

Se demues†「a que Ia valldez de n : k ⇒ la valIdez de n = k+1. u帥zando el m封odo dl「eC†0

1+2十3+ k二k(k+1)/2 ⇒ 1+2+3+ 十k十(k十1)=(k+1)(k十2)/2

Hip6†esis ⇒ †esis

PROPOS│CtONES RAZON∈S
l l十2+3+ kこk(k+ま)/2         Do†0

2工+ 2+ 3 + k+ (k+l) = k(k+1)/2 + (k+l)  AxiOmaadl†'VO (二)

3.1+2+3+ k+(k+l)=頂(k+1)+2(k+l)]/2 SumadefraccIOneS

4 1+2+3+ k→(k十1)=(k+1)(k+2)/2   Fロc†○○com血en2

Po「 Io †an†o, 1 ◆ 2+ 3 ← n = n(n+1)/2. se cumpie pa「acuaIqu'e「 Valo「 de nen†ero pos一†'Vo

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

川du⊂Ci6n ma†ematica El unive「so es el conJuntO de los en†e「os positivos


園田四囲隔
惜臆園田賀輸照的

」竺」
1 ・ Demos†「ar・ Ias sigulenteS equlVaIencias med-On†e dos -mP-i⊂aC-OneS

ま214鳩1820
CAP壬丁UしOら

PROPOS工C│ONES CONDrC│ONALES (AB│ERTAS)

6工│NTRODUCC工6N.

En el slgu'ente eSquema Se Presen†a la clas'f-CaC-6n general de las p「opos'C'OneS.


S- P(x) es una propos’⊂一6n abie「†a en “×l“ y “a” es una coれS†an†e. se "cma valo「 de ve「dad de p(×) pa「a Ia

COnS†an†e ’’a-I. a la exp「es'6れOb†enldo de p(x) al sustl†u一「


l PROPOSIC16N C恥腑. 3。Sunn。m。,。dfro。 ∨(., = ∨一±二田

2 PROPOSrC│6N ABrERTA SrMPLE


P(×) × eS un ntime「o dfgl†o
l 顔E批鷺。S )

1. S一∪二D Ha肱「 ei conJlln†o soluci6n de las sng='en†es fo「mas p「opos'CIOnales


0

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孤軍∝ 「

1 Si eI U = D・ ha冊子el conJuntO SOIuc'6n de la negacj6n de ias s'gu'enteS fo「mas p「opos-Ciona-es

l p(×):×>7    2 q(×):×<3     3 p(Y)・ y>4    4. q(Y)・y<4

5 p(z):Z>6    6 q(z):Zくら     7 「(y):y<7    8. 「(z); Z>8

9 「(z):Z<0   10 p(y)’Y=4    1まq(z)・ Z≧6   12.予(z):Z≦う

Msc・ Paco Bas↑idas Romo & Otros llO Proposiciones condicionales


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.

1 p(x) x:7′q(x):×=4・ 2 q(×)=3,P(×)lX>1  3 p(x).×≧6.q(x):× <9

4 q(×) ×≦2・p(×)・×→ま  う p(Y)・ Y≧3′勺(Y)・ Y≧8  ら q(Y)・Y≦1.p(y):Y≦4

7 p(王) z≧4・q(z) z≧ 2  8 q(z)・之≦ま.p(z) z≦重  9 p(×)・×二〇.q(×).×二8

2 S' ∪二D・ P(x); × ≧ 6′ y q(x). × < 9. Halla「 eI conJuuto SOlucich de ias slguientes propos'CIOneS ab'e「†as

l・ -p(×) ^ q(×)     2・ p(×) ^ q(×)     3へ[p(×) < q(×)〕

Msc. Paco Bas↑idas Romo & Cmos l12       Proposiciones condicionales


i ∈J∈峨貫。ニコ
Dosproposicionesabier†assimples,P(x)yq(x),SePuedencoo「djna「pormed‘odelasle†「as.iy/o“,Pa「a

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

l p(×) ×>2.p(×) ×>2   2 q(×) ×≦3,p(×)・×<う  3 p(Y)・ y>4,q(y)● Y>7

4 q(y)Y<3, p(Y)・γ≦0   5 p(かz>う,勺(z); Z>4  ら q(z):Z< 1. p(z)乙<4

7 p(×)・×ニ7,q(×):×こ4   8 q(×):×二3.p(×):×>ま∴∴9 q(×) ×>3.p(×):×<1

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

l -P(×) v q(×)       2 p(×) ∨ q(×)       3.十p(×) v q(×)]

Msc・ Paco Bas↑idas Romo & Otros l14        Proposiciones coれdiciomles


Dosp「oposic10neSabier†assimpies 堤 №覧 №椎6U VVFV VF匁 ' VヨVF柳FX ヨWH V v テァ

fo「ma「llnaPrOPOSici6ncompues†a -ニ F F 遊 吐觚 6邑6庸 FV 6F 7 V蒙X V 2 ヲヨ#c ヨV VR

Se「印「eSe而OpO「p(x)どq(×)Y舵 坊R籏 FX+6 FY v迄 ツ


○○sp「opo雪 柳觚6 &帽 X V 76也 ニW2ナ 笳 竰ナ6U VVFV VF匁 W VヨVF柳FX G&ヨヲ跿 fv

en†°nCeS. h b V f &ヨ WV V 6 」f ラ VW8 V amadacondicionalde厄sdosp「i

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

l p(×): ×>3,p(×)・ ×>3          2 q(×):Xく2,p(×)・×くら

3. p(Y)・ Y>う.q(y): Y>2           4. q(y): Y<3. p(Y)・Y<1

う p(z)・ Z>2.q(z)・ Z>4          6 q(z)・Zくま,p(z)・Z<4

7 p(×)・ ×こ4,q(×);×二4-          8 q(×)・×こ3.p(×):×>1

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

ま P(×) -〉 q(×)        2. p(×) → -q(×)      3 【p(×) -〉 q(×)]

Ms⊂. Paco Bastidas Domo & 〔"「os l16         P「oposicianes condicionaies


DosproposiC;onessimpIesab-ertaS,P(×)yq(x),SePuedencoo「dinarpormediodelt6rminoi6g'CO"…Siy

S う 薄 2 ...11paraforma「unaproposici6ncompuestalIamadabicondicionaidehsdosp「imeras.

爪b〔i 末6 ヨV VW6W&W VW6V V ' №薮 笳 VニVX FW 覧3f薮6 FX メ謦ツ

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.

1 p(×):×≧6.q(×)・× <9    2 q(×):×≦2,p(×) ×>重   3 p(y): Y≧3.q(Y). y≧8

4・q(y):γ≦重.p(γ)・y≦4     うp(z): Z≧1. q(かz≧ 2  6 q(z):Z≦う,p(z) z≦3

7 p(×):×二〇. q(×);×二8    8 q(×):×= 10, p(×);×二〇  9.q(×):×二4. p(×):×二4

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.

1 -P(×)⇔勺(×)       2 p(×)⇔ -q(×)      3 -[p(×)⇔ q(x)】

3 Si UこD Ha=ar eI conJun†° SOluc16n de.

し-置p(×)<q(×)】s・p(×) ×≧ら,q(×): ×<9    2 [q(×)vp(×)]sIq(×)・×≦2,p(×).×>重

3 [P(y)±q(y)]s- P(y)・ y≧ 3,q(y). y≧ 8     4. -[q(y) → P(y)]s- q(y)・ y ≦ 1, P(y): y≦ 4

5 [-P(z)vq(z)]s'P(z): Z≧1, q(z) z≧2     6 [q(z)臆〉-P(z)〕s-q(z): Z≦5,P(z) z≦3

7 [P(y)` q(y)]si P(y) y≧3,q(y):y≧8     8巾(y)¥P(y)]slq(y) ysl,P(y):y≦4

9十P(z)v勺(z)]sip(z) z≧Z. q(z): Z≧ 3    1〇両(z)¥ -p(z)]siq(z) z≦4,p(z) z≦2

Msc・ Paco Bas↑idas鼠omo & O†ros     117        P「oposiciones ⊂OndicionaIes


Sellamaproposici6nabier†asimpleenlasvarjablesl'×"e"yiIa†odaexpresj6nquecont‘eneadrehas

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

旦9製!重es Ia cap'†ai de Ecuado「

旦鑓生壁es la cap'†al de CoIombIa


Loselemen†osdeiconjun†ounive「so(produc†oca「†es 蔗 VX ネ ゥ{ニX X X WV踟 ク キ 8リ#f &帽 X S
Simple,endosva「iabIes.e…naProPOSici6nce○○adasimp 妨fW&F FW& ト4 Bx WW帽リF 讒V V ヨ ヨ F

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

l. Halha「 el conJun†o soiuc-6n de las siguientes fo「mas propos’Cionales en dos va「iabIes


opERAC工6NL6G工CA 備 ヒ D (+VFX4f6 TERMrNOL6GrCO
Ne90C毒h Conunc毒n リ " sイ b ,r リ " *メリ6 nO …Yi・i

Si...pe「ono…

Djsyunc毒n(香) DisYUnCi6n(e) ..y/0… ..,°.,.

…SiYSOIos上..

Obse「vaci6n. 〔I conJun†o soiuc'6n de - P(×, y) es P compIemen†o, y Se 「eP「eSen†a po「 P’

「∈・恥嘉虞。与)

1. Si A = (O.2,4), haiia「 ia ne9aC教6n de応s'gU'en†es fo「mas p「opos'C-Onales y los conJun†os soIuci6n

l p(×.Y)・×書y=4     2 q(×.Z) ×+Z<う       3 「(y.z):y事Z>1

4 p(×,Y):×・Y=2      うq(×,Z) ×+Z≦3       ` 「(Y.Z):y+之≧3

7.「(Y,Z) y+王→1     8 p(×.Y):×+Y=0       9 q(×.Z):×書乙≦重

Msc. Paco Bastidas Romo & (汁「os     123         P「oposiciones condicionaIes


喜上空竺_十」
[二手高言c蒜「「
工三竺竺竺」
l. Si C = (O,2,4), halIa「 ia disyunci6n mcIuslVa de las formas p「oposIC'Onales y el conJuntO SOIuc'6n
「 ̄ ̄高二]
1 S' D = (2,4,16). haller la d'SyunC'6n exclus・Va de las fo「mas p「opos-C’OnaIes y el conJuntO SOluc16n.

[二三車重二二]
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

P「OPOS-C'Onaies en dos varIables


重・p(×・Y)・×+Yこら′q(×.y)・×十Y<4       2.p(x.y)・×二Y+Z,q(×.Y) ×+Y<4

3・p(×・Y)・×+y≦4・q(×・y) ×■Y≧4       4 p(×.y):×+y>0,q(×.y) ×+Yくら

5 p(×・y) ×+Y≦2・勺(×・y)・×+y≧2       6・p(×,γ) ×+Y>2.q(×所×十Y<8

6.13・7. BtCONDrC工ONAL (⇔ ...SiγS6iosi ).

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

PrOPOSIC'Onales en dos var-ables.

1 p(x.y):XeSoPueS†ode y.q(×.y) ×+y≧1     2 p(×,y)・×= y/2.q(x,y):×十y<8

3 p(×.Y):×=Y2,q(×.Y)・×+γ≧4          4 p(×.Y)・×十Y>0.q(×,y) ×ニY-2

5 p(×.Y):X+Y二6.q(×.Y)∴×→y<4          6.p(×,Y) ×+Y>4.q(×,y)・ ×+y<4

2. SI E = (2,4)y F= (-2.-4). ha肱「ei conJun†o soiu⊂i6nde:

L∴- [p(×,Y) < q(×.y)] si P(×.y)・ × +yこら,q(×.Y)i x十Y <4

2. [-p(×.Y)vq(×.Y)] si P(×.y) ×=Y+2.q(×,Y):X・y<4

3. [p(×,Y)ど-q(×,Y)] si P(×,y)・×+y≦4,q(×,y)・×十y≧4

4, [p(×.y)ヽ q(×.y)] sI p(×.y) ×書y>0.q(×,Y):×+Yくら

5.費[p(×.Y)《→q(×.y)1sI p(×.y):×・Y≦2,q(×.y) ×十y≧2

6. [p(×.Y)→-q(×,Y)]s- P(×.y) ×+y>2.q(×.Y)∴×十Y<8

3. Sl i = (1, 2)y F= (1,4), halla「 el conJun†o soluci6n de:

重. [p(×.Y)<q(×.y)] si P(×,Y):×・y二2.q(×.Y) ×+Y<3

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

4. -[p(×,y)→ q(×,Y)]5j p(×.Y)・ ×十Y>0,q(×.Y)・ ×書Y < 3

5. [p(×.Y)⇔q(×の]s- p(×,Y):×+Y≦L勺(×,所×十Y ≧2

6 [p(×,y)ヘ音 q(×,Y)] si p(×,y):×+Y>之.q(×,y):×青y<4.


CAP工丁U」0 7

CUANT│FrCADORES (OPERADORES L6G│COS)

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

而爪e「°5 df9i†os, ∪二D二(0.1,2,3.4,う,6,7.8,9 )

1 p(×)・×鐸dゆ†o p(1)まesd(9-†0         V[p(1)]=V

p(2)・ 2 es d了9汀o v[p(2)]二V

p(3) 3 es dゆ†°         Vlp(3)]=V

P(9). 9 es digi†o v[p(9)]二∨

〔i con」un†o soluci6n es: P = (O,1,2,3.4,5.6.7,8.9) y estd formado po「 †odos Ios

eleme而OS dei conJun†o unlVe「SO

2勺l(×)i X eS PO「・ qま(0) O e5 PO「         V[ql(0)1=V

ql(2) 2 es po「         v[ql(2)]ニV

ql(3)・ 3 es po「         ∨[ql(3)」二F

ql(9) 9 es po「         v[qi(9)」=F

EI conJun†o soiuci6n es Ql = (O.2.4.6,8) y †iene algunos elemen†os del conJuntO

3 q(×) ×<1;∴∴∴∴ q(0): 0 < 1          v[q(0)]=V

q(1) 1くま            v[q(1)]=F

勺(2)・ 2 < 1           v[q(2)l=F

q(9)・ 9 < 1           v[q(9)]二F

EI conJu両o SoIuc'6n †'ene un SoIo eIemento deI conJlln†0 …Ve「SO, eS dec一〇 Q = (O)

4 「(×): × eS n色調e○○ co巾pue与†o >10

「(0)・ ○ ○s compues†0 >10     v[「(0)]幸

「(4) 4 e5 COmpueS†o >10     v[「(4)]こ戸

「(`) 6 e5 CO爪pUeS†0 >10     v[「(6)】二戸

「(9): 9巳S COmpUeS†0 >10     v[「(9)]ギ

EI conJ…†o soiuci6n no †iene eIemen†os dei conJun†o unlVe「SO. eS declr. R = ( )

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こら.

Msc. Paco Bas†idas Romo & O†○○s     129              Cuan†ificado「es


Las p「opos-C'O=eS de este †一PO SOn Ve「daderas cuando †odos Ios elementos del conJun†o unlVerSa-

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

con un†o vocf°


Obsc「vaci6n. ei conJun†o soIuci6n no es el conJ…†o vacio. P = (3). en†onces v[Nx p(X"=F

星重畳百目
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

7.6. NEGAC[6N DE PROPOSrC]ONES CON CUANl│F[CADORES (T∈OREMA DE MORGAN).

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(×)] (○

-[」×,p(×)i⇔ [ ∀×. P(×)き②

鞠empIo;

1- Ver’f'queque言【∀x. p(×)] ⇔ [コX.- P(x)]

a) Sea UこD. Esfalsoque. paratodo n血ero xelemen†o U. ×eS menO「qUe lO


15. ExIS†en ndme「os dfg・†os. z+ 8 > 5      16 Todo n。me「o ddy†0,X+4 ≦6

7.7. PROPOS重CTONES ABIERTAS COMPU∈STAS CON CUANT工F│CADORES.

Las slguien†es 「elaciOneS de equ'Valenc-a’def'…das para ia conJunC16n y d'SYunC'6n 'n⊂ius'Va, Son de

mucha u†IliClad en ma†emd†iCa

∀×, [p(×)^q(刈] ⇔[Vx, p(×)< ¥/x,q(×)] (∋

∃×. 〔p(×)vq(×)]ぐ〉[∃×. p(×)vヨ×.q(x)] (り

日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〇・

b) Para el segundo miemb「o de Ia 「elac'6n de equlVale博-a Se †一ene.

PAS ⊂On Cllan†lf'Cado「 ConJ…†o solu⊂一6n Valo「 de ve「dad

Vx.p(×) x>3    P=(4.5.6,7,8.9)    ∨[Vx.p(×)]= F

∀らq(×) ・ X <8    Qこく0.1.2.3,4.う.6.7)  ∨ [Vx.q(×)〕こF

Luego. ∨ (〔∀×. P(×) ^ ∀×. q(×)DこF. po「 la p「opiedad fuれdamen†al de la conJunC-6n.

∀×,p(×) ∀×,q(×) [∀×.p(×)^ ∀×,q(×)〕

戸     戸         F

C) F’nainen†e, al cons†…r ia †abla de verdad de. ∀x. [p(X) ^ q(x" ⇔ [∀×. P(X) ^ ∀x,q(×)]. con los

resul†ados de=l†erai a y b, Se †lene

Vx,巾(×) ^ q(×)]くう[∨×, p(×)^ ∨×,q(刈]

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

COn†「adlCCIOnes, en†onces p ⇔ q). se †lene

∀×. [p(×) < q(×)] ⇔[∀×.p(×) < ∀×.q(×)]

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.

1 p(×)-×>3.p(×) ×>3           2 q(×) ×<2,P(×) ×くら

3. p(y)iy>5.q(y):Y>2           4 q(y):Y<3, p(Y)・y<1

5. p(z) z>2.勺(z):乙> 4          ら q(z)・Zくま. p(z):Z< 4

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

L p(×)・×≧ら,q(×) × <9           2. q(×):×≦之,P(×)・×>重

3 p(y)・ y≧3.q(y)・ y≧8           4. q(y).y≦1,P(y).y≦4

うp(z) z≧ま.q(z): Z≧ 2          6 q(z):Z≦う.p(z)乙≦3

3 S- A = (2,4)y B二(-2.-4). ha=a「ei vaior deve「dadde ∀×,y [p(x,y)^q(x,y)]de lassIgUlen†es fo「mas

P「OPOSICIOnales en dos variables

重.p(×,Y):×・Y二ら,q(×,Y) ×←Y<4       2 p(×.Y):×二y十2.q(×,y)∴×+Y<4

3 p(X.y):X+y≦4,q(×.y) ×+y ≧4      4 p(×.y):×十y>0.q(×,y): ×・y<6

5.p(×.y):×+Y≦2.q(×,y)∴×十Y ≧Z       6 p(×.Y):×+y>2,q(×.y) ×+Y<8

4 Si Aこく2,4)y B= (一2,一4). haIlarel valo「 deve「daddeヨ×,y [p(×.y)vq(×.y)] de lass-guleuteSfo「mas

PrOPOSICIOnaies en dos va「lables.

1 p(×,y)・×eSoPueS†ode y,q(x,y) ×十y≧1  2 p(×.y):×= y/2,q(x.y):X+y<8

3 p(×.y)・×ニY2.q(×,y)・×十Y ≧4       4 p(×.y):×+y>0.勺(×,Y)・×=Y-2

5 p(×,Y):×・y二6.q(×.Y)・×十y<4       `.p(×,Y) ×+Y>4.q(×.y)・×十y<4

Msc. Paco Bas†idas貫omo & Otros     14O Cuan†ificadores


ANEXOS
A. OPERAC│ONES L6GICAS INTERSEC調VAS

BI OPERACIONES L6GICAS INT∈RDISYUNTrVAS

C RELAC工ON〔S L6GICAS

D PBOP│EDAD〔S DEL ALGEBRA PROPOS工CIONAし

E' 〔QUIVALENCIAS L6GICAS

F. REGLAS DE │NFERENC工A
A:OPERA生ON∈SL6GICASINTERSECⅡVAS
OP各慮AC重くうN 儡ェ博し冨S 劔 ユ X,x.y)、

NOMB鍬∈ 僂〇両unci6n青 Subsec 吐

丁E慮M工NO 凉 No…Sjn 558 や

°PERADOR 癖 ●/ 價 リ "

p p^q ヌ p/q 冪Jq * 苒

∨ ∨ 巴 F 僥

∨ 侘イ F F 僥 巴

F F 巴 ∨ 僥 侘イ

戸 巴 F 巴 F 凵ノ

B:OPERAC│ONESL6G工CAS│NTERD│SYUNT│VAS
OPEMC重くうN 儡工MPしES 劔COMPUiS丁A

NOMB瞳∈ 剄Hn†e「disY…C毒n★ 認 遊 ノ{6譏 「 」波型Ci6ne青


TERM│NO 葡 ○

OP∈RAD°R 凵 坪 " ← y

P p†q リ*G p←q d pどq

∨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 ネ 宙 定 鋳

rMPLrCACI6N(工/D) ? P -う 勺 、 Y)、 +T y (∨,F)

│MPL工CAC工6N(D/r) ル? p ← q 、 Y)、 +T y (F,∨)

SUBCONTRADTCC工6N メ p V q 、 Y)、 d y (F,F)

D ○ B し E 5 ゥ ト Hヤ 8 H*リ*D 望 z' 丁AU丁OしOG王A 宙 定 瀦嫡bトb

EQU工VA」ENC工A ネ ィ ? ? pく⇒q 、 Y)、 +T y (∨,F)y(F


D:PcoP巧DAD∈SDELんGEBRAPROPOS│C│ONAし
NOM 亊 *イ CONJUNC│6N 剩D 謬 ヤヅ ナU7%d

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

P^∨=p 冪^F=F eh PVF ̄¥P

ら.C°mpIe爪e而o 冪<-p=F 凵[( p)二P g リ -∨≡F_⊥三二と

7.Mo「90n 凵[(p<q)二-PVへq 剽竍 h峵倅 ヨ#ヌ

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

5.DisγUnCi6nexciusivo 禰 4 Eぅ 傚 +X蕀dノ6hネノ? ? jI? ? b 竇 ヌ


6.5ubdi5yuれCi6∩ 迭 どら 仲 *リ 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

重5.廉乞ctp○○co Eiう 鍔 )ィ ' 6ィ キ ?

16・Con†「q「ectp○○⊂o "  ̄盲「  ̄

17.工れVe「与O EI7

重8.Exp○○†oci6h 燃 ビ重8 仲 ヌ R冰テユキ " リ ( R白

戸: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

6,S 薬 SmoD 風V ivo B

7.5i爪 冓ificロ亡 埋6 un†ivo 典2 p^q ∴p      p<q ∴ q

8・良c9IodeA 剿6」f p ∴pvq

9・Re9iodeAdjunci 劔 B p:勺 ∴p<q

10.しeYCSBicohd直 劔oies d" p⇔q∴(p→q)^(q-,p)

宣1・DiγunCi6巾excIu5ivo 劔妊R

DE