Anteprima parziale del testo
Scarica matematica logica e insiemi e più Appunti in PDF di Logica Matematica solo su Docsity!
degica [Froposizioni « Radicali Quarti ficatom Eniatuziale, cl Uniniale Operatori logie + loro table di nvita* 23 e, ©, >, ©) Pao lori ta e civili nau Mo e Tolleus at nominale Trondai |maiem Operstori lmmaniodie (esca pAuidazini Vrleraezion, uUumio aL i di de Torazw css È E° Operstori tel e lmewialiu Ph 4 Spesa 3 < algebrico 6 par G] paradosso di Rosal fP24 (Ppprlîce) NR. è otle in classe parla qormelie di Jrfian ageurdonate quIvdeo Um predica = Vero o falso PR l'oporslare lagico “ot (o quali Q goel!) e l'opevatie imruttlco A pomo imclun ndo per compara, MS (en (evono la pequils ‘Froposizione = Uuo Poase ali nenso esm piuTtò è La poema dirsi VERA e FALS © ” ; Che oe cono?” NON E ona Pioposizione "Na leone Vlused Vetro” E. VU Ao izione Di FA LIA pa ‘aia3s' € ua proposizione VERA Oss: lu vua Propos.eton compare. il predicò framaridmenk nal'ai de vza del predicétò ÙU ou fase wo basb per ganzilio cla quella nia 043 Protoszione. iufatti < ‘Povera I, Z uu Proposialova (peo ecsele l verà o falsa) Provera iù Mon è uni proposizione Dougre licicue dele proposizioni mileuzliclu n0uo % solo Uumnemei proprio delle proposizioni della lugoa vtaliana I Pedicio = 03 Arsse È cui COMPIOHO vuo o più pivamiti, che diveuls vu proposizione - hs o falsa - quando dieur apecìriclo ‘ palove del panzuzin Eswpio ' " x=4 Pi (CT) = un prediadlo (padical di cagliauza) P(3x2,6) = VERA : uf 3x2=C P3,6) = FALSO: « 5 #6 U H 9 = eidle almeno vao = quailicalre P n ,erriaziale i z quisias ma 3 per QU = quauleicalh vniversale Erempio : lo proporzione (vere!) 4- "Nom E far cha NxeA, X È rueggindi” dita ” Moor (xe A, x>4) didemta T>xeh dida xe 1° [Tabelle di ita’ di ‘e '( 1 9) 2 volte tudicha eou 7," O, 8 LeB F_F| F EVI F VOF| F VO vi Vv Noe | "e 3 oporsbone bimanio Que ® z ra Me 00MO Ponollà result i eve A @ ® Eremo : Oggi Moe e P_faddo' dinub Po, por e | agi gioie ] è [ e9s: {o fadb] AMIN adlingiouzione. Tobello di mita di o (au ) dad Lotta csu"v” A 0/Qo8 E_F| F EV. v VFI Vv V vi v Espubo : ai gl arresi Mlanen 0 domo" 5 qual a n 4 (e gui conici Goova| o (Bg tra) doma] da :s cafe l Proposizione Parete este) "Ri gl cea Mime e down" ne ale equusb a x [Fi gronssi Gaova) ? (Egr) domo S Brno ) DAe © atea 6) o (CI ®] D'L08 L'alfen0) e (con @)] (o) K 7 Lou'froztando le V È T_- egdonne im du ai La y E lb Tin da dimortnmhome di OD) DI agroslone (boia Pcabharni "e" ecsu ‘2° 1) c.d, Nd Bou. il rst preadità è FONDINENTALE, n qusvk parmialie di ridum & du gli operbii già Forsamental Ou | cite? logici m momo asrlruit ch è soli Sioponiti Ni Tobela di ente di ‘> = _Q Ba>B Def FF) v E VI V VV F F VO v| v Ces. "n À dorizti alle Ceop don comp il Pra” CS i) e poni mo (CRE Pons dovuti allo op B E compare il zare FASSI Fo i deda O > 8 tp 4) vista Calsa neo iu uu caso aleadent bw = /ovwo passsk davsal ala Gop Go © gra {li eomegudale Falso IVI) Mora ho COM ab / me Ba pale P Nob: Quiudo lfagdie + fato ia 99B l'implicazion e Rempre veri e quindi Nu A mon da uformazioni Oss; "= pori damit cl Cso, (impsrtavallon comp il Pere" equivale a "hoy pori divas alle op cow pri :l Pere” onso dle eegparrie. (S Teorews ; 'a>G° da cado R' dim o d|a>B fado Be ® Vv VIA V|F Vv VO FF È FF F Vv V V | V 4 F_FI V V VO F e comfrodizudo = ta latesi cxvd, Tulle i er dì (opialeca laica a BB FE v EVI E VO F E VO v|jy E rerdzio (Hodu=Tnens) Provare clu (CES e al > 8° DEI rupie NB: Quito il alogiamo onisbta lio : Sos È om voro) e (CO =D iile) dd fon muse) Eserdalio: Senise în cuodo aquivalese 40 “Noe vero sie MO voglio q verdone e vaglio congae | cdi. Pm e "Veglio q canton" Be "ag lla compare." le opa aiuta non (Gma)e GS O o (ca) @ ind Sa @ © agio guadon o Gioni Veglio eci" 3" de cum eglo Guerdone allot. aeni veglio eccita” SA o Esprazio 1 Serinle im tuodo aquitaluto "Aa è È (o cha! wi placa l'aglio ©) au Ueglio bggilo dim Tolo al Qui Pica l'aglio’ - d- ‘vaglio omorigiane l'aglio” lo de mon (A e (en È) © (on 9) e B Sa Q > ® Noa Mi Gar legfio o vaglo Wougian l'aglio” E) LA emi placa l'aglio allen Voglio cracagiate l'aglio" eva. Na.: : PR vm mal : ; da ponti, la Proper love Va puo leggere eoqma "(rom ( (aa mipiàce l'aglio) e(non glio veggirlo) Eserdlo: Negone la ceguade Preponizione tazo, 3beR bl ala a>bso' ® din. Fr ove ©) owero coiiruin la proponizione mom G) | rh ronde c0ov nen (Ko, AbeR Te a>b>0) prra (E) "Raso :fpeR bra d 035° ®© Onmerriamo elu UTO palesemente Belao (coma pere (Dè polesemente Solae ILS quortò rmDS@) evdi closi ami = (Crpolereiza) : 26h, 3&R Oweavo E7 Fione a A Ve, xd £ (inclunione) L= 2Z'5>N (0) ( unione) Fg ‘suo six: bo? (comlnizian d ©) = Dx Oss: (fon a c (ali a) = Sust dd raf st Zi Gli memi ni gono die ((opresiia) In co modi «or cuozon i A-{434,5) B={-03} qer consibrigica: A-jxeN: 1 "ok)e (80) È clu si Pro con letale di Varta” ZI AQ Bee Are Ad Vv vi v \4 Vv 4 Vv Vv V V Vv V VA VV F Vv V VO w VE E) F È F Vf EvVi re V Vv VV EV e F F LA di EF Vv F|uv v Vv EEA, E] F F FF Ed) fn se) , l'gtone di afimionì di SI MO ta Ta: {e EC Sl Oss. de Cad Ya SLefà) ta Sa e) Foe LxZ={G08) è xeS e gez} ll puoi ostiriano & l'intoum del oppi ordiuite (9 ori eo plive chilo XE SZ e com necondo emo gel toletta di ail Sx, Geral im cuado de asdouzione ll grieno olarmal. \ Valli ELY la, (e lot cous fede, AS ui b' ZAN B AnB, l'intetmeztom@ tro Au ® = IS B AR, |A e AB ù B AB, L diffinnra ho AL ®B 3 An (Bu) = Ta,eol n (3-0,8C) - Ja,6l 4&' durqu la da Falsa da b) cmuitale mu (GT 0T3i»C)0 13] =Tmstul=ir opt) cla equi = (FosCa 1-9i]) ti) = peso v [-34C | teso = =, VERA | Esercizio 1.23: private le seguenti amilo: I l'al @2E = VE ENIFUG)= (ETFUG lm &h) EF=E0F ine |]E\F= 9 EC limi) (E\FICF\EI=® | b) EsFcafser: xefEe &F| = \xeR: xeEl nixeR: x& FI O s Eore À E\F=ÉoFt=% > Net, x& FS DOS: Stef, seF | => EsF | Travian il Nievo. Er > Eat4d > EYWaEnFe9 buo" b) d) E») n(Fse) î (E aFe) la (FoES) =E nf F) n teso la) | | | | | ta quasi mm sì sona cli ali lan dota — O, Ta vw intomo ed il nuo com plomersbue. MI i Esercizio 4,24 : determinate A{a,l.#}). $ Esercizio 1.25 ; determinate tutti gli elementi di {2} x {a; le) (21 3 Ne IERLE. che vale 43 QDpersloni Opera Logic: Smentita: _ Megatiome 1 Mom Q Com pe COMETA À Esngioriona ded intamezione : ÀAnB Aingionatore. do vniona + AuB lmzlicazioni: Q3B fo) ouisbler: ASB Bo A Aiagtonatsa erdunta: dat D diffnzo amala AT ragio la dol Aa 084) Oss: consen Q)A (AYA MeBlor'u'Mor)e(Bor)" #a,8.t "@o Det ' (Ger)o (0et)" ; Erandzio : | Traum cu (80 48) (A oB)uc = Aoc) a(Buc) Vasec A oB) NC = (AnC)u(Bnc) Ecerdaio (deggi di de su) bw (A e e) egual Ta “ (rom) o (neon a" CIA) "(com Q)- (x @)" Got: ACUTE (A oBÎ = A°n RE Tele dita dine = G|Q O, tl Det F| © V V E V di SÌ F F V V V F Oss: l'opera “out 2 topa "oenblunso", DUINO Quello che iu ‘Taliono con port So uu ‘omosg lo pista 0 nali la fina * tu ed lo Sei da Me È wr, dl (ud puovaotn) dele du offamovoni ( mou ni puo diaiumer ufo iùute von PN fe fore Q inmorìio queudo — Fia, maugionto IH) Boercìizio: Pofon 2a) "Quart © se "fa Bo [O e Gb] (© lo Troduas ia rrimbick n picdule omrsulo®an,) s Enerazdo : Posen che " "Qt B' me ‘ Q0B8)e [fu) è (ou 8] " €20) è [non (Ae) me“ unu (OSE) fas AsB = @oB)o (An) = [A “o (Antil CI = (AB lo) (FB) =JAn(G% ] oBo@8)] SE he v|@nA9 o(BaB) )] =(AnB)u(BoA°) = AB U(ABA) 
