Probleme date la examenul de logic matematic i computational.

a as a Partea a III-a
Claudia MURESAN
Universitatea din Bucureti s Facultatea de Matematic i Informatic as a Academiei 14, RO 010014, Bucureti, Romnia s a Emailuri: c.muresan@yahoo.com, cmuresan11@gmail.com

Abstract Textul de fat contine o colectie de probleme de diferite tipuri a date de autoare la examenul aferent cursului de logic matematic i a as computational din anul I de studiu al Facultii de Matematic i a at a s Informatic a Universitii din Bucureti. a at s

Peste tot acest text, prescurtarea ddac va semnica dac i numai n a as dac. a

Lista 1 de subiecte

a Exercitiul 1.1. Se consider algebra Boole L3 (cubul), reprezentat prin a 2 diagrama Hasse de mai jos. S se determine algebra Boole factor asociat a a ltrului generat de x, prin enumerarea elementelor ei. S se demonstreze a c aceast algebr Boole este izomorf cu L2 (rombul). a a a a 2 1 r xr z ry dr
dd r r ddr ad b c dr d

2 Amintim o proprietate important a algebrelor Boole, numit legea de a a reziduatie (a se vedea Observatia 3.2 din Anex): pentru orice algebr Boole a a B i orice elemente , , B, are loc echivalenta: s . Rezolvare: Filtrul generat de x L3 este < x >= { L3 |x } = n 2 2 {x, 1}. Congruenta asociat acestui ltru este <x> (L3 )2 , denit prin: a a 2 pentru orice , L3 , <x> ddac, prin denitie, < x >, a 2 adic, explicitnd denitia operatiei , ( ) ( ) < x >, a a ceea ce, conform descrierii de mai sus a ltrului < x >, este echivalent cu x ( ) ( ), iar denitia operatiei = inf ne asigur de faptul a c aceast inegalitate este echivalent cu urmtoarele dou: x a a a a a i x . Conform echivalentei amintite enunt i demonstrate s n s Observatia 3.2 din Anex, aceste dou inegaliti sunt echivalente cu: n a a at x i x , iar acestea sunt echivalente cu: x x i s s x x , dup cum se poate demonstra imediat prin dubl implicatie. a a Aceste ultime dou inegaliti sunt echivalente cu egalitatea x = x . a at Aadar, pentru orice , L3 , <x> ddac x = x . s a 2 3 , vom nota cu clasa de echivalent a elementului Pentru orice L2 a algebra Boole factor L3 /< x > , anume = { L3 |x = x }. n 2 2 Aadar, avem: s = { L3 |x = 0} = {0, c} = c; 0 2 a = { L3 |x = a} = {a, y} = y ; 2 = { L3 |x = b} = {b, z} = z ; b 2 x = { L3 |x = x} = { L3 |x } =< x >= {x, 1} = 1. 2 2 Prin urmare, L3 /< x > = { a, deci aceast algebr Boole are 4 0, b, 1}, a a 2 elemente, i teorema de reprezentare a lui Stone pentru cazul particular al s algebrelor Boole nite ne asigur de faptul c L3 /< x > este izomorf cu a a 2 a L2 . Diagrama Hasse a acestei algebre Boole factor este urmtoarea: a 2 1 r ar
d d dr dr b

Exercitiul 1.2. S se construiasc o latice cu 10 elemente care s aib a a a a ca sublatici disjuncte pentagonul i diamantul i s i se pun evident o s s a a n a sublatice distributiv cu 8 elemente. a

3 Rezolvare: Fie laticea L = {0, a, b, c, d, e, f, g, h, 1}, cu urmtoarea diaa gram Hasse: a 1 r

fr d

drh rg

d re

rd d rb drc ar d dr

0 L are 10 elemente i este chiar suma direct dintre diamant i pentagon. s a s Observm c submultimea cu 8 elemente M = {0, b, c, d, e, g, h, 1} = L \ a a {a, f } a lui L este o sublatice a lui L, pentru c este a nchis la supremumul a i inmumul de dou elemente, adic, pentru orice , M , au loc: = s a a sup{, } M i = inf{, } M . Iat diagrama Hasse a laticii s a M , din care se observ c nici diamantul, nici pentagonul nu sunt sublatici a a ale lui M , prin urmare un rezultat din curs ne asigur de faptul c M este a a latice distributiv: a 1 r
rh rg re rd d dr

br d

dr c

Lista 2 de subiecte

Exercitiul 2.1. Se consider algebra Boole L3 (cubul), reprezentat prin a a 2 diagrama Hasse de mai jos. S se determine algebra Boole factor asociat a a

4 ltrului generat de a, prin enumerarea elementelor ei. S se demonstreze a c aceast algebr Boole este izomorf cu L2 (algebra Boole standard). a a a a 1 r d xr z ry dr dd r r ddr ad b c dr 0 Ca i Exercitiul 1.1, facem trimitere la Observatia 3.2 din Anex s n a (legea de reziduatie). Rezolvare: Filtrul generat de a L3 este < a >= { L3 |a } = n 2 2 {a, x, y, 1}. Mai departe, rezolvarea decurge la fel ca aceea a Exercitiului 1.1. a Pentru orice L3 , vom nota cu clasa de echivalent a elementului 2 algebra Boole factor L3 /< a > . La fel ca Exercitiul 1.1, se arat n n a 2 c, pentru orice L3 , = { L3 |a = a }. Aadar, avem: a s 2 2 = { L3 |a = 0} = {0, b, c, z} = = c = z = L3 \ < a >; 0 b 2 2 a = { L3 |a = a} = { L3 |a } =< a >= {a, x, y, 1} = x = 2 2 y = 1. Prin urmare, L3 /< a > = { deci aceast algebr Boole are 2 e0, 1}, a a 2 lemente, i teorema de reprezentare a lui Stone pentru cazul particular al s algebrelor Boole nite ne asigur de faptul c L3 /< a > este izomorf cu a a 2 a L2 . Diagrama Hasse a acestei algebre Boole factor este urmtoarea: a 1 r 0 Exercitiul 2.2. Considerm sistemul formal al calculului propozitional cla a sic, care notm cu E multimea enunturilor. S se demonstreze semantic n a a urmtoarea regul de deductie: a a 1 {} ; 2 {} , 1 2 ( ) ( ) pentru orice multimi de enunturi 1 , 2 E i pentru orice enunturi s , , E.
r

5 Rezolvare: Conform teoremei de completitudine tare, este sucient s a demonstrm c: dac 1 {} i 2 {} , atunci a a a s 1 2 ( ) ( ). Presupunem aadar c 1 {} i 2 {} . s a s Fie V multimea variabilelor calculului propozitional clasic, L2 = {0, 1} algebra Boole standard i h o interpretare care este un model pentru multis mea de enunturi 1 2 , adic o functie h : V L2 astfel at h 1 2 . a nc Stim c, dat h, exist o unic functie h : E L2 care restrictionat la a a a a a V este egal cu h i care comut cu i , unde i pe E sunt a s a s s conectori logici, iar i pe L2 sunt operatii de algebr Boole. Faptul c s a a h 1 2 , adic h este un model pentru multimea de enunturi 1 2 , a adic h satisface 1 2 , semnic, prin denitie, c h() = 1 pentru orice a a a 1 2 . Avem de demonstrat c h(() ()) = 1, ceea ce este echivalent a cu faptul c (h() h()) (h() h()) = 1, egalitate care la rndul a a ei este echivalent cu h() h() = h() h() (a se vedea proprietile a at algebrelor Boole pentru aceast ultim echivalent). a a a Cazul 1: Dac h() = 0, atunci h() h() = 0 = h() h(). a Cazul 2: Dac h() = 1, atunci, cum, prin alegerea lui h, avem c h a a 1 2 i deci particular h 2 , rezult c h 2 {}. Prin ipotez, s n a a a 2 {} . consecint, h( ) = 1, adic h() h() = 1, In a a ceea ce este echivalent cu h() h(), conform proprietilor algebrelor at Boole. Cazul 2.1: Dac, plus fat de ipoteza h() = 1, avem c h() = 0, a n a a atunci relatia h() h() de mai sus implic h() = 0 i prin urmare a s h() h() = 0 = h() h(). Cazul 2.2: Dac, plus fat de ipoteza h() = 1, avem c h() = 1, atunci, a n a a cum h 1 2 i deci particular h 1 , rezult c h 1 {}. Prin s n a a consecint, h( ) = 1, adic h() ipotez, 1 {} . In a a a h() = 1, ceea ce este echivalent cu h() h(), conform proprietilor at algebrelor Boole. Dar h() = 1, conform ipotezei cazului 2. Rezult c a a h() = 1 i deci h() h() = 1 = h() h(). s concluzie, pentru orice interpretare h care este model pentru 1 2 , In are loc h() h() = h() h(), ceea ce, precum am observat la nceputul rezolvrii, este echivalent cu h(( ) ( )) = 1. Intruct h a a a fost aleas arbitrar dintre interpretrile care satisfac 1 2 , conchidem a a c 1 2 a ( ) ( ), i regula de deductie din enunt este s demonstrat. a

Anex a

Lema 3.1. Fie L o latice i a, b, x L astfel at a b. Atunci: a x s nc b x i a x b x. s Demonstratie: Din denitia relatiei de ordine ntr-o latice (a se vedea demonstratia echivalentei celor dou denitii ale laticii), avem echivalenta: a a b ddac a b = b. Rezult c (a x) (b x) = a x b x = a a a a b x x = a b x = (a b) x = b x. Am folosit asociativitatea, comutativitatea i idempotenta operatiei , precum i egalitatea a b = b s s de mai sus. Aadar, am obtinut egalitatea (a x) (b x) = b x, care, s n conformitate cu denitia relatiei de ordine ntr-o latice, este echivalent cu a inegalitatea a x b x. Tot din denitia relatiei de ordine ntr-o latice, avem echivalenta: a b ddac a b = a. Rezult c (a x) (b x) = a x b x = a b x x = a a a a b x = (a b) x = a x. Am folosit asociativitatea, comutativitatea i idempotenta operatiei , precum i egalitatea a b = a de mai sus. s s Aadar, am obtinut egalitatea (a x) (b x) = a x, care, conformitate s n cu denitia relatiei de ordine ntr-o latice, este echivalent cu inegalitatea a a x b x. Observatia 3.2 (Legea de reziduatie). Fie B o algebr Boole. Atunci, a pentru orice elemente , , B, are loc echivalenta: . Demonstratie: Vom demonstra echivalenta din enunt prin dubl impli a catie. A se vedea mai jos o a doua demonstratie. : Dac , atunci, conform Lemei 3.1, lund supremumul dintre a a ecare membru al acestei inegaliti i , obtinem: ( ) . at s In aceast inegalitate aplicm distributivitatea unei algebre Boole i denitia a a s implicatiei ntr-o algebr Boole, i obtinem inegalitatea echivalent: ( a s a ) ( ) , adic ( ) 1 , adic , a a de unde, ntruct sup{, } = i aplicnd tranzitivitatea unei a s a relatii de ordine, rezult: . a : Dac , adic, explicitnd denitia implicatiei a a a ntr-o algebr Boole, , atunci, conform Lemei 3.1, lund inmumul dintre a a ecare membru al acestei inegaliti i , obtinem: ( ) , at s adic, aplicnd distributivitatea unei algebre Boole, ( )( ), a a adic 0 ( ), adic . Aplicnd aceast ultim a a a n a a inegalitate faptul c = inf{, } i tranzitivitatea unei relatii de a s ordine, obtinem: .

7 Lema 3.3. Fie B o algebr Boole i x, y, z B. Atunci: a s (i) x = y ddac x = y; a (ii) x y = x y i x y = x y (legile lui de Morgan); s (iii) x y ddac x y = 1 (de unde rezult imediat c: x = y ddac a a a a x y = 1); (iv) x (y z) = (x y) z = y (x z). Demonstratie: Punctul (i) este imediat, echivalenta ind demonstrat a prin dubl implicatie astfel: x = y implic x = y implic x = y, ceea ce este a a a echivalent cu x = y. Am folosit unicitatea complementului i idempotenta s operatiei de complementare, care rezult tot din unicitatea complementului a ntr-o algebr Boole (chiar orice latice distributiv cu 0 i 1, unde nu este a n a s asigurat existenta complementului, a). a ns Legile lui de Morgan (punctul (ii)) se demonstreaz imediat aplicnd a a denitia complementului i unicitatea lui pentru orice element al unei alge s bre Boole. Mai precis, prima relatie se demonstreaz artnd c elementul a aa a x y satisface cele dou relatii care denesc complementul lui x y (anume a disjunctia lui cu x y este egal cu 1 i conjunctia lui cu x y este egal a s a cu 0). Se procedeaz la fel pentru cealalt relatie. a a (iii) Aplicnd Lema 3.1, obtinem: dac x y, atunci xy y y = 0, prin a a urmare x y = 0; reciproc, folosind distributivitatea unei algebre Boole, obtinem: dac x y = 0, atunci y = y 0 = y (x y) = (y x) (y y) = a (y x) 1 = y x, aadar y = y x, adic x y, conform denitiei lui s a . Am obtinut: x y ddac x y = 0. Acum aplicm punctele (i) i (ii) a a s (legile lui de Morgan) i obtinem: x y ddac x y = 0 ddac x y = 0 s a a ddac x y = 1 ddac x y = 1 ddac x y = 1, conform denitiei a a a implicatiei. (iv) Aplicm denitia implicatiei i punctul (ii) (legile lui de Morgan): x a s (y z) = x y z = x y z = (x y) z, iar ultima egalitate din enunt rezult din comutativitatea lui i prima egalitate din enunt. a s Demonstratia a doua pentru legea de reziduatie (Observatia 3.2): Fie , , B. Conform Lemei 3.3, punctele (iii) i (iv), avem: s ddac ( ) = 1 ddac ( ) = 1 ddac . a a a