GHEORGHIU Sintaxa LPOI Limbajul LPOI: n operatori propoziionali: (negaie), & (conjuncie), (disjuncie), (condiional), (bicondiional) n constante individuale: a, b, c, ... n variabile individuale: x, y, z, n simboluri de funcii: f, g, h, n simboluri de predicate: F, G, H, ... n cuantorul universal, ", citit pentru orice, i cuantorul existenial, $, citit exist n semne tehnice: (, ), [, ], {, } 2 Sintaxa LPOI n Fiecare simbol de funcie sau de predicat are o aritate n 1, dat de numrul de argumente care pot s apar dup simbolul respectiv n Dac n = 1, F este unar, dac n = 2, F este binar, dac n = 3, F este ternar etc. n Se numete termen: n orice constant individual; n orice variabil individual; n dac f este un simbol de funcie de aritate n i t 1 , , t n sunt termeni, ft 1 , , t n este un termen. n Dac F este un simbol de predicat de aritate n i t 1 , , t n sunt termeni, Ft 1 , , t n este un atom. 3 Sintaxa LPOI n Se numete formul a LPOI orice ir de simboluri construit conform urmtoarelor reguli: (R1) Orice atom este o formul (R2) Dac A este o formul, atunci A este o formul (R3) Dac A i B sunt formule, atunci A & B este formul (R4) Dac A este o formul i x este o variabil individual care apare n A, atunci "xA i $xA sunt formule n Operatorii , , . Pentru oricare dou formule A i B: n A B prescurteaz (A & B) n A B prescurteaz (A B) n A B prescurteaz [(A B) & (B A)] 4 Sintaxa LPOI n Fab, Fxy, "xFxy, $xFxy, "x$yFxy, $x(Fx Gx) i "xFx $xFx sunt formule ale LPOI n ntr-o formul de forma QxA, unde Q este un cuantor, A se numete domeniul cuantorului Q n n $yFxy, domeniul cuantorului existenial este Fxy n n "x$yFxy, fiecare cuantor are ca domeniu Fxy n n "x($yFy Fx), domeniul cuantorului universal este $yFy Fx i domeniul cuantorului existenial este Fy n Dac o variabil, x, apare n domeniul unei formule QxA, atunci se spune c x este legat de cuantorul Q n Variabilele care nu sunt legate se numesc libere 5 Sintaxa LPOI n O formul n care nu apare nici o variabil liber se numete propoziie sau formul nchis n O formul n care apare cel puin o variabil liber se numete formul deschis n "x(Fx & Gxyz) i "x$y(Fx Gxyz) sunt formule deschise, iar Fa, Fa Gab i "x$y$z(Fx Gxyz) sunt propoziii n Una i aceeai apariie a unei variabile individuale nu poate fi legat de cuantori diferii, ca n "x(Fx $xFx) n Una i aceeai variabil nu poate s apar att liber, ct i legat n aceeai formul, ca n $xFx Gxy n Dac este nclcat cel puin una dintre aceste restricii, atunci se spune c s-a comis eroarea coliziunii variabilelor 6 Sintaxa LPOI n Se numete redenumire operaia prin care ntr-o formul A, o variabil x legat de un cuantor Q se nlocuiete n tot domeniul cuantorului Q cu o variabil y, cu condiiile: 1. y nu apare liber n A i 2. dac Q apare n domeniul altui cuantor, Q , atunci y trebuie s difere de variabila legat de Q n "x(Fx $xFx). Prin aplicarea redenumirii obinem: n "y(Fy $xFx) sau n "x(Fx $yFy) n $xFx Gxy. Prin aplicarea redenumirii obinem: n $zFz Gxy 7 Semantica LPOI n O structur M pentru o propoziie A const din: n un univers non-vid U mpreun cu n o atribuire de funcii i relaii simbolurilor de predicate din A, conform aritii acestora i n o atribuire de indivizi din U constantelor individuale din A n O structur M pentru o propoziie A este un tuplu (U, P 1 , , P n , d 1 , , d m ), unde: n U este universul structurii, n P 1 , , P n sunt funcii i relaiile atribuite simbolurilor de predicate F 1 , , F n din A conform aritii acestora i n d 1 , , d m sunt indivizii din U atribuii constantelor c 1 , , c m din A 8 Semantica LPOI n O structur M este un model al unei propoziii A, dac A ia valoarea 1 n M n "x$yFyx = pentru orice x exist y astfel c x st n relaia F cu y n Fie structura (Z, <), unde Z este mulimea numerelor ntregi i < este relaia strict mai mic dect, atribuit lui F. n (Z, <) este un model pentru "x$yFyx: pentru orice numr ntreg x exist un numr ntreg y astfel c x este strict mai mic dect y n Dac lum drept univers Z + , (Z + , <) nu este un model pentru "x$yFyx: nu exist nici un ntreg pozitiv strict mai mic dect 1 n Dac avem n vedere o structur fixat pentru o propoziie A, putem folosi simbolurile obinuite pentru relaiile atribuite simbolurilor de predicate din A, ca n "x$y(y < x) 9 Semantica LPOI n O propoziie este realizabil, dac are cel puin un model i este nerealizabil, dac nu are nici un model n O propoziie A este valid, dac orice structur este un model al propoziiei A. Cu alte cuvinte, A este valid, dac ia valoarea 1 indiferent de universul U considerat i de interpretarea simbolurilor de predicate i a constantelor individuale din A n "xFx Fa este valid: dac orice individ dintr-un univers U are o proprietate F, atunci individul particular din U la care se refer constanta individual a are proprietatea F n Fa $xFx este valid: dac individul particular din U la care se refer constanta individual a are proprietatea F, atunci exist cel puin un individ n U care are proprietatea F 10 Semantica LPOI n O propoziie B este consecin logic a propoziiei A, A B, dac orice model al propoziiei A este model al propoziiei B n Se spune c dou propoziii A, B sunt echivalente logic, A B, dac orice model al formulei A este model al formulei B i reciproc n Teorema nlocuirii este valabil i pentru logica predicatelor (cu propoziie n loc de formul) 11 Unele reguli semantice ale LPOI n Fie A(x) o formul n care x este liber. Urmtoarele dou echivalene sunt generalizri ale regulilor lui De Morgan: (1) $xA(x) "xA(x) importarea (2) "xA(x) $xA(x) importarea n 1. "x$y"z[(Fxy & Gyz) Hxyz] 2. $x$y"z[(Fxy & Gyz) Hxyz] din 1, prin (2) 3. $x"y"z[(Fxy & Gyz) Hxyz] din 2, prin (1) 4. $x"y$z[(Fxy & Gyz) Hxyz] din 3, prin (2) 12 Unele reguli semantice ale LPOI n Fie A(x) i B(x) formule n care x este liber: (3) "xA(x) & "xB(x) "x(A(x) & B(x)) (4) $xA(x) $xB(x) $x(A(x) B(x)) n Fie A(x) o formul n care x este liber i C o formul care nu conine variabila x: (5) "xA(x) & C C & "xA(x) "x(A(x) & C) (6) "xA(x) C C "xA(x) "x(A(x) C) (7) $xA(x) & C C & $xA(x) $x(A(x) & C) (8) $xA(x) C C $xA(x) $x(A(x) C) 13 Unele reguli semantice ale LPOI n Un prefix este omogen, dac este alctuit din cuantori de acelai fel n Un prefix este eterogen, dac este alctuit din cuantori de tip diferit n Orice prefix omogen este comutativ: (9) "x"yA(x, y) "y"xA(x, y) (10) $x$yA(x, y) $y$xA(x, y) n Un prefix eterogen nu este comutativ: "x$yIubete(x, y) = oricine iubete pe cineva $x"yIubete(x, y) = cineva iubete pe oricine 14 Forme normale prenexe n O propoziie n form normal prenex (FNP) este o propoziie de forma Q 1 x 1 Q 2 x 2 Q n x n A, unde fiecare Q i este un cuantor ($ sau ") i A este o formul care nu conine cuantori n Secvena Q 1 x 1 Q 2 x 2 Q n x n se numete prefix, iar A se numete matrice n "x$y"z[(Fxy Gyz) Hxyz] este n FNP n "x$y"z este prefixul propoziiei, [(Fxy Gyz) Hxyz] este matricea propoziiei n Algoritmul de aducere a unei propoziii la FNP folosete echivalenele logice (1) (8) n Fie A o propoziie i A FNP a propoziiei A. A este echivalent logic cu A 15 Forme normale prenexe n "xFx $xGx 1. Eliminm : "xFx $xGx 2. Importm : $xFx $xGx 3. Redenumim pe x din prima parte a disjunciei ca y: $yFy $xGx 4. Aducem $y n fa, conform (8): $y(Fy $xGx) 5. Aducem $x n fa, conform (8): $y$x(Fy Gx) FNP 16 Forme normale prenexe n "x$yFxy & $y"xFxy 1. Redenumim pe x i pe y n prima parte a conjunciei, respectiv, ca z i w: "z$wFzw & $y"xFxy 2. Aducem "z n fa, conform (5): "z($wFzw & $y"xFxy) 3. Aducem $w n fa, conform (7): "z$w(Fzw & $y"xFxy) 4. Aducem $y n fa, conform (8): "z$w$y(Fzw & "xFxy) 5. Aducem "x n fa, conform (5): "z$w$y"x (Fzw & Fxy) FNP 17 Forme normale Skolem n O propoziie n form normal Skolem este o propoziie n FNP din care cuantorii existeniali sunt eliminai din prefix, de la dreapta la stnga, prin urmtorul algoritm: 1. Dac $ nu este precedat de vreun cuantor universal, atunci $ se elimin i n locul variabilei legate de $ se pune, peste tot unde ea apare, o constant individual care nu apare n propoziie; 2. Dac $ este precedat de n cuantori universali, atunci $ se elimin i n locul variabilei legate de $ se pune, peste tot unde ea apare, o funcie de n argumente care nu apare n propoziie, unde cele n argumente sunt, n ordine, variabilele legate de cei n cuantori universali. 18 Forme normale Skolem n $x"y"z(Fxy & Gxz). Prin skolemizare obinem "y"z(Fay & Gaz) n "x"y$z(Fxy & Gxz). Prin skolemizare obinem "x"y(Fxy & Gxf(x,y)) n Fie A o propoziie i A FNS a propoziiei A. A este nerealizabil ddac A este nerealizabil n Propoziiile aduse la FNS pot fi scrise fr ", ntruct presupunem c orice variabil este cuantificat universal n Fxy & Gxf(x,y) 19 Forme clauzale n Pentru a aplica metoda rezoluiei n LPOI, propoziiile se aduc la forma clauzal (FC) prin urmtorii pai: 1. Se elimin i , nlocuind B C cu (B C) & (C B) i B C cu B C 2. Se aduc pe termeni, nlocuind (B & C) cu B C ,(B C) cu B & C, $xA(x) cu "xA(x) i "xA(x) $xA(x) 3. Se elimin , nlocuind B cu B 4. Se standardizeaz variabilele prin redenumire, astfel nct fiecare cuantor s lege propria sa variabil. De exemplu, $yFy devine $zFz, dac y apare deja n domeniul altui cuantor 5. Se aduce propoziia la FNP 20 Forme clauzale 6. Se elimin cuantorii existeniali din prefix prin skolemizare 7. Se scrie propoziia fr cuantori universali 8. Se aduce propoziia la FNC, folosind algoritmul de normalizare din LPC n Fiecare pas pstreaz echivalena logic, cu excepia pasului 6 (skolemizarea), care pstreaz numai realizabilitatea n "x{[Fx "y(Fy Fxy)] & "y(Gxy Fy)} 1. Eliminm : "x{[Fx "y(Fy Fxy)] & "y(Gxy Fy)} 2. Importm : "x{[Fx "y(Fy Fxy)] & $y(Gxy Fy)} 21 Forme clauzale 3. De Morgan pentru : "x{[Fx "y(Fy Fxy)] & $y(Gxy & Fy)} 4. Eliminm : "x{[Fx "y(Fy Fxy)] & $y(Gxy & Fy)} 5. Standardizm variabilele: "x{[Fx "y(Fy Fxy)] & $z(Gxz & Fz)} 6. Aducem formula la FNP: "x"y$z[(Fx Fy Fxy) & Gxz & Fz] 7. Eliminm $z i scriem propoziia fr cuantorii universali: (Fx Fy Fxy) & Gxf(x, y) & Ff(x, y) FC 22 Metoda rezoluiei n LPOI n Un literal este un atom sau negaia unui atom n Se numesc literali complementari doi literali care nu difer ntre ei dect prin aceea c unul este i cellalt nu este precedat de negaie n Fxy i Fxy, Gxf(y) i Gxf(y) sunt perechi de literali complementari n Rezolventul n Fxy al clauzelor {Fxy, Gz} i {Fxy, Hw} este clauza {Gz, Hw} n Se numete clauza vid, , mulimea vid de literali. Pentru orice atom x, poate fi obinut numai ca rezolvent al clauzelor {x} i {x} n Rezolventul n Fxy al clauzelor {Fxy} i {Fxy} este 23 Metoda rezoluiei n LPOI n Pentru a obine literali complementari n clauze la care vrem s aplicm rezoluia se recurge la unificare n Unificarea este o operaie de substituire uniform a variabilelor n doi literali, astfel nct s se obin literali complementari n O variabil x poate fi substituit cu un termen t, x / t, numai dac x nu apare n t n Substituia poate fi vid, n sensul c se poate substitui o variabil cu ea nsi i dac apar numai constante, atunci nu se substituie, de fapt, nimic 24 Metoda rezoluiei n LPOI n Fie clauzele unitare {Px} i {Pf(x)}. Pentru a aplica rezoluia, procedm dup cum urmeaz: n Redenumim variabila x din Pf(x) ca y i obinem {Pf(y)} n Unificm atomii Px i Pf(y) prin x / f(y) i obinem Pf(y), care este complementarul lui Pf(y), unde substituia este vid n Rezolventul n Pf(y) al clauzelor {Pf(y)} i {Pf(y)} este S observm c, dac nu am fi redenumit variabila x, nu am fi putut efectua unificarea, deoarece Px i Pf(x) nu pot fi unificate 25 Metoda rezoluiei n LPOI n n anumite cazuri, unificarea trebuie s fie combinat cu o alt operaie, numit factorizare n Dac doi sau mai muli literali (cu acelai semn) dintr-o clauz pot fi unificai, atunci clauza astfel obinut, din care sunt eliminai literalii-duplicat, se numete factor al clauzei iniiale n Pentru a obine prin rezoluie {Faf(a)} din {Fxa, Fxy, Fyx} i {Fzf(z), Fza}, procedm dup cum urmeaz: n Factorizm {Fxa, Fxy, Fyx} prin x/a, y/a i obinem {Faa, Faa, Faa} , care se reduce la factorul {Faa} n Unificm Faa i Fza prin z/a i obinem {Faf(a), Faa} n Rezolventul n Faa al clauzelor {Faa} i {Faf(a), Faa} este {Faf(a)} 26 Metoda rezoluiei n LPOI n Pentru a stabili dac o propoziie A este sau nu valid: 1. Negm propoziia A (A este valid ddac A este nerealizabil) 2. Aducem A la FC, considernd apoi clauzele ca mulimi de literali i ntreaga formul ca o mulime de clauze 3. Standardizm din nou variabilele prin redenumire, astfel nct fiecare clauz s conin nume de variabile care nu apar n nici o alt clauz 4. Efectum rezoluii, precedate eventual de unificri i factorizri 5. Dac obinem , atunci A este nerealizabil, deci A este valid 27 Metoda rezoluiei n LPOI n S se arate c "x $y(Fyx Fyy) este valid 1. Negm propoziia: "x$y(Fyx Fyy) 2. Eliminm : "x$y[(Fyx Fyy) & (Fyy Fyx) 3. Eliminm : "x$y[(Fyx Fyy) & (Fyy Fyx) 4. Eliminm : "x$y[(Fyx Fyy) & (Fyy Fyx) 5. Importm : $x"y[(Fyx Fyy) & (Fyy Fyx) 28 Metoda rezoluiei n LPOI 6. Eliminm : $x"y[(Fyx Fyy) & (Fyy Fyx)] 7. Eliminm $x prin skolemizare i scriem formula fr "y: (Fya Fyy) & (Fyy Fya) FC 8. Avem urmtoarele clauze: {Fya, Fyy}, {Fzz, Fza} 9. Factorizm prima clauz prin y/a i a doua clauz prin z/a: {Faa}, {Faa} 10. Rezolventul n Faa al acestor dou clauze este Ce obineam dac nu am fi aplicat factorizarea? 29 Metoda rezoluiei n LPOI n Pentru a decide dac {A 1 , , A n } B: n formm conjuncia A 1 & & A n & B n aducem aceast conjuncie la FNC i n aplicm metoda rezoluiei asupra A 1 & & A n & B n Dac obinem , atunci {A 1 , , A n } B n S se decid dac "x(Fx Gx) "xFx "xGx 1. "x(Fx Gx) & ("xFx "xGx) 2. Eliminm : "x(Fx Gx) & ("xFx "xGx) 3. De Morgan pentru i eliminarea : "x(Fx Gx) & "xFx & "xGx 30 Metoda rezoluiei n LPOI 4. Importm : "x(Fx Gx) & "xFx & $xGx 5. Standardizm variabilele prin redenumire: "x(Fx Gx) & "yFy & $zGz 6. Aducem propoziia la FNP: "x"y $z[(Fx Gx) & Fy & Gz] 7. Eliminm $z i scriem propoziia fr cuantorii universali: (Fx Gx) & Fy & Gf(x, y) FC 8. {Fx, Gx}, {Fy}, {Gf(x, y)} 9. Redenumim n {Gf(x, y)} pe x ca z i pe y ca w: {Fx, Gx}, {Fy}, {Gf(z, w)} 31 Metoda rezoluiei n LPOI {Fx, Gx}, {Fy}, {Gf(z, w)} 10. Unificm literalii Fx i Fy prin y/x: {Fx, Gx}, {Fx} 11. Rezolventul n Fx al clauzelor {Fx, Gx} i {Fx} este {Gx} 12. Unificm literalii Gf(z, w) i Gx prin x/f(z, w): {Gf(z, w)}, {Gf(z, w)} 13. Rezolventul n Gf(z, w) al clauzelor {Gf(z, w)}, {Gf(z, w)} este ntruct am obinut , "x(Fx Gx) "xFx "xGx 32 Probleme ale formalizrii 33 Propoziia categoric Forma logic Formula Toi F sunt G Pentru orice x, dac x este F atunci x este G "x(Fx Gx) Nici un F nu este G Pentru orice x, dac x este F, atunci x nu este G "x(Fx Gx) Unii F sunt G Exist cel puin un x astfel nct x este F i x este G $x(Fx & Gx) Unii F nu sunt G Exist cel puin un x astfel nct x este F i x nu este G $x(Fx & Gx) Probleme ale formalizrii n Orice informatician priceput este specialist apreciat 1. Fx = x este informatician Hx = x este specialist Gx = x este priceput Ix = x este apreciat 2. Pentru orice x, dac Fx i Gx, atunci Hx i Ix 3. "x[(Fx & Gx) (Hx & Ix)] n Tot ce-i bun este ilegal, imoral sau ngra 1. Fx = x este bun Hx = x ilegal Gx = x este imoral Ix = x ngra 2. Pentru orice x, dac Fx, atunci Gx sau Hx sau Ix 3. "x[Fx (Gx Hx Ix)] 34 Probleme ale formalizrii n Deputaii i senatorii primesc indemnizaie 1. Fx = x este deputat Hxy = x primete y Gx = x este senator Iy = y este indemnizaie 2. Pentru orice x, dac Fx sau Gx, atunci exist y astfel nct Iy i Hxy 3. "x[(Fx Gx) $y(Iy & Hxy) Dac am fi pus Fx & Gx n loc de Fx Gx, am fi obinut "x[(Fx & Gx) $y(Iy & Hxy), ceea ce ar fi nsemnat c oricine este att deputat, ct i senator (n acelai timp) primete indemnizaie 35 Probleme ale formalizrii n Orice guvern adopt hotrri i ordonane 1. Fx = x este guvern Hy = y este hotrre Gxy = x adopt y Iy = y este ordonan 2. Pentru orice x exist y astfel nct dac Fx i (Hy sau Iy), atunci Gxy 3. "x$y{[Fx & (Hy Iy)] Gxy} Dac am fi pus "y n loc de $y, am fi obinut "x"y{[Fx & (Hy Iy)] Gxy}, ceea ce ar fi nsemnat c orice guvern adopt toate hotrrile i ordonanele din univers. 36 Analiza bazelor de date n LPOI n O baz de date (sau baz de cunotine) este o colecie de fapte i reguli n Un fapt enun o informaie care este necondiionat adevrat despre o situaie de interes n O regul enun o informaie care este condiionat adevrat despre o situaie de interes n Bazele de date pot fi utilizate punnd ntrebri despre informaiile pe care le conin 37 Analiza bazelor de date n LPOI n BD1: 1. Anca este mama Ioanei fapt 2. Anca este n via fapt 3. Orice mam este printe regul 4. Orice printe n via este mai n vrst dect progenitura sa regul n BD1 n LPOI: 1. Mam(Anca,Ioana) 2. n via(Anca) 3. "x"y(Mam(x,y) Printe(x,y)) 4. "x"y((Printe(x,y) & n via(x)) n vrst(x,y)) 38 Analiza bazelor de date n LPOI n ntrebare: Anca este mai n vrst dect Ioana? n Avem de demonstrat: n vrst(Anca,Ioana) el n Aducem la FC: 1. {Mam(Anca,Ioana)} 2. {n via(Anca)} 3. {Mam(x,y),Printe(x,y)} 4. {Printe(z,w),n via(z)),n vrst(z,w)} 5. Negaia elului: {n vrst(Anca,Ioana)} 39 Analiza bazelor de date n LPOI 1. Unificm literalii Mam(Anca,Ioana), Mam(x,y), Printe(x,y) prin x/Anca i y/Ioana: {Mam(Anca,Ioana)}, {Mam(Anca,Ioana), Printe(Anca,Ioana)} 2. Rezolventul n Mam(Anca,Ioana) din clauzele obinute n 1 este {Printe(Anca,Ioana)} 3. Unificm literalii Printe(Anca,Ioana), Printe(z,w), n via(z), n vrst(z,w) prin z/Anca i w/Ioana: {Printe(Anca,Ioana)}, {Printe(Anca,Ioana), n via(Anca), n vrst(Anca,Ioana)} 40 Analiza bazelor de date n LPOI {Printe(Anca,Ioana)}, {Printe(Anca,Ioana), n via(Anca), n vrst(Anca,Ioana)} 4. Rezolventul n Printe(Anca,Ioana) din clauzele obinute n 3 este {n via(Anca),n vrst(Anca,Ioana)} 5. Rezolventul n n via(Anca) din {n via(Anca)} i clauzele obinute n 4 este {n vrst(Anca,Ioana)} 6. Rezolventul n n vrst(Anca,Ioana) din negaia elului, {n vrst(Anca,Ioana)} i clauza obinut n 5 este ntruct am obinut , din BD1 rezult c Anca este mai n vrst ca Ioana 41 Analiza bazelor de date n LPOI n ntrebare: Fa de cine este Anca mai n vrst? n Avem de demonstrat: $xn vrst(Anca,x) el n Negaia elului: $xn vrst(Anca,x) n FC: 1. {Mam(Anca,Ioana)} 2. {n via(Anca)} 3. {Mam(x,y),Printe(x,y)} 4. {Printe(z,w),n via(z)),n vrst(z,w)} 5. Negaia elului: {n vrst(Anca,u)} 42 Analiza bazelor de date n LPOI n n pasul 5 de mai sus am obinut {n vrst(Anca,Ioana)} n Unificm literalii n vrst(Anca,Ioana), n vrst(Anca,u) prin u/Ioana: {n vrst(Anca,Ioana)}, {n vrst(Anca,Ioana)} Rezolventul n n vrst(Anca,Ioana) din aceste dou clauze este n ntruct demonstrarea elului a cerut u/Ioana, rspunsul la ntrebarea pus este Ioana 43 Analiza bazelor de date n LPOI n ntrebare: Cine este mai n vrst fa de cine? n Avem de demonstrat: $x$yn vrst(x,y) el n Negaia elului: $x$yn vrst(x,y) n FC: 1. {Mam(Anca,Ioana)} 2. {n via(Anca)} 3. {Mam(x,y),Printe(x,y)} 4. {Printe(z,w),n via(z)),n vrst(z,w)} 5. Negaia elului: {n vrst(u,v)} 44 Analiza bazelor de date n LPOI n n pasul 5 de mai sus am obinut {n vrst(Anca,Ioana)} n Unificm literalii n vrst(Anca,Ioana), n vrst(u,v) prin u/Anca, v/Ioana: {n vrst(Anca,Ioana)}, {n vrst(Anca,Ioana)} Rezolventul n n vrst(Anca,Ioana) din aceste dou clauze este n ntruct demonstrarea elului a cerut u/Anca, v/Ioana, rspunsul la ntrebarea pus este Anca este mai n vrst dect Ioana 45