Dnivie Exerciew t= paints neat lorsque Les ne tebved ote donent recewuir lee cléa oa TL ony atest sbi ata diar: PIE OMT ES Chay foots respond wor 13 pilus petite vi 1 possible dear on de seutse les cing personnes, de telle inate ine le wolf i ions suivantes fer ane ertities uisse Gtre ouvert si et sen inde de a,c et d. ange de bc ete présence simu | Exercice +} un ensemble de bu Suppose que P = {p,,p2,..., pn}. Soit ¥ une valuation sur P. Donner une formule F qui n'est pas une tautologia telle que V() =1 : 7 points yatboles de proposition. 2. Montrer que, lorsque P est fini, pour tout ensemble S de valuations sur P, il existe un remble de formules £ vet que S est exactement l'ensemble des valuations satisfuisant 3 Qn suppose que P est infini. Soit n > 1. On pose S, (8) Montrer que $, est fini et détertniner son cardinal. ve {0,1}?: vk>n, v(Pe) = 0}. (8) On suppose que S, = {v1..-.%p} et qu'il existe ua ensemble E de formules sur P |, felle que S, = A(E). Soit f une valuation sur P satisfaisant f (pat) = 1 et pour tout | k>n+h, S(p:) =0. i. 9) Montrer qu'il existe i € {1,...,p} tel que v, (s) = £(@5) pour tout j € {1,....n}. | b) Montrer que pour tout F € E, uF) = f(F). |e) Conclure i I Exercice 3 : 4 points Etaltlr les résultats cuivants oi F, G et Hf cont des formules : 1 (FVG) 3 HEFSH; es He 7 (GAH) +(F 44); —3. Ho(eva) -FA4G; 4. Hi(Vay)F — (vys)F Exercice 4: 5 points | 9.1) est le langage dec cancaux unitaires, et “A est un anncau coramutatif unitairg: Donner une formule F telle que : 2) AF F esi A est intigre. F s3i A contiont exactement 4 &fcz:1!s Hempotents, ©) Pour tout a € Aa € JAF) "oat engendré par a est premier. (Ja(F) est Vine terprétation de F dang A.) ssi t i 1 ae| Ecole Normale Supérieure | Wxamen de MA 407 (Logique) 2018-2019 | Durée : 3 heures I Exercice 1: 4 points Un coffe fort est muni de n serrures, peut étre ouvert uniquement lorsque les T serrures font sirpltanément ouvertes. Cing personnes a,b, ,4 et ¢ doivent recevoir les clés corresponsianls derteines serrures. chaque clé peut éire disponible en autant d’exemplaire qu'on le sox . Uile personne peut recevoir au plus tune elé per serrure. ee \n demande de déternine a plus petite valeur possble den, et de lu associer une répartition She centre les cing personnes, de tslle maniéze que le coffre puisse étre ouvert si et seulement si ba se trouve dans l'une des situ: 1s suivantes présence simnultanée de a et b. présence simultenée de a,cet d. > \& + présence simultanée de bcete. 0% el E ki Exercice 2: 7 paints. P = {Pipas---sPas--} tn ensemble de symboles de proposition JL. On suppose que P = {ni pa}. Soit V une veluation sur P. Donner une formule J° | qui n'est pas une tautologie telle que V(F) = 1. ‘2. Montrer que, lorsque P est fini, pour tout ensemble S de valuations sur P, il existe un |” ensemble de formules E tel que 5 est exactemcnt !'ensemble des valuations satisfaisant iE. | (a) Montrer que S, est fini et déterminer son cardinal. (b) On suppose que Sq = {vi,.-.,¥p} et quill existe un ensemble E de formules sur P telle que S, = A(E). Soit f une valuation sur P satisfaisant f (pa+1) = 1 et pour tout, k>n4l, f(r) a) Montrer qu'il existe i € {1,...,p} tel que vs (93) = f (pj) pour tout j € {1,....n}. b) Montrer que pour tout F € B, u(F) = /(F). ©) Conelure i fi | Exercice 3: 4 points bli les résultats suivants ol F, G et H sont des formule : |. (PVG) + HEF H; FE (GAR) 4(F 4); (PVG) 4 -F ARG; - . F (Vay) F > (Vy) ! Exercice 4: 5 points fe 1) est le langage des anneaux unitaires, ot A est un anneau commutatif A Donner une formule F telle que : F F ssi A est intégre. sn. 9 AF F ssi A contient exactement « éléinen!: Pour tout a € A,a € Jy(F) ssi terprétation de F dans A.) : | by CamScanner | . On suppose que P est infini. Soit n > 1. On pose Sy = {v € {0,1}: Wk>m, u(p.) = 0}. ween RE Scan| | | | ECOLE NORMALE SUPERIEURE : CONTROLE CONTINU 2 DE MA 407 (LOGIQUE) 2014-2015 DUREE: 2 HEURES . Exercice 1: 10 points ‘On cousidére}ensemble des variables propositionnelles Pa = {P1.P2- et F une formule de Form(P,). (1) Montrer que haut(F) < tong(F). ‘ (2) On suppose que haut(F) = E. Montrer que: (2) 'F-contient au plus 2*—1 occurrénces de symboles de connecteurs -binaires. (b) +1 < long(F) < 2-3, (3) On pose F's: iy rece APa)) eG A. ( Vp5)- Montrer que EF ¢ G. a eh Fi Exercice 2: 10 points = ) est un langage du premier ordi ort f = (=: fz) premier ordre ne comportant qu'un sym- bole d’opération unaire f. portant que seme (i) On considare les formulés suivantes de C: (Wa NFF@)) = 2A“) X 2) ev (a) Donuer un modale de-P = {y,v}-. = (b) Montrer que les deux formules suivantes sont des conséquences say mantles deg: OG (Ve) OU) © 2) AULD) & FED 02 = (V2) [(F(y) = 2) AU) *2) + (Y= 2)] (2) Pouritout entier naturel non nul n, on pose: = (Gr1.-t)(¥v) ( (der w=) A(,¥.,0* =) Soit A= (A; fA) un modile de Ty = (y.Ta}. On définit la cela- tion binaire R sur A par aAbsiet seulement sib € {a, f(a), f*(/*(e))}- (2) Montrer que & est une relation d'équivalence sur A; en déduice que Card(A) est un multiple de 3. (bj Sin est-un multiple de 3, montrer que Ty Tr. admet un modéle.=] fontréle continu de MA402( Logique Mathématique), 2014-2015 Durée : 2 heures : : Exercice 1 : 10 points jemble des variables propositionnelles. On désigne par E le plus petit ensemble de Iphabet PU {-, A, v,—9, 49, (} tel que : -Fe 1G € E,0 € {A,V, 4,49} > (FaG € BE. Pour tout mot F, en note O(F) le nombre d'occurrences de parenthises ouvrantes dans F et P(F) le nombre c’ozcarrences de variables propositionnelies dans F. On définit 1a correspon- dance f de # vers Form(P) par induction de la maniére suivante : ~ Si F est ut cigment de P, elors f(F) = F: : aigict qu2 £(G) est définie, alors f(F) = =f(G); HaG avec a € {A,V,-4,44} et que f(H) et f(G) sont définies, alors f(F) = . hit, que f est une bijection. En déduire que E est dénombrable. 2 ee =2 que toute fofmule de H ce termine par une occurrence de variable proposition- Ld ge zr que pour tout segment initial propre M d’une formule de E, on a: p(M) < O(M). ab 4) Pour tute formule F de E, exprimer simplement p(F) en fonction de O(F) et démontrer larélafon obtenue. 2 PE = offors ete 5) Montrér qu'un segment initial propre de formule de E n’est jamais une formule de EdLp? 6) Définir|pvec exemple & ]’appuis les termes suivants : terme ; formule du calcul de prédicat ; Pn} qui satisfont : i jo F = (py + pa) A (p24 03) A A (Pn-1 4 Pn)? APA 25 normales cosijonetives canoniques de Fiet de G pour tion sur la hauteur d'un formule que pout toute fo:uv'2 F du caleul a i + scanned by a awr wus Contréle continu de MA407, 2016-2017 Durée: 2heures * Exercice 1. Soient p, g, r et 5 des formules du calcul propositionnel. Montrer que : 8) ((@ 4 (@V7))@V 7), ~a)} E (Oa?) B) {la (rAs)),rV-9)} Fe. \ Donner la forme normale conjonctive canoniqué de chacune des formules suivantes : . VER a) (@A@ +1) AVP) +7). b) (A@ > 9) > (PA-9)). Exercice 2. © L Définir avec exemple & I’appuis les expressions suivantes : Variable libre d'une formule du calcul de prédicats, terme, formule atomique, une C-structure pour un langage £. On considére le langage des prédicats £ = (Compose, Opposes; suiv, prec; r, b, j) de signa- ture (3,2;1,1;3); et la L-structure M = (E;r, 5; f, 4; Rouge, Blanc, Jaune) ob : E = {Jaune, Rouge, Orange, Bleu, Vert, Violet, Noir, Blanc}, r = {(Bleu, Jaune, Vert), (Jaune, Bleu, Vert), (Rouge, Bleu, Violet), (Blew, Rouge, Violet), (Jaune, Rouge, Orange), (Rouge, Jaune, Orange)}, 5 = {(Jaune. Violet), (Violet, Jaune), (Vert, Rouge), (Rouge, Vert), (Ble, Orange), (Orange, Bleu), (Noir, Blanc), (Blane, Noir)}, ‘f(Rouge) = Orange, f(Orange) = Jaune, f(Jaune) = Vert, (Vert) = Bleu, f(Bleu) = Violet, f(Violet) = Rouge, {(Blanc) = Noir, f(Noir) = Blanc, Rouge = y(Orange), Orange = g(Jaune), Jaune = 9(Vert),Vert = g(Blex), Bleu = (Violet), Violet = 9(Rouge), Blanc = 9(Noir), Noir = g(Blanc). TI- Répondre avec justification aux questions suivantes : 1) M estelle modale de F{(Noir, Bleu, Rouge)]? ot F(x,y,2) 2) M est-elle imodale de G{(Bleu, Rouge)] ? 03 G(y, 2) = suiv(suiv(z)) = jAsuiv(suiv(;)) = =yV-(e=2). » IlI- Donner I'interprétation de chacune des formules suivantes dans M : 1) suiv(z) = y + precy) =2 2) Opposes(x, suiv(suiv(suiv()))). IV- Dire si les formules suivantes sont vraies dans M : 1) Vz Wy [suiv(suiv(z)) = y + 2 = suiv(suiv(suiv(suiv(y)))))- 2) Vx 3yl(Opposes(z,y) V x = y) A Compose(prec(y), suiv(y), y)]- Exercice 3. 1) Quelles sont ies valuations sur P = {p,,...,Pn} qui satisfont : ’ a) La formule F := (p; ++ p2) A (P2 9 3) A.» A (Pa—1 +? Pn)? oe b) La formule G := (FA (Pn + 21)? 2) Montrer par récurrence sur le hauteur d'une formule que pour toute formule F du calcul Propositionnel, il existe une formule équivalente G qui ne s’écrit qu'ave: les connecteurs nev. Scanned by CamScanner iBS 7 Contréle continu de MA407, 2016-2017 Durée . 2 heures Exercice 1. Soient p, q, r et s des forraules du calcul propositionnel. Montr : _ aooay 1), @V1), (4 -O} F (a7). b) {(@ > (As), (FV -9)} Fe. ‘ 2) Donner Ia forae normale conjonctive canoniqué de chacune des formules suivantes : a) (A> 7) K@V-9)) 41). >) >) + @A-9)- * Exercice 2. I- Définir avec exemple a l'eppuis les expressions suivantes : Variable libre d'une formule du calcul de prédicats, ternie, foriifite Stéimique, une C-structure pour un langage L. ‘On considére le Langege des prédicats L = (Compose, Opposes; suiv, prec; r,,3) de signa- ture (3, 2;1,1;3); et Ia L-ctructure M = (E;r, 5; f, 9; Rouge, Blaric, Jaune) oh : E = {Jaune, Rouge, Orange, Bleu, Vert, Violet, Noir, Blanc}, 5 = {(Bleu, Jaune, Vert), (Jaune, Bieu, Vert), (Rouge, Bleu, Violet), (Bleu, Rouge, Violet), (Jaune, Rouge, Orange), (Rouge, Jaune, Orange)}, s = {(Joune, Violet), (Violet, Jaune), (Vert, Rouge), (Rouge, Vert), (Bleu, Orange), (Orange, Bleu), (Noir, Blanc), (Blanc, No f(Rouge) = Orange, f(Orange) = Jaune, f(Jaune) = Vert Violet, f(Violet) = Rouge, f(Blanc) = Noir, f(Noir) Blanc, Rouge = g(Orange),Orarge = g(Jaune), Jaune = 9(Vert),Vert = 9(Bleu), Bleu = (Violet), Violet = 9( Rouge), Blane = 9(Noir), Noir = g(Blanc). T- Répondre avec justification aux questions suivantes : 1) M est-elle modile de F(Noir, Blew, Rouge)]? ob F(z, y, 2) « 2) M estellemodtle de (Bleu, Rowge)}? ob Gly, x) = suiv(suiv(s)) = jAsuiv(euiv(j)) = »f(Vert) = Bleu, f(Bleu) = vy I1l- Donner I'interprétation de chacune des formules suivantes dans M : 1) suiv(z) =y + precy) =2 2) Opposes(z, suiv(suiv(suiu(2)))). IV- Dire si les formules suivantes sont vraies dans M : 1) Va Wy [suiv(suiv(2)) = y > 2 = suiv(suiv(suiv(suiv(y))))) 2) Vz 3yl(Opposes(z,y) v= = y) A Compose(prec(y), suiv(y), y)]. Exercice 3, 1) Quelles sont les valuctions sur P = {p1,...,Pa} qui satisfont : 2) La formule F b) La formule G :: 2) Montrer par récurrence sur le hauteur d'une formule que pour toute formule F du calcul Propositionnel, il existe une formule équivalente G qui ne s"écrit qu‘avec les connecteurs set vy anned by CamScannerExamen de rattrapage de MA407, 2016-2017 Durée : 3 heures Exercice 1. 10 points Un ensemble A de formules du calcul propositionnel est dit indépendant si aucune formule A € A n'est conséquence de A\ (4). 1) Montrer que pour qu'un ensemble A de formules soit indépendant, il feut etl sufi. que tout sous-enserable fini le soit. 2) Montrer par récurrence sur le cardinal de A que pour tout ensemble fini .A, il y ® un sous-ensemble indépendant équivalent B(c'est-t-dire tel que toute formule de A soit conséquence de B et inversement). 3) On se propose de montrer gue pour tout ensemble A dénotbrable, il existe un ensemble B indépendant et équivalent & A. 8) On suppose que tout élément de A est un théoréme. Déterminer B. ) On suppose le contraire de a). Supposons que A = {dq :n € N°). Soit A; la premitre formule qui ne soit pas un théortme. Posons 5; = Ay et par récurrence, posons Bn1 = (Bn A Aj) od Ay est 1a premitre formule de A qui ne soit pas conséquence de B,. On pose B = {By :n €N"}. (@) Montrer que B est ua sous-ensemble de l'ensemble des formules conséquences de A et que chaque formule de A est coaséquence de B. (8) Montrer que si B est fini, alors B est équivalent & {7} ob T € B et que {7} est indépendant. (ii) On suppose que B n'est pas fini. Posons Cy = Br, Cz = (Bt + Ba)y---Cn = (Bao + Ba) et C= {Cyn EN}. Montrer que chaque C; n'est pas un théortme et que C est indépendant et équivalent & A. 4) On pose A= {pisPi Apas-+-sP1A.--APns--.} 0X ps est un symbole du calcul propositionnel. A est il indépendant ? Donner un ensemble B indépendant équivalent 4A C Exercice 2. 10 points (/& DéGinir avec exemple & Pappuis les expressions suivantes : Variable libre d'une formule du ealeul de frédicats, terme, formule atomique, une Cstructure pour un langage £. ‘On considire le langage des prédicats £ = (Compose, Opposes; suiv,prec;r,j) de signature (8,2:1,1:3); et In Catracture M = (Brr,a:f,01 Rouge, Blanc, Jaune) ob: ea LS) E = (Jaune, Rouge, Orange, Bleu, Vert, Violet, Noir, Blanc}, += {(Bteu, Jaune, Vert), (Jaune, Bleu, Vert) (Rouge, Bleu, Violet), (Bleu, Rouge, Violet), (Jaune, Rouge, Oran: 3 = {(doune, Violet), (Violet, Jaune), (Vert, Rouge) (Rouge, Vert), (Bleu, Oronse) nn auner Rouge, Orange) (Orange, Bleu), (Noir, Blanc), (Blanc, Noir)}, Huge) = Orange, f(Orange) = Jase, f(Jaune) = Vert, s(Vert) = Ble, f (Blew) = Viole, f(Vielet) = Rouge, f(Blanc) = Noir, f(Noir) = Blanc, Rouge = 9(Orange), Orange = 9(Jaune), Jeune = o(Vert),Vert = 9(Bleu), Bleu = (Violet), Violet 9(Rouge), Blane = g(Noir), Noir = g(Blanc) Tl Répondre avec justification aux questious suivantes = 1) M estelle modile de F{(Noir, Bleu, Rouge)]? ob F(z,y,2) = 2 2) M est-elle modile de Gi(Bleu, Rouge)|? ob Gly, 2) = suiv(suiu(z)) = jA suio(ouie(s)) = L- Donner Vinterprétation de chacune des formules suivantes dans M : 1'euto(z) = y #9 preely) = 2 2) Opposes(z, suiv(ouiv(suiv(e))))- IV, Die te formes vin sont is das fz Wy [euiv(euiv(2)) = y+ 2 = suie(suiv(euiu(suiv(y))) 2) ve B(Opposeste.y) Ve = y) ACompoaniprecin mop Scanned by CamScannerDye Exdmen de rabtrapage do MA 407, 2015-2012 Durée : 3 heures Exercleé 1: 4.polnté eat un ensuble de forinules du caleul propositisnae, nel, ‘Montrer en utizat les déductions qué si (Cy~A) F 8 | 2) Montser en wan les valuations que w {FA} Fr B lore f err + gence 2: 8 ots, 1) Définir Jes tonnes suivants : Variable libre; ‘Terme substitusble & une variable. : 2 Pe aegeen e wto S Sh; J symbole de fonction d’arité 2, 4 symbole de constainte;*~ inbole de relation d’arité Gilead relatiqn’ darité L Eomsen rh = 1&0) MEA MEIeN: | Dn eontidére, st a Pepa ie ernee (A, +4) =(A, ret B= (5, et etn een Bi. ed eétditions cuivantes sont x de deat e Seg nuies Teen vm Cat pring elles Te do £ dont les nddiles eft fan any soat les C-strichires M pou le ell Ee = lar po ossflant une Infinit de slacses a Equivalence ae - Sy Monte ay ef cont __ re at Eee niente n'sdmetye Horta Mngt tute | Ns Fhoicbor) I NAO? INIVERSITE DE YAOUNDE 1 FACULTE DES SCIENCES Département de Mathématiques 1 Contréle Continu - UE MAT402 (Logique 1) | 2010 - 2041 (Semestre 2) \ ice 1 | considére l'ensemble de varisbles propositionnelles Pas 2= {Po,Piy---»Pu}s | {indices des variables sont considérés commes les éléments du groupe additif Qe 2 )), et les opérations + et - sur'ces indices sont-celles du groupe. = {i + p40 Er a Hen ei eet prop dco mia te re Ee - 5) Soit F vie formule dé Forin(P) syait m occurrences du symbole négation et n occurrences de de coninettenita Binalres. Solt ¢ Kermile de E(F) ayant & occarteneis dia eyibole négation ob | . occurrences de'symboles de coiinecteurs binaires. Déjermiiner i(F) en fonction de m et n en fonction de k et t, On déontrers Ia formule obtence. ie ee) EBxetcice 8 : 7 points ~YGit th langage di Grenier éidie nPEoinporint QUT nsboletopsAation unkire f. —— Ee 1) Pa considice les formules sulvantes de £ + : aa es ventauscrea mia) AnUs(@) a et v= Gaye (e) Donner in modéle de P= fo. . (b) Montrer-gue 1éé deux fortaules gulvontes sont des conséqt A .ces séinantiques de F eens Coun =) a le wen s FED os “WSU wa)A ise 2) — (vez) Ta Beinza)(vy) (cs raider @imay)) A(,¥,.%20)) Sott A= (A; 14) un modile de Ta = {¢, 1a). On définit Ja relat binaire R sur A par aRb si mipsave © HEP Nati a Rept tatin Pees dedure (2) Donoer un moddle otal ce et aa dey. 00) (cS dene =) Scanned by CamScannerS & Bw rR Stine 2015 que Mathématique), 2014 le continu de MA402( * Conte “Di 2 hemes: ¥ = i * ? Exercice 1: 10 points is P Yensemble des vorisbles propositionnelles. On désigne per le plus petit ensemble «le jots sur, alphabet PU {-, V,, +44(} tel que = -PCE; (% ak - Pees Fe 5; Lent te - FEB.CEE2E{AV, 4.0} + (FaG EE. Pour tout mot /, on note O(F) le nombre d'occurrences de parenthéses ouvrantes dans F et 0 FCF) le nombie d'occurrences de variables propositionnelles dans F. On définit le correspon- dance f de E vers Form(P) par induction de la manlére suivante : “aii F est un élément de P, alore f(F) = F; ol i= re et que /(G) ast désnie, alors f(F) = ~4(G); “ a F) F's (UlaG avec a €'{K,V,-4,44} et que {(H) et f(G) sont définies? alors J(F)-= & Seni que f est.une bijection. Tn déduire quek ibrable. : 7a Mone ‘Montrer que toute formille de £ se termine:par une occurrence de variable proposition- : = ial jaca tie ee ‘de‘E, on aip(M) < O(M). 4) 3 } x yr * fe = -3) Montrer ue Bourtout segment i as oe Pour tstite Torniile’F de 5) exprimer Simplempsaematn ton de O(F) et démontrer ‘Ia relation ebtenue. © §5)-Montrer quiyn stgihént ihitial fropre de formule de-Statesijameis une formule de E. ” *. 3 ‘exemple & l'appuis les termes suivants : terme; formule du caleul de prédicat ; variable libre. Lo . os Exercice 2: 10 points i) Quelles sont les valuations sur P = {p1,---,Pn) qui satisfont : 8)'La formule F.:= (py > pa) A (p2 Ps) A.A (Pai -# Pa)? e b) La formule G :=(F (pn — Pi)? ~ g) Doriner is formes normals disonctives canoniques de F et de G pour.n 4) Donner les formes normales conjonctives caribniques de F et de G pour n = 2) Montrer par-induction sur le hauteur q'tine formule que pour toute formule propositiorinel, il existe une formule équivalente G' qui ne s'écrit qu’avec les connecteurs net. Scanned by CamScannerasi ss = S ¥ | -yfovenrs DE YAOUNDE 1 FACULTE DES SCIENCES t Département do Mathématiques : Contréle Continu - UE MAT402 (Logique 1) 2010 - 2041 (Semestre 2) xercice 1 On bonsidére Mensemble de variables propositionnelles “Pia = {PoPrs-- Par} 2 les thdices des variables cont considérés commits les @léments du groupe edditit as +h-i0), ‘ct les opérations + et - sur'ces indices sorit-celles du groupe. - 1, Soi == (i > p-dr0 @>>)- ») (p40) vr. Exercice 2: 8 points Dans le langage £ = (r,s; f,9;¢) de signature (2,3; 2,2; 1) avec V = {9,z1,22,...} comme ensemble dénombrable de variables, on considére la structure A = (w; <,7; +, %;0), 00 (a,b,c) € | r si et seulement si c est le PGCD de a et 6. 1. Pour les termes ty = f(1,9(va,a3)), t= S(aleath)e) et ts = o(tasta), évauer tt pour chacun des éléments ci-aprés de AY : (@) 2 =(2,4,5,7,12,-1,...) (8, 2,1, -5, —7, 12, -1,...) 2. On considére la formule F = (s(z1,22,23) + (s(f(9(z1, 23), 20), 9(Z2,73).3))) (e) La formule F est-elle satisfiable dans A?; F est-elle vraie dans A? (b) SiG = Fle/ze), G est-elle vraie dans A? ‘déterminer J4(G) et donner une bs474.™,95) formule wile dias A'dont Gent ane aorarenses mer AO) tA be CU CT ag = FHA (a4, 20) —> ea > PSA 2.44) Scanned by CamScanner[——+ _ fr i pete Bxercice 1: 10 points ; Ungformule A du calcul propositionnel est satisfiable s'il existe une valuation V téhte que V(A) = 1. I) Donner un exemple de formule safistiable tun exemple de formule ; le. 3. Bzole Normale Superieure Contréle continu 2 de MA 407 (Logique) 2016-2016 . Di "non sattstiob we of () Montrer qu'une formule ALCCAicfable si et seulement ci A n'est |) pas une contradiction. Jay--ieln(@t > 4) des formules du calcul propositionnel et soient ‘a-2 dé ‘atfables propositionnelles qui n'occure pas dans D = In V din: Ont GOustrult E'tel que : B= (Ly V Iq Vex).A (ea V Ea Vea) A ‘Le V 63) Ax." A (“enna V Lmnt V Enna) A (ena V Lm V €1)- Ja-suite £ est le langage du calcul des prédicats. On se propose de te résultat’suivant : Soit A une formulé de £ et yi.-..,Un les seules Wores de A. Albto + A af et seulement sf VGPEV IGA. , lontres par itductign siirn que si tA alae Vin wa VynA. = at ci ea | a1 = Was) & =) A(I(F(2)) © F(@))) 22 = We)F(W) © 2) A (F(2) 2) = fy x 2] tout entier naturel non nul n, on pose : Th Banta) (W) ( Gather 8 #)) A (ee ue =))) felt = (A; 44) un moddle deT, = {y, 7}. On. déGnit la relati ee sur A par aRb si et seulement si Bis LAC), FA F4(a))}, trer que F est une relation d’équi j i | 42 Card(A) est un multiple der uene® SUF Ai en déduire (0) ! Sin est un multiple de 3, montrer que T,, admet un modile. Scanned by Camcanner Scannec “ U~ Ecole Normale Supérieure Controle continu 1 de MA 407 (Logique) Durée : 2 heures 2018-2016 Exercice 1 : 12 points | ositionnelle ou la négation d’une Dans le calcul propositionnel, un littéral est une variable prop ++ V Xq 0 chaque X; est variable propositionnelle ; une clause est une disjonction X; V X2 V~ un littéral T- Une association est.régie par le element i intérieur svivant : arti. Les membres de la direction financlére doivent étre chofsis parmi ceux de la direction générale. art2, Nul pe peut étre A la fois membre de Ia direction générale et de la direction de la bibliothéque e'il n'est pas de la direction financitre. art3. Aucun membre de la direction de la bibliothtque ine péut Stre membre,de la, diréetion | financiére. On désigne par f,9,5 les propstions stomique "été membre de Ie direction Sonicire? Iresp. générale], [resp. de la bibliothque}. (eva) me sont. jere le coonedion teraire h défini par h(p,. ae) = : 3 Mone gue ! a) @49) + (G4 4079) es +b) (p> ag) yr. oe ne +" Bxérciée 2 8 points f:f,gie) de signature (2,8;2,2:1) avec i : ‘ensemble dénombrable de variables, on considéré la structure A = (u'<7-¥, %;0), 04 (a,b,0) € 7 sivvt seulemént ai c est le, PGCD de a et b. ie 1.- Pour les termes th = f(21,9(t2%3)), 2 = f(9(z2,4)) chacun des éléments G-aprés de A“: (e) 2 = (2,4) .5,7,12,-1)...) 0) Z=6, 21,-5, 7,12, 1...) 2. On consdize I ffm F = (o(21,21 23) (oti tatenes) 2052.29.23) (@) La formule F est-clle satisable dans A?; F est-lle vrait dans A? (b) Si G = Fle/zo), G estelle vraie dans A7; sinon déterminer ‘J4(G) et donner un formule vraie dans A dont G est une occurrence. Scanned by CamScannerECOLE NORMALE SUPERIEURE EXAMEN DE RATTRAPAGE DE MA 405; 20) DUREE: 3 HEURES ‘Exercice 1:(10 points) aa: Soient G un groupe d’élément neutre ¢; H, A et B des sous groupes a 1) Ox suppose que G est dlordze 2n (n € N*) et que H est d'ordre n aver 17 dindice 2 dans G. . a) Montrer que sig €G\ H alors Hg =Oet G=HUgH. >) En déduire que pour tout g € G. 9° € H. 2) On suppose que G = Ay le sous-groupe alterné de (Sa. symboles. (i) Soit o = (abc) un Scycle de Ss permutation paire. (ii) En déduire que Aq n'admet pas de sous-groupe d’ordre 6. 3) On suppose G d'ordre p* (oi p € N premier) Montrer que G est résoluble. 0) groupe symétrique sur 4 Montrer que peut s°écrire comme le carré d'une | ) Montrer que (S;.0) est résoluble. a ue (Se,0) est ) On suppose que G = AB; ANB = {e} et que A est invariant dans G. \ Moatrer G ext icomorphe au produit semi-direct AX ¢B oh y représente l'application \ définie pour tout (a,b) € A x B par ys(a) = oh Exercice 2: (10 points) I- Soit (A,+,-) un anneau unitaire non trivial vérifiant Ia propriété (P): Wu € At Bly € A/uvu =u, A est sans diviseurs de 2éro. A. est un corps. 1) Soit w € C une racine de P = X?—8X +c ob, c€ Zet b? — 4c <0. (i) Montrer que Z(u) = (p+ qu/ pag € Z} est un sous-anneau de C isomorphe & Z[XI/(P). (ii) Quels sont les unités de Z(w) pour P = X? +1; Puis P= X?- X45? 2) On pose w = iv5. (i) Montrer que 3, 2+ iv5, et 2—iv5 sont des éléments irréductibles de Z(iv5). j (ii) Z{éV5) est-il un anneau factoriel? IJ- Répondez par OUI ou par NON (cout en justifiant clairement) aux questions suivantes: ‘a) Toute extension algébrique simple est finie et réciproquement, toute extension finie est formée d’éléments algébriques. b) Tout élément w d'une extension finie K de F est algébrique sur F et vérifie une équation irréductible sur F de degré n au plus ob n= [K : F]. ©) Si K est une extension finie de F de degrén alors tout élément u de K a pour degré par rapport & P un diviseur de n. 4) Tout polynéme non constant sur un corps quelconque admet un corps de décomposition. e) Q(¥2) est un corps de décomposition de X# — 2 sur Q. £) Le polynéme minimal de a = 75 + V5 sur Q est X4+ X +1. £) (Q(¥72.a) : Qj = 12 avec af + 60+ h) Si-K est un corps de décomposition de X* ~ 2 sur Q alors [K : Q] = 8 4) Si KD k est une extension séparable et finie alors il existe a € K'tel que K = k(a) j) SiG est un groupe d’automorphismes d'un corps K alors ensemble k = {z € K / o(z) = z Vo € G} est un sous-corps de K. Scanned by CamScannerao UY a [ il Bxerciée 1:(10 points) ‘G un groupe d’élément neutre ¢; H, A et B des sous-groupes de G. a feeom ‘que G cst d'ordre 2n (nt € N*) et que H est d'ordre n avec H d'indice 2 \ fee: ‘ Thy Mobtres que si 9 € G\ H alos HO gH = etG= HUgH. J ay |pot) Ba sétuire aue pour tout 92.6, g?¢ i. 7 yy > {Db suppose que G = ay le sousgroupe alters de {S,,0) groupe symétrique sur 4 @) Soit o = (otc) um Bayete de $y. Montrer que o peut «'écrire comme Ie arré d'une a. Permutation paire. 5 . Gi) Bn déduire que Aq n'admet jse de sous groupe d'ordie’6. 'n suppose G d’ordze p* (oi p cfireeain) ‘Montrer que G e&t résoluble:’- aus (S¢,0) est nésoable fo Suppose due G = £5; ANB + {e} et qué A est invariant - — i Monte que cmorpe a positcae nes dng on prgnémte aplication Mfinie (pour tout (c,t) € A x B par ys(a)'= bab" . & points} be a~{uono~( @ i)) aseee} : ea 3) (A, +,.x) est-il un annesu unitaire?. (1 pt) 2) On pote I = {M(a,b,c) € A/ a+b+e=0}. . ~ Bi) Mottrer que Zest 1 idéal principal de A. (1 pt) . ; \ | i) Z/est-il un idéal maximal de A? (1 pt), fee T- OnHésfgne per A un anneau commitatif uxftaire; S une partis multij je LD \ A LT Ky et'do des idbsux de A. Pour = € A, onpose Ie = {a© A/ ox €T}. Rad(N) de I. $,= {cE A/ 386S;£ ET} ot T est une partic multiplicative sta] \ (1) Mpntrer que S, est une pattie multiplicative de A. (0,5 pt) que S-*Rad(1) = Rad(S—*1). (1 pt) sy) Bang: Bae) — , Soit (4 +,,) ua anes en‘teire non trivial vésfiant la propri (P): Vu d A 2ly @ A fac iu, am Cee Montrer que: = g uv dy, : i ii) A diviseurs d , i és e ia le 20. anned by CanScanner Scis Ecole Normale Supérieure ‘ und Eco Département de Mathématiques Université de Ya: Examen de fin de premier, semestre coy MA dos iatgesne” Durée: 3h Probléme 1+ Soit G un groupe d'élément neue e, Hun zous-groupe de G, H& G. On désigne par Aut(H) le groupe des automorphismes de H et par N le groupe des auromorphismes interieurs de H, D(G) le groupe dérivé de G. K = {x € Gich = hx,Wh © H}. End(G) désigne le groupe des endomorphismes de G. Z(G) est le centre de G. 1. () Montrer HK et WV sont des sous-groupes invariants de G et de Aui(H) respectivement (il) Construire un isomorphisme de G/HK vers un sous-groupe de Aut(H)IN. - : Gi) On suppose que Aut(H) = Net que le centre de H est réduit & {e}. : ear ies que G est produit direct de Het de K. ib 2. Pour & © N°, on définit le km. éciv comme étant égal & D(D™'(G) Spark Non dein te rope deve DG) comme ttt! 8 DID™'(@) @ Ve © End(G),p(D4(G)) § DMG). » (it) G est résolubte si et sevlemel¥ s'il existe & € NY tel ue DO) = 4}. 3. Déterminer D(S,) pour n € {1,2,3,4}. 7 ‘ ° 4. On suppose qu’il existe n € N tel que : *.¢2+ & xeoxt soit un element de u/(G). Montrer qug: + (i) V@xy) € Gv € G/y = xy" i) vee GxtteZG). ' ~ Prabléme 2 Soit (4,+,.) un anneau non trivial, un idéal de A. J. Qn suppose que : Va € A* 3{b © A/ aba = a. Monterque: p ‘bab = 6; (ii) A est intbprery) est un corps., 2. On suppose que A est fini et que la caractéristique 4eW est p < N. (i) Déterminer s € N tel que : Card(4) = p’. (ii) Montrer que,si s, = 1 et que 4 contient au moitlt un produit non nui, alors 4 est un corps commutatif. 3. On suppose mainte\ant 4 commutatif. Montrer que pour que / soit un deal primaire de A il faut et il suffit que tout diviseur de 2éro dans 4/I soit nilpotent. _ 4, Déterminer alors tous les ide primaires de (2.4.x): * 5. On suppose A commutatf et unitaire et pour x © 4, on designe par I, l'ensemble défini par J = {a € Alax € FP}. Ondit qu'un ideal J couvre 1 lorsque / < J et si Jo est un ideal de vérifiant JC Jo c Jalors J, = J. Montrer que si Jcouvre /et.x € JTalors J, est un idéal maximal de 4 Scanned by CamScannerBXAMEN DE MA 405; 2011-2012 | | COLE NORMALE SUPERIEURE | DUREE; 3 HEURES i Probléme 1: 2) Soit Pim idéal premier de R; on pose: S= R\P. (i) Beablir une correspondance entre les idéaux premiers de R contenus dans P et ceux df SR. (ii) Pémontrer que S~1R est un snnean local. 1) Brudiey|Virréductibilité des polyndmes suivants: () At +1 sur Q; sor Qlé) ob Qi) = {a+ ib/ a,b€Q). (i) 44 + 6x +2 sur Q. (ii) Bet + x7 +1 sur Q; sur. Gv) Ke + X41 our Q; sur Za. 2) Scit f 4 X?4+X+16Z,[X] ob neN" jiner n € {2;3;4;5} pour lesquels Z,[X]/(/) est un corps cominutatif. Probléme 2 (IAT = 1s: (i) Lhpplication y de A vers A/I x A/J défnic par ¥(a) = (a+ I,a+ J) est un épimorpisme d’anneaux et que les anneaux A/IJ et A/I x A/J sont isomorphes. 2) A est did\semi-simple s'il est isomorphe & wa produit de corps. it n= pq od p et g sont des entiers naturels premiers distincts. que Z, est tn apneau semi-simple. ne le groupe des unités de A. U(A) pour A =Zyn,n€ N* et p EN premier. ire U(A) pour A = Zfi]. 1¢ classification intégralc entre les atineaux cuclidiens, principaux et factoriels. :15, 2010-2011 1 rattrapage de MA 405 Bxamen de rattrapaee 2 te Probleme 1- de G. D(G) Soient G un groupe d'élément neutre ; H un sous-groupe de G3 210) ole). le groupe détivé de G. Pour tout '€ 8, DG) =G sii = Oe D*NG) 1. Montrer que : @ DG) 36 (i) Si 9G, alors : (G/H abélien) = (D(G) ¢ H)- (Gif) Si X est un sous-groupe de Z(G) tel que G/JC est monogene (iv) Gest résoluble ssi Sn" D*(G) fel 2. On suppose que card(G) = pt ob s € N° ot p entier naturel preiier. (i) Montrer que card(Z(G)) 2 2. (ii) On suppose que s = 3 et qu'il existe z € G d'ordre p° et H = (2). Montrer que = (e) #96. (b) Siy ¢.H alors y € H. (c) Si y’-= 2 alors p divise m. (ili) On suppose que s = 2; en déduire alors que G est résoluble. alors G est abélien. Probleme 2. deAypeh Soit (A, +,.) un annesu commutatif unitaire: &¢(A} désigne le groupe des un premier et n EN, 0 > 2. 1. On pose A = Zn: déterminer U(4) 2. On pose'A =Zfi] = {a tbi / abe Z} (a) Moutrer que A est un auneau euclidien. (b) Déterminer (A), 3. On suppose A euclidien de stathmie y vérifiant les proprit tous non nuls, (A) pla.b) = ofa) + (0); (Pa) p(a + b) S sup(y(a). 9(b)). On pose K = U(A) U {Oa}. Montrer que (a) K est un corps. (b) Siz € AYA et plz) minimal alors “i K') = Imo ( oto designe.» surjection canoniquie de A ver» A/(2) Suivantes : pour tout a et b Scanned by CamScanner