Quout fia lair @ BE. Sib P(x) ome plopor tin dipeudeut de Ia voviahle EX. te quanti Pealear wniveaell j nol ¥, pimel de trime Ia propri tion (WaceX , Pl) gui shure locrgue Wi) sh viate pour bur Ly Wien de X, eb gut sh fassse 5¢ Pla) Sh fausse pow aumohny Un bloueak x & X, DEE. Bib 6) na peapitn pendant dee voiable 6X. be quate eriatintel , mb ay prmel de fume Ie propos ken (rex , 7) gu gh vade lavage Plc) 3) urate Peel Qumoing Um Aer: do X , eb gui stfeusse G Fle) sk Fassse pow tray 3 Clive de X, Fxenple, Le propoition (WxeR , xp.) tt fousse. I proper lion (J2eR P *Z0) gh ure, Prep: Sob 766) ne propo dipeudoal da In vviab a xEX, abe de WrEX , Pid) = (IzeX, Pe ) 4. Fxex, He) E>l2eX , PG ) from Soieak Pl) eb Of) Anon Propoikins dépeadauls do Ia vasebe xéX, 46 (Wxex , MAQUKED((YxeX, PO)A(Yaex, O4))) 4.(WREX, MV QU) Ze ((WxeX, Pe) )V(Yxex, QO) 3. (Axex , PAAGH)) => ((I2€X, Phd)A (4xeX, 04))) Y[Axex 5 PAV GE) <2r((Jaex, HV (426X, 06)Ftem ls. A. On cousidize Ay propoitins (tz0) ek (C0) dpeudanlg de Ia Vorishe xR. La propoition (W-xe R, (Xo) V (x¢o)) sh vie mac Ie pepritin Meer, (30) V Yee IR xo) st fassse. 2. On tmsidee Ly Popo bons (tox=o) et (sin =0) depron de la variable EIR. La propoitin (32€R, tox=0)A(JzER, Sinz =0) Ble Oe nF = S00 =0 6 Mas In pape in (AZER, lor) linen) Ob Fausse coy ce + Sint = 4 pow touk xe, Frog. Seit Pll 4) one. piepoitin dipeadaul de dong voviab-& 4.(Yxee, VyeE, Pla er ye E, VxeE, P(3)) 1.(32€E, yee, yy <>(Ayee, dxeE, Pig) 3. (d2€E, ¥yee , oye (yee, Jxee, Ply). Exemple. On tortidee [a [Roper bien (24>) depéadou} de deux voc'al & nye. la propo lion (ViER, azeR, xyy0) sh omic (P sf de prenve x=4) mai, Ja poperk Inept ‘ ” R* VyeR 0) sh faase (2 Suh do preadve jeu), (zeR*, SEN Ea ) sh fuse xy EE alu Ratoonnemen 5 logiguss Raisomemenk deduct’: Soient Pel @ dau popmitins « Dévnby Mingo (PQ) aint a vei hy quelle ot vraie . Le prewve direct de Unnpbtal (PQ) Consinl & Sppor que P sh ureie eb © dénonly qo Q shone. oe pow Contropesée : Soret PelQ deax Proper lions «Deine, be Imp lca kon (P>@) Pa Conlaposce Arevieud & me be que. Vip Bice bon (QP) 8} ute,Reironmement par labrurde : Soik P one proposition » La demonala tion poc Vabsucde de P Gvginh a Support que P sk fausre eb a ey deduire bre a bsurdi be , une ConVadiclor . Reteornenent: px Abtarence + Sout 1) Ure proper kon dipeudoub don aby nabscel n. Sif Nun tabi natireD donné « Dime |e Propesi ten (Yay, fn) Aevitul a vei fy queble 3h vue. Pur cela, on Prowde eu deux Chops : A due: on Veike que Pll) sh urate. a elope: on Sa ppore que Pin) 3) urate Por Un Cer dain n>, Chypothise de recurrence ) eb on montre neuy cote Ja pothise pe a proper Ho Plog) eb urate. Ti Yo aussi daubres Focmes de abturrence : Retatrence docdve 2; 4d, on veike que Pin) eb Plat) Donk vrais, de On Suppore que Pin) ek Plr44) om} uraig pow un Cer lain nn tk om mole qe la prepesi hon Pln¢2) sh urate, Recarence Suche: 4, On uti fie gue. Pim) 3h vie & Pow nyn, 2 on Suppoe que P(k) sk vie pornck £n e+ on mone que la Prope s: en Pon¢4) es} vise,Ensembbs, Des. On appelle eusenie E bute Collection dobes appels” Benen: de Vensemblo E, Si x sk un Bement de E on nole EE, GX r ‘st peo un AD de Ey om» nole xg, Remocqus. 4. Un ennemble 3b define de deux Fagen: pov ex basin: on Conatt la Bob de tour 98 elmeaS, pov Comprehension : On Connait reamed: Une propel gut pomeb ale aetroue lou, Le times S de Ee ae Pow aaperen te un unembla Ey on mel ts ehamen ee Frome t eendem bts, Poltiedleine aceelets 5 Gi Lo nombe de cs owenS- st Sint y on Maypelle Cardinal de E ek on to nek cad E, 3, L) eis vn eusember sappel® Jonrsenble vide enol dB, qui ne fontient aucun eleman&. On a alors tacd B = Oo, 4, Un endenble Contenauk on peut dbment- st appelé * “sing een done de Cardinad Gal & ade Des. On cit qe “on eagemble AA 3b une pac tie Dour ensemble) de Vensembe Bs Tout Blbmen ie ces Aicelvon eliment de B . On note ACB qe ‘on Lil A 4} incu dang Bs Longe bee de touls & ports d’un eurembe E sh nobé 92). Exemple Sik B={4,84 ) alvo SE)={9) (1 fh, 143}- Remocgus foie A et B deux enaenb® yon a ACBS(Yz, (xeA)>{eeB)) A¢Be(de, fct)N(et8))DEE. Soiuh Mek B deur euremble ; on dik gue A st &el @B 0B onb 4 mems eemens on note A=B Remogues Soieuk A eb B deux tusembl on a Rha Bé> (Y¥x, (xe) €>(zeB)) > ((ACB)A(BCA))- DE, Goiesk A eb B deux enrembl « On appelle in bicection de AelB Vennembe note AQB ds Weta qui cont dana AL ek dang B. On appelle agunion de A eB Iensembl nok’ AUB ds Cli usecS- qua Sot dans AoudawB. On a AnB af: (xeA)A(xeB)} AUB= fx: (xeA)v(xeB)}- Remogue + Si A el Bomb deux ensembls, alas (ANBCA)A(ANBCB) (ACAUB)A(BCAUB). Def. Sried- E un euremble et A une porte deE. On appelle Comp lementaire. de A dans E |enaembla naté GA des ElémenS de E gui ne conk pas dana A. Ona GAz{xeE: x¢A}. Remacgue + Si E shun esemble y alaes CfaE el GE=p. Prope Soiet E on euremble Ack B danx polis, de Ey alors 4. ACB&yGacca 2 GIGA=A 3. C(ANB)=GAUCB 4. G(AUB)=CANGS.co Den.A. Ona ACB olvxeE, (xeA)=>(zeB)) NXE , ed B) = (x A)) conbaparte de Hip icon CW xEE , xeG8) = (xeGA)) & OBCCA. a Sok xe E 2 one xeC (Cae x¢GA &reGA &> =A ée xeA, 3, Sob x€E ona xeC(ana)ey xPANB 2 Sis <& xeAnB <> (zeANGeB) &)((eea) v8) resale de Morgan & (fee A) V(xg8)) afeegayy xe G8)) & rEGAUCS. Y. Sik x€E, ona xe G (Avs) <> x AUB —& xXEAUB & (x€A)v(xeB) | eh) (xeB) ) rele de Morgan © ((#A)A (xd) & ((xe CANA (€6, 8)) & xe Canes. DEE. On appelle poctition d/uu cute bOVE y boule Femi lle FC S(E) th quer 1. VAES Add 2 VASES, (A¢B) => (ANB=p) 3. ee =E Remorgue, Spieak E un earemble oF ACE avec ALD eb ALE, als ly Luilla FaACAY clone pide E,