Lógica Matemática, Notas de estudo de Lógica Matemática

e>e > -apepusa-mpqu ajumãos epd oprmap “ounisod “ soofisodord senp op Inuolaipuos vp 0980] JA O “ogivondur op ojoquiss opurepo 2, < , ojpquizs q -atuanbesuoo o b 5 ouopasajue 0 q d enb asp bed, [ruotIpuoo ex d exed puugssadou opdipuoo ab (1) b esvd oquotonms opdipuoo od (E) :seatoueur saquimias Sep eum op 2] os uaquie enb “bd, :ozôrou & mãos aspopui db > d sagósodosd semp ap puopipuoo t auouranoquis -sosta Sipthiap sou (A Japepaoa e a este 9 b o putopepuos e d onb wo osso ou (SPpepise + 2 00/39] softa olho “,b otjuo d os, 10d vperussoidos opóisodosd rum [eUODIPNO? SrUSde NO [euornIpuoS oBifsodord ssuryo — ogárpa (+) TYNODIANOS "9 oAISTjaNS nO aj10y Opiquos nos ou ogdunfayp é armada nel, euse| ExMejed + onb óssea or onsnpur no ap OpiUas nas ou ogôunisip e ournidxo JA, BUM] BIAPPÁ V túnitoo mofendia tu MO, BIATUÁ vp sorunSIp sopques opor sajuapuodseLos soiuoiayip selar |ed senp wie) pune) enfuss V YLON (JA RODA = (DADA a=gÃa (A=ARA CA-TÃA J=ARA :Sopepjendi sejad elas no ORI SYONaNV 30 uvoaa Ed aruefare 2 ogu onb no oxreq q sooe amb ospey a (5) arurfoja 9 OXIEQ 9 NO ONE 9 som (2) oxunilopo UOU/O O) WeU 9 Opu sosIem (Pp) aqurêapo no oxreq 3 soore A onb opepasa 9 02N (2) equrdajo 9 ogu semi “ore 9 sos: (q) aqutioja a o3jt 9 soe (e) :soojisodo d sojurn3os se vamo quirs modens dus stznipes copurapo 2 soar: ba ON 9 sos: d sogsisodosd se urfog Jg (deb) = ndo botodo (8) bd (p) d... (q) b= vd (e) sagátsodo d seyutnãos sr equamoo utaSenfur » Bued itmpeig ceisined 9 aureg: b 9 oyones 2 opor: d sogsisodoid se umas “p (Povo (q) do. (0) boy do (p) dava 6) bvd (9) bad (8) savisoddosd sajtinõas se apago mraBendu e eied NZnpr:p cogu efey oipneio: Da sojBur pres orpnero: d seosisadoid se uirfag -g d-bvdo q) de= (8) bed (n) dosob (9) b-ad (9) deb (e) :sopájsodo 1d sojumãos se ojuoaoo woBensuy » Bird afenpeiz “zoj 9 sojeg:b a oou q afim: d soosisodoid se urlog ei debovd (1) boesd (uy) bovdo 0) b=ad (1) b=ed (2) desb (p) bad (9) byd (q) do (8) :Saoáisadosd sajunãos se ajuaLoo uroBendur| * eimd aznpesz copuonoya pasg:b o ou tisg:d saoisadoid se tmefaç “| SOJDUAIXA Ade A = (DIA (DA = (be dA (A) Rope ozumu tim 9 7 A as oquamios à os eurjd o puap yi bed CG) muoneronumuuno ZA : b (1 cumdornaçy : df (p) sz VOILYNILVIA VOIDOT Y OyÓVIDINI 4= A > 4 = (DIAS (DA = (Des da (1) — openojustoy SEINIVNTI 65 ojuouios o as pserg O tQooSP VIVO VLOOSVA : b «+ d (A) opeoojuo toy STINAGVUIL u (4) Isto nugossap VAO vo oosva : dJ (e) gd Ac DA (DA =ib dia (9) €- É 228 auamos e os peBniioa op pytdeo e proqory: bed WM c=- 48: (A) Têniiog ap tenldeo é o vogar AAA = (A (dia = bes da (A) EoUEIQ 9 DhoU E 08 oluowos 9 as edaang eu mary eusvag : Du d ni (A) edomg tu vo vuroy : df (1) «sojdutox deb o be dsmuonpuo seno se OBS O WAQUIP) Opienhh ajuaos EaapepoA 9 JUOISpuoNg tum “oquepod (DA += (DA = (de dA a-desa asp ASA CASASHA sopepjenôt sejad “pfos no Sfe e|>e>m aj>>m a É + E :apepaos-vjagey ojumãas ejad oprugap “orueiod '9 ssodisodoxd sanp ap [euoogpuoSrq Pp Cao] sort O d vaed oyuorogns o eripssasau ogógpuos pb (1) db exed ajumogas o pupSSodau oxóipuioo 9 d (1) :seapoumui segundas Sep pum op 9798 uipquiey onh — :ogómou » uioo essorpui b a d segdmsodosd semp ap [EIOLSpuomMg + “aluaureomoquis OHTIA HVONITV 3a quvDoa vz seu 7 UigINOS sajuanoduroo sepduns ssoóisodosd u wos modos osspsodord eum ap apepraepqu y “eutasoa) oquinães ojod cpep opuas uesfoquy e anb sojduns sao ójsudo:d op osaunu ap apuodop rsoduos otisodoid rum Sp opepaoa-3]oq8) ep sequi ap oxstunt O AAVANTAVTIVI YIN dO SVANVEHO ONE T -sojuouodiLos sojdiuis seoáisodo 1d s29 SootBo] saxo ea Sop opuadap os oa8o] Jojen nes o onb “opiges 9 cuioo “osopunrupe (a)espey no (AJenaprpas pias ejsoduido nEáisodos * anb uto sosto so ajuduejexa parisou anb EISo cpepior-jaqr) “Bpep ey sodio» ozólsodosd 1onbjenb » ojuopuodsoLos aprpsoa-vjoqb) v mmgsuDo josissod 9 bod Ped Dad byd “do (e rdeo) smuatuepun| seoião| sooôeiado sep opepsos-sepqr sep ofordimo o mico “opyag (0d) ab=vtahoed = (bay by b= + d) = (b'djo edad = ba :ouroo sim “sejsodiuos socáisodosd ammsuos > saaiBo, sonnaduos sojod sepruuquioo souiapod <=“ b “d sejduis soodisodozd suma sopra VISOdHOD OVÍISOdO NA VAN TA IAVONTAVIAAVIL "T epepJsa -sejege| ep opônusuos € omideo a=Dadoa é q=tbooda (9) a=(bada 2 A=-esda (D) a=bvda o a-Desda (6) s-PaADa 2 Ace DA (a a=fvda à a=(< MA (8) :opuaqes “sosto sajumêos sop un pro tio (DJA 2 (MA TeItuLIMaÇ "07 a=(desDA 2 d=DA (3) n=beda e A=(DA (5) A=(deba aa O) a-(beda e aC (0) a=(Dada e a=( (a) ava: d=(CA 6) opuogps “sosea saquinfias sop tm ppro uia (dA JzuruMoa "61 tadjvd (3) b= ado (9) be vd. (Pp) bvd- (9) b-ad (9) b-vd (8) :ssoBisodoud soiuindos sep eim pro op (no A) Oafo| 1ojA O seutuso jap “q 0 À aioUIpAN Sade Sr ops b a d soodigodard sap soaiy|salotea so anb opuagrs "8 oltpesL=t+tD- roger (8) = srg=1+D- s=1+D= (1) (S= pigs q=14 De (8) o=1=A no 9=g+combospyg (p) c=1+pog=e+cenbosgeg (0) gIvd Op Tendo e p tojag onb opepiss 9 08N (q) Jvduiy oroumu um 9 27 omb opeproag oeN (2) -sagSisodosd sojurhões sep elim ppeo op (4 no A) 0980] No 0 amutunaiag “97 oHTIS HVONI7V 3a auvoda se aa en: Bda La A) tio f) ap opdumy eum onb o ogu esto nmno (b “djg *p o1st “ ia'Ay ojunfuoo op ojusuej con um (AI "ATA AA) —n Sun op sojuomtap sop wn epro » vosse (b dg opsisodoid w onb osanasao AAJA = (44 ANÍAA “AN zapusmeperacagr efas no ACEDA CA=(ADA Ca-(dAdd CA=CAMA aj uoureoroquirs Sp ONE A 2 A “IA OES (7d 2 AM HA “AA)D 9 dsajusuoduroo sojduiis soojisodoud sy 7 D A SODEO] SolojA Sop sooitnquir stontssod se sepoy e SojuapuadsonDo eprp miSodtoa ozálsndoad Ep soajêgy saxopra so “eruenoa “(p vunjoo) mBnj oumm wo epesaduroo unjoo vu osuenuocua epep tisoduoo opôisodoid rp somão| sorojes SO T E E + A | H A J d alalaladala A A A a a A d E: A E A A -[ujoj-[r[a zopRSTpur OxTeqe Opour ou “sajuaruanos soaião| saio jtá so sejap pum epro UI OpuoAoosa “seunjoo sessa asauriojduoo “urapao eu1oo eumu “sodag] >m >= ej>>mm e/- |vjo[-|» “rpep ejsoduroo oxaisodoud vu uni onb soagoouoa sop um epeo vird à sagóisadoid ) Run epeo puma eunjoo eum os-páei “entanp e Sepindas ug ba d sojduns sagórsodord seap se Sojuapuadsaros seumjoa se vijatd asueumos — otónjosoy gt te VOILYWILVIA VIIDQA VOVÔ VIDINI A E afala A a Aja(a E! A AJH/A A q a jAjJA t-va- | b-vd |b=|b|d “»pep Bjsoduido opdisodosd ep soolão| saio per soe eageps manjo e aseuoy “eutjy b- V d sed punjos é os-zuno) “stadag b= esvd punjoo é as-enos “epindas vig o d saquatodias sajdiuis sapósodord semp st sajuapuodsanos seun|oo ap ed o “Itân| onound mo *os-euno 4 — otônjosom él by a-=(biaa =opáisodoad ep apepion-ejoqu é smnsuoa (1) OVóvORNdRIXI + sd sajdauis opdisodo d gg é tued | uio | ap “migua fo “td sojduns opdisodord sp vestd quo 7 op “td sojduis opslsodoid gg é eltd p uso p op “7d sojdiuts opórsodosd go eme q Uuo g op “1d sopluis opSisodord j| + ed 91 uro 9] dp wwe os 2 SS1aqea ap sodnid so a Seu] TE = 47 UUDNIOS opopron-eogry P 'satouodios sajduns soostsodord (5) oouto mos rjsoduioo opisodosd pum ap +xa *d “osto on =] SSJO PA ap visa Ten ap sopinãos ASSIOIPA ut — yllut AUNEpem ANE as-utanquir (u > Ná sojduis opsisodosd BUNIS2a E "ODLIDUAS OPOUI AQ “ALUBIP 10d WISSE 9 “x SOJOJEA 2. ut OP *ojuoui pour; sopinfas'a sabjes «ul Op sopinãos "4 SOIOINA cout 9P sopinãos “A SSIDpA ue = igt OSoNqte “A sojdams opdisodord gg E 1] SSIOPA 1 ut AP supIndos ASSIOPA q -uT = U/yl AS-UONQuIP 1d sojduis opêisodord | E *018t 0150 "Seu 4 ugiuco apepioAm ode) E omuo Sd *-* «2d “1d :sojusuoduroo sajduns saosisodord u og -ureifojui 2 onb sojdurs sooSisodosd ap Oxumu o ueuos 10d 25-255109 soduoo opsisodoid eum op opepiarepoqri ep congad orômiisuoo E vieq VISOdOD OYÍISOdOUA VAN A AAVOUIA -VTAYL VA OYÔNUISNOS “£ “rHQreUIquiO) astjpuy” » euisuo opunfes 4,7 = U'TY '9 IS! “q 3 A SOmSUISp siop sop u é u ogónadas 109 sofunure so oxs souenb sojusuaduso str É & à À SONO] saloje sop ogóng Ameop sopepigissod sem gy Ud“: “td “Id sojuauoduos serdus sonóisodord uuoo (UM <= “2d “tag essoduroo opiisodord eum eisd “ojuegsog "uenpx os anh “q 3 A SOoiBO] Sado PA SIop toy sojduns opólsodozd vpo) “ojtojo mwog aiiag OH7Is HVONITV 30 auvoaa AMAANAAA = (dd Ad CHA AMA HAIA CANA HAN AMADA oquameperaaiqe “fas no A=(dadd Ca=(Adda CA-(dAda “ACAM a-(adaa A=(AdAda Ca=(IANA CA=(AMId sasarao qui uBNod 1 (à l + l E r £ E a 1 ajalalalalalalalataladataça alalalatalala lalalalapalaça alalalalalala gilalaladatala A A J A A A A A A A 4 A A 4 slalalala ala ufalaladalala A E A A A A 4 E d 4 A A EE: E alalalala ala alajAJAJjAJALA alalalala aja aAJAJAJAJA[LALA [ol-Jofefe(- infef=[oprjrja :opônjosay Gee gebvbed)=(b A “opálsodoad vp apepras-epqe E umusuoo (+) T € I + I T E T A E É | ag a A A E alulalaltalalala A A A A Ei A A 1 sialataltalalala Aa agalalalalAlA|A aljalalaJalajlala najajatalajáalala alalafifajJajala - |V] b LE 1 =| A d | :ogôngosoy ig se VOLLYNILVIA VI IDO Y OVÔVIDINI :ojuinãos e 9 penões euesõerp uim sud vocypid opõe «uosaados elmo “ (4 'A) WO (dd ATI AS AMAS SIA ASA HAM AMA) = ap otóumy mun enb 9 otu esioo esmo (1 b “dg osórsodord » enb os-otosgo “AMI SIA “AJA JAM AMADA JAAAIAS = (dad AA! :ajuaureprinalge “eles no a=Guda Ca-(Adada CA=(dANda CA=(AADA a=(438d SH=(AHA)A CA-(SAAM CI=(AMAA aura o quis “ojuriod e + >>>>&E>m>|m Z>L>EL>LD>oS >>2].>>m mw >u>2>0 > L>u>2u222)m -|[rerm>a> mt 24] r+je>20n>>>m “|>>>>Em ma s|p>ER>>Em > ? E ) [E opónjosay GZ OHTI4 HVONIV 3a auvoaa fe “(AOuapepiDA 9 ajuanbasuos nas 0 “god “(A PTISPEPISA 9 Ppep [ruoierpuos e “mouanbasuos 104 “(A)oS|e] 2 ajuapasajue nas o “sjod “(A )txtapepios q de bm Ieuotoipuoo e “0807 “(q)estey 9 b=- omuo (A Jextopepios 9 b owo) — otónjosoy (doeb=)e (bed) :opáisodosd Pp (LJ nO A) 09189] Jojes O J2utuiimop “A = (DJA onb opnoges (5) (A) ontapapios 9 ajuanbasuos nes o Ssiod “(A Jeopapros 8 Bprp [ruopIpuoS 2 “ago “(AJeROpepros 9 14 Da. ogsunisp e SCAJeIOPEPIOA 9 1 OU) — opónjosay 1nbo—d otóisodod ep (9 no A) 09189] Opa O seujumaop “A =(DA nb opuagas (p) ASA do dA AtAa) = A (e De) = fios tie (Came) a) = (ada :ejuouieNescons SoLta7 — otânjosey (res (deb) p((do en) es b)= (1a Sisodosd vp (1 n0 A) 02880] Jofes 0 reuniao “q = (DA 3 d= (DIA “A = (dA onb opusces (e) ASACA (ISA GV dead (1+ )=(MA coueiog 4 =(DA o q =(Da o ogst 'sesfey seque os b o d sejusuoduroo sooársodord sy — ogSnjosaa Dvd ad-bedj-(Dag , ud ep (a no. 4) ootfoy sofra 0 sumnimog o= É uasibo c=u:d saodsodoid se welog (7) AIEA V IADE] VAStO(IA A)==(DA :ejuamiraIssoons “souta | — opônjosoy bevdsco (ba d.= (bay :opóisodosd ep (q no A) 0980] JOJEA O itujusiaap 449 À aquoniranoadsos ops b à d sagsigodord sup sootão] soiojta so enb cpuages (1) :sopduuaxegy te VOLLVIASLVA VOIDÇT YOySvIDINI - + sy db “d sojusuodinos sogsisodoid sep soanoodsor s02ffo] seioTeA so sopioequoo no sopsp ops opuenb (jp no A) 03889] Jojea mas O reuruzaop aiduros os-opod ("+ “1 “b “dg risoduioo ogijsodord eum prq VISOdNOD OYÍISOdONA YA dA ONIDQTAOTVA 'S ANHASAdA = (dd Add TA AMT ASA “AJA AA AAA :aquaureperaasqu “elos no a=(auaa ta=(ngaa “a=(gADa CA=(ANDA a=(asada A=(AdA)A “A=(SANd O “I=(AMAA :ajuawronoquis “ojumiog 19 b 'd sajusuoduros soosrsodoId sg SEANEjSr SEUNTOS Se tIZOOUS GrU “stod “(1 b “dg oesrsodord vp epeogmdurs opepsa-epgr eum q onb os-goN Llelelirlolrislolifelriciri]t alalalalalalatfalalalfalatada alalalalalalatfafalalalatala as IA alalalalalalajata(tálala alalalajalalalafalalafaltala alalalalalalalalfalalatatala alalalalalalatala/alajfatala siaAljalalalalatalajai/ajijata AlalajajajAaA/IJAJAJAJAJAJATA Gli-leoslylalb|-|vitgelalDbiJ|<|a :ogónjosey (= Adv (gaba) (dA “oviisodoid vp epepioa-joqu) Immsuo) (5) aa b'd sejuauodmos sopáisodosd sep soolBoj sororea so urefas enb sonbstenb À sadios é ogsodoid eisap oorfo JOJEA O “9 Ojst (opuproa)A Bio] E miooua 98 (1º “dg opsisodosd vp apepisa-rjege ep (+ vunjoo) vuntos eum e anb as-aarasdo OHid HVONaNV 30 Gu voaa ivdesyvdo o rabeiad :sipuororpuOS sep (a No A) ootãoy dojea o Jmuttiojop “(A eapapaMA q bed IeuotpuDO E onb opuoes “ET NL8AsENe0-x (3) sgh RAXAgaN (9) p= hezas nfgx (9) g=Rev=Ragex (9) rpheR=xv0=* (8) «soosisodoud — saquinãos sep pum epo op (dO A) OMBOI NOFEA O AmIGZO)DD “SESIR) DES 4d = As 8 = A, so0580doud qe on à SHEpEpISA OBS A =X, 9 u0=%, Sogdjsodord sp omb opuiqus “CI GuIJAÇATS) (4) sade(evivibvd E) svlingesb=ed (1) (sesDesv(vod) (E) (cosesatbyd (P) gesto d-) (6) use bed) (U se yicrbyd (e) apórsodord sojuinfos sep sum epa op (4 no a) oÃo] JOTA O JUURIISIOp 'g=(OA=DI * A=()A = (MA mb opusges “TI (oavis ad O) se ya (ov dy (3) bo pdoe(dyd- (P) (oe do)e (ue dy (9) tred)e(des) (9) debe-bed (2) :saosjsado rd sojunidos Sep eúum apos ap (4 nO A) 021801 JOIPA O 1tumaaSD +] 9 dA À cueanoad snTa Socci eadoud sep soottoy solo es so anb opuages “OL Gogo ness Pad = ve dy (1) sad) vu lia) (8) se (sob) (2) evdesb (o) rebyd O) srsodoid p eum epeo Op (4 DO A) 9980 JO O IeutúLIAOp “suspep OS s «codoad se onb > semopapias ogs b o d sopôisodosd se anb Cp 6 vd) b dps dc) ig) E) sogê Gas sep =ium apro op (4 nO A) 0980] dogs O ivuturnop “dd sadssi Os 1 2 b “d saodisodo Jd Sej SOBO SODA SO db oouaarg "8 VOL VINILVIS VOLOÇT Y OvÔN vd) a(da dad (p) bo pdoe (by do (2) beedoyibed) (9) Deva (dydo) 6) «agiisodoad sai uimias Sep en epes op (4 no A) caio aopea o itutunsioa “77> 2: bo xBjo = (x- un): d soodisodord se welos do pbe dd y (td eb) vd) zoxiisodord ep (5 NO A) 0280] Jojua O 1eujunoop “A 9 q eatioumariaodsos oes b a d soodisodoid sep so9tão] sado ppa so anb opuaqrg bando yvitroo bd) Ad) (bodig (9) iopbe(iebado = (body (2) (byd aid vid Ava = (rbdia (PD) tado (dbyde = (bida (0) (= Ab) ydo (rbedja (9) b=er vd = Ghia CE) :socp3 Sotnas Sp um vpRa tia (A JADE de Iuaag Adv (= ad = (boda (1) (= Ab)vG=- Ad = (bédia (9) Gadvibad = Gb'dia (Pp) = ybjado = (b'dig (2) valo v ad) = (boda (q) tryvbiado= (bidig (e) . :sosto sejuinãos sopum epeo tuo (gga Ada SAS AA CIHA CATA “AA CAMA IPUBILISIAÇT (deb)edovibad) = (body (8) d-cbesdab= = (bd (1) (Po ndJy dado = (Gida (o) Qudsja (b=-vd = (boda (p) byD-vibdad = (2) deb ado = (q (besdojo = (8) =sosea Sajiuimios sop um epro uia (da ASMA “AAA IBLIUNDAÇI sinbestised-d (5) =d (9) senbeivdo (e) sojuinãos sup apupsos-seJaqu) se JmIgsLoS OHTIS EVONITV 36 Quvoda l 9 's a “ ar ostopepisa ouduuas 9 ester 5 UMopepada ajuawesueyyntinis 1as apod ogu ogspsodoad mum amb asz1p “ojumyiog A [alala A | a E (d= y d)=-|d. y dd. | d > opepsonsjoqei Ens Diod 2a 05 oumojuos À 9 (otspennoo or ep oidjouud) (dv dJ=,, opsisodord V (1) sopas “(s05isodoad se nivd apepnuapr ap onlsouug) seofojoanea ots d— d à dd sogilsodoid se onb ojepomr q -sextopepaos ajuotuvolão| ssosisodoid no senão jon sagópsodosd sepruimo usp usquim ops selBojojna sy - «4 db “d squanoduos sojduis sopáisodord | sooea so elos onb Jenbsmnb “(opepso)A oiduros 9 oafã a tisÓdLiOS OBdfsodo rd epoy 9 mBojame “sauna souno ug seps ofno ( AOPEPIONJA BIJÓL À Ojuotuos PISA apepaoa-ejogei Ens Ep Bunjos mumjm vino msoduos opsisodord » =poj efojone osuíru) opina VIDUTOLNVL “1 seiugbuguos a segóipemuos 'seibojoyney y ojnydeo (by (av 6) A (1) + BA A) (9) (da meo bj (((D-)-) vd (==) v De (DA Db) (e) jeta O atudng “ST :soosrsodosd sajuinêos sen sisauaued ap jaajssod oxouma A= (1) o 4 = (bia onbopuages (1 À do) y (b=+