Barem de notare: 1p oficiu 3,5p utilizarea corect a tuturor metodelor studiate: tabele de adevr, FNC i FND, deducia, tabele

semantice i rezoluia (toate rafinarile si strategiile) cel puin o dat pentru rezolvarea unei probleme. Varianta 1: 3.5p rezolvarea corect a 14 probleme alese din lista de mai jos 2p compunerea sau culegerea i rezolvarea a 6 probleme, dintre care 3 se vor rezolva prin intermediul logicii propoziionale, iar 3 prin cea predicativ. Varianta 2: 5.5p compunerea sau culegerea i rezolvarea a 12 probleme, dintre care 6 se vor rezolva prin intermediul logicii propoziionale, iar 6 prin cea predicativ. Observaie: dac se identific dou teme identice 50% sau mai mult (problemele alese/compuse, cu aceleai soluii), persoanele care au predat respectivele teme vor primi doar nota din oficiu pentru ea. n cazul unor probleme cu enunt vag, adugati ipotezele necesare suplimentare. 1. La un moment dat, n procesul din ara minunilor, Alice a susinut c iepurele i plrierul mint, dar i iepurele i plrierul au susinut faptul c ceilali doi mint. Este posibil ca toi trei s aib dreptate? ( problem de identificare a modelelor) 2. n istoria Marii Britanii, sistemul monarhic stipula faptul c primul biat nscut va deveni urmtorul rege, sau oricine l-a nvins pe rege sau a uzurpat tronul regelui devine noul rege. Astfel, ntre anii 1399-1413 rege a fost Henry al IV-lea. Primul su fiu a fost Henry V-lea. Iar primul fiu al lui Henry al V-lea a fost Henry al VI-lea. Henry al VI-lea a fost nfrnt n 1461 de Eduard IV. A ajuns Eduard al IV-lea rege? 3. Uneori Socrate spunea c Toi grecii sunt mincinoi.. Dar i Socrate era grec Avea sau nu dreptate Socrate? 4. Ft-Frumos, dup ce ctig prietenia lupului, vulpii, tiucii i oimului se ndreapt spre palatul zmeului pentru a o salva pe Ileana Cosanzeana. Ce nu tie ns Ft frumos este c zmeul, dup ce i pierde puterile omeneti se transform n cerb. Dac le pierde i pe acelea, se transform n iepure, apoi porumbel, pete, iar la urm gz, dup care va fi definitiv nvins. Are Ft-Frumos suficieni prieteni? 5. Ca orice printe din evul mediu arab, Nastratin i trimitea copilul cu ulciorul dup ap. Dar, n loc s-l bat doar n cazul n care copilul sprgea ulciorul pe drum, cum ar face orice printe, Nastratin i btea copilul de fiecare dat cnd l trimitea dup ap. Credei c acest fapt garanta integritatea ulciorului? 6. Se spunea c Toate drumurile duc la Roma.. Considernd aceast ipotez adevrat i aplicnd-o unui roman care tocmai iese din Roma, de ce alt ipotez mai avei nevoie pentru a demonstra faptul c Pmntul este rotund? Demonstrai c Pmntul este rotund. 7. Un om i plimba cinele prin parc. La un moment dat, n iarb descoper o cciul, un morcov i trei nasturi. n ce condiii acest fapt nu i se pare suspect? Justificai. 8. Un client grbit i descrie dezvoltatorului cum dorete el s funcioneze noua aplicaie:

 Dac este ndeplinit condiia A, atunci este ndeplinit i B. Dac au loc condiiile B i C, atunci are loc i D. Dac are loc D, atunci nu mai e ndeplinit condiia A. Dac are loc condiia C, atunci are loc i A. Dac are loc condiia A, atunci au loc i condiiile D sau C. Doar dac nici B nici A nu sunt ndeplinite, doar atunci are loc condiia C. Dac nu are loc condiia C, atunci nici condiia B nu are loc. Are sens cerina clientului sau este contradictorie? 9. Iat c a venit iarna i greirele nu are mncare. Totui, ar putea s i rezolve problema dac le ajut pe celelalte fpturi ale pdurii. Trebuie s aib ns grij ce i cui s cear, deoarece fiecare fptur i va da greierului un singur lucru, altfel se supr i l va mnca pe greier. Furnica e bucuroas s-i dea greierului mncare dac primete paie. Vulpea schimb pete pe mure i mure pe larve. Dac greierele i cnt castorului, acesta i va da ap. Dac i d lemn, va primi pete. Ciocnitoarea ofer larve pentru ghide i lemn pentru larve. Bursucul e morocnos. Dac i cnt greierele i l nveselete, ofer ghide, iar dac primete larve, i d mure. Veveria primete ghide n schimbul larvelor i d ghinde pentru mure. Ursul ofer paie n schimbul murelor sau lemn n schimbul petelui. Putei s-l ajutai pe greier s obin mncare fr a ajunge el nsui hrana celorlalte fpturi? 10. Ca o strategie de supravieuire, orice ra i depune o parte din ou n cuibul propriu i o parte n alte cuiburi pe care le gsete pe malul blii. Un roi va face curte doar psrilor care seamn cu mama care i-a crescut. Pe balt sunt rae, gte i lebede. n ce caz (sau cazuri) un roi va face curte unei psri din aceeai specie? Justificai rspunsul. 11. ntr-un bar era afiat: Azi pe bani, mine pe gratis!. Cu toate acestea, n niciuna din zile, niciun client nu a putut consuma nimic pe gratis. Construii o mic baz de cunotine pentru a justifica atitudinea barmanului, sau pentru a demonstra drepturile clienilor. 12. Ajutai-o pe Alice din povestea Alice n ara minunilor s i demonstreze punctul de vedere ntr-una din situaiile absurde sau ilogice cu care se ntlnete n povestire. Problema 9.4.2. [25] La o ntreprindere exist trei secii: A, B, C care au fcut urmtoarea convenie privind aprobarea proiectelor: a. Dac A nu particip la aprobarea unui proiect, atunci nu particip nici B; b. Dac A particip, atunci particip att B ct i C. Aflai dac aceast convenie oblig sau nu secia C s participe la orice proiect la care particip i secia B. Problema 9.4.3. [6] La un tribunal, doi martori au afirmat a, respectiv b. Referindu-se la aceste afirmaii, procurorul a declarat x. n ncheiere preedintele spune: Dac att procurorul ct i primul martor are dreptate, atunci al doilea martor nu are dreptate Aadar, procurorul are dreptate sau martorii au dreptate? Precizai n ce caz este eronat raionamentul preedintelui.

Problema 9.4.4. [26] Se dau premisele: a. Niciun om care merge la o recepie nu uit s-i pieptene prul. b. Nimeni nu este prezentabil dac este neglijent. c. Fumtorii de opium nu sunt stpni pe sine. d. Toi cei care-i piaptn prul sunt prezentabili. e. Nu se poart mnui albe dac nu se merge la o recepie. f. Un om este ntotdeauna neglijent dac nu este stpn pe sine. S se deduc din premisele de mai sus c: Fumtorii de opium nu poart mnui albe. Ce alte concluzii se mai pot obine? Problema 9.4.5. [19] Trei doamne: a, b, c, cu feele mnjite, stau ntr-un compartiment de tren i toate trei rd. Deodat a are o licrire: Dumnezeule! Probabil c i eu am ceva ridicol. Poate oare a s se conving c are motiv s se alarmeze? Problema 9.4.6. [38] Pe trei borcane de compot, unul cu ciree, altul cu viine, iar al treilea cu ciree i viine, toate etichetele au fost puse greit. Scond un fruct dintr-un singur borcan, s se precizeze coninutul fiecruia. Problema 9.4.7. [26] Se consider mulimea de premise: a) Niciun mamifer naripat nu are pene. b) Toate animalele cu pene au aripi. c) Toate bipedele sunt fie psri, fie mamifere, dar nu sunt i una i alta. Deducei de aici c: Toate bipedele cu pene sunt psri. Problema 9.4.8. [25] Sculptorul Albu, violonistul Negrea i pictorul Rocu sunt prieteni. - Este interesant c unul din voi are pr crunt, altul rocat iar eu negru, dar la niciunul culoarea prului nu corespunde cu numele observ unul din ei. - Ai dreptate, rspunde Albu. Ce culoare avea prul fiecruia? Problema 9.4.9. [31] Cunoscutul explorator I. St. ul naintnd anevoie n jungla neptruns urma cursul nvalnic al unui afluent necunoscut al fluviului Ucazali. Se atepta ca, din clip n clip, s se ntlneasc cu indienii triburilor Capaxoih ori Hioxapac, care triau n bun vecintate prin preajma rului. Ce tia, n definitiv, curajosul explorator despre cele dou triburi? Nu tia nimic. Cunotea doar c capaxoihii erau mndri de obria lor, se ludau c fac parte din acest trib, iar orice vorb ieit din gura lor era adevrul adevrat. n schimb, hioxapacii mineau de ngheau apele. Orice cuvnt al lor era minciun. Ajuns la o cataract, exploratorul se trezi deodat n fa cu trei indieni. S fie c apaxoihi? S fie hioxapaci? se ntreba exploratorul. Sau or fi amestecai? i deoarece cunotea toate dialectele vorbite i nevorbite din Amazonia, el se adres primului indian: - Ce eti, capaxoih sau hioxapac? Indianul rspunse ndat. Dar din pricina zgomotului cataractelor, exploratorul n-a putut auzi rspunsul. Atunci se apropie mai mult de cei trei indieni i (tiind c acestora nu le place s fie ntrebai de dou ori acelai lucru) se adres celui de-al doilea indian:

- Ce-a spus primul c este? - A spus c este capaxoih preciz acesta. - Dar oare ntr-adevr este capaxoih? Insist exploratorul. - Da! Rspunse indianul. Socotind c l-a chestionat ndeajuns pe cel de-al doilea indian, exploratorul se adreseaz celui de-al treilea: - M pot ncrede n cele spuse de-al doilea indian? - Nu! Zise scurt cel de-al treilea indian. I. St. ul nu mai ntreb nimic, socotind c scurta discuie cu cei trei indieni i este suficient pentru a ti din ce trib face parte fiecare dintre ei. Cum a raionat exploratorul? Problema 9.4.11. [26] Condiiile de nmnare a unei polie de asigurare precizeaz c aceast poli nu poate fi subscris dect de persoanele care ndeplinesc una din condiiile: - S fi subscris la polia 19 i s fie brbat cstorit. - S fi subscris la polia 19 i s fie persoan cstorit cu vrsta sub 25 ani. - S nu fi subscris la polia 19 i s fie femeie cstorit. - S fie brbat sub 25 ani. - S fie persoan cstorit cu vrsta peste 25 ani. Exprimai ct mai concis ansamblul condiiilor de mai sus. 1. Considerati urmtoarele ipoteze si verificati validitatea concluziei: 1. 2. 3. 4. 5. Toti cinii url noaptea. Oricine are o pisic nu va avea soareci. Cei care dorm usor nu au nicio vietuitoare care s urle noaptea. Ion are sau o pisic sau un cine. (Concluzie) Dac Ion este o persoan care doarme usor, atunci Ion nu are soareci.

2. Considerati urmtoarele ipoteze si verificati validitatea concluziei: 1. 2. 3. 4. 5. 6. 7. Fiecare copil l iubeste pe Mos Crciun. Oricine l iubeste pe Mos Crciun iubeste orice ren. Rudolph este un ren si Rudolph are un nas rosu. Orice are un nas rosu este ciudat sau este un clovn. Niciun ren nu este clovn. Scrooge nu iubeste nimic ce e ciudat. (Concluzie) Scrooge nu e copil.

3. Considerati urmtoarele ipoteze si verificati validitatea concluziei: 1. 2. 3. 4. 5. 6. 7. Oricine cumpr morcovi furajeri sau are un iepure, sau detine un magazin alimentar. Orice cine alearg iepurii. Maria cumpr morcovi furajeri. Toti cei care au iepuri ursc orice alearg iepuri. Ion are un cine. Cineva care urste ceva ce e detinut de o alt persoan nu se va ntlni cu acea persoan. (Concluzie) Dac Maria nu are un magazin alimentar, nu se va ntlni cu Ion.

4. Considerati urmtoarele ipoteze si verificati validitatea concluziei: 1. Cei din grupul Austinite care nu sunt conservatori iubesc armadillo (vezi poza). 2. Toti cei care poart bluze maro cu alb apartin grupului Aggie. 3. Orice Aggie iubeste orice cine. 4. Niciun iubitor de cini nu iubeste armadillo. 5. Clem este un Austinite si Clem poart bluze maro cu alb. 6. (Concluzie) Exist vreun Austinite conservator? 5. Considerati urmtoarele ipoteze si verificati validitatea concluziei: 1. 2. 3. 4. 5. 6. Toti cei pe care Maria i iubeste sunt juctori vedet de fotbal. Orice student care nu este integralist nu poate juca. Ion este un student. Orice student care nu studiaz nu este integralist. Toti cei care nu joac nu sunt staruri de fotbal. (Concluzie) Dac Ion nu studiaz, atunci Maria nu-l iubeste pe Ion.

6. Considerati urmtoarele ipoteze si verificati validitatea concluziei: 1. 2. 3. 4. 5. Orice coiot alearg un roadrunner (vezi figura) Orice roadrunner care spune beep-beep este destept. Niciun coiot nu alearg un roadrunner destept. Orice coiot ce alerg dup un roadruner dar nu-l prinde este frustrat. (Concluzie) Dac toti roadrunner spun beep-beep, atunci toti coiotii sunt frustrati.

7. Considerati urmtoarele ipoteze si verificati validitatea concluziei: 1. Oricine conduce un Harley este un personaj dur. 2. Fiecare motociclist conduce [ceva ce e] fie un Harley fie un BMW. 3. Toti cei care conduc un BMW sunt yuppie (young urban professional tnr ntre 20-30 de ani). 4. Toti yuppie sunt avocati. 5. Orice fat nu se ntlneste cu cineva care este un personaj dur. 6. Maria este o fat drgut, iar Ion este un motociclist. 7. (Concluzie) Dac Ion nu este avocat, atunci Maria nu se ntlneste cu el. 8. Considerati urmtoarele ipoteze si verificati validitatea concluziei: 1. Toti copii i iubesc pe cei care le aduc daruri. 2. Toti copii vor primi un dar de la Mos Crciun dac Mosul se poate deplasa n ajun de Crciun. 3. Este ceat n ajun de Crciun. 4. Cnd este ceat, cineva poate cltori dac are o surs de lumin. 5. Orice ren cu nasul rosu este o surs de lumin. 6. (Concluzie) Dac Mos Crciun are un ren cu nasul rosu, atunci toti copii l iubesc.

9. Considerati urmtoarele ipoteze si verificati validitatea concluziei: 1. 2. 3. 4. 5. Toti investitorii au cumprat [ceva ce e] actiuni sau obligatiuni. Dac indicatorul Dow-Jones cade, atunci toate actiunile care nu sunt actiuni n aur cad. Dac rata de interes T-Bill creste, atunci toate obligatiunile cad. Toti investitorii care au cumprat ceva care cade nu sunt fericiti. (Concluzie) Dac indicatorul Dow-Jones cade si rata de interes T-Bill creste, atunci orice investitor fericit a cumprat actiuni n aur.

10. Considerati urmtoarele ipoteze si verificati validitatea concluziei: 1. 2. 3. 4. 5. 6. 7. La toti copii le plac toate bomboanele. Toti cei la care le plac bomboanele nu sunt fanatici nutritionisti. Toti cei care mnnc dovleci sunt fanatici nutritionisti. Oricine cumpr un dovleac sau l va sculpta, sau l va mnca. Ion cumpr un dovleac. Lifesavers este o bomboan. (Concluzie) Dac Ion este un copil, atunci Ion sculpteaz un dovleac.

11. Considerati urmtoarele ipoteze si verificati validitatea concluziei: 1. Orice copac care este stejar are un grackle (vezi poza). 2. Dac cineva umbl pe sub un copac cu grackle, atunci va ur orice grackle. 3. Pentru fiecare constructie, exist un copac lng ea. 4. Taylor Hall este o cldire. 5. Toti studentii de la Informatic viziteaz Taylor Hall. 6. Dac cineva viziteaz o cldire, atunci va trece pe sub unul din copacii care se afl lng acea cldire. 7. (Concluzie) Dac exist un student la informatic care nu urste grackle, atunci exist un copac lng Taylor Hall care nu este stejar. 12. Considerati urmtoarele ipoteze si verificati validitatea concluziei: 1. 2. 3. 4. 5. 6. Orice copil vede o vrjitoare. Nicio vrjitoare nu are si o pisic neagr si o plrie tuguiat. Fiecare vrjitoare este rea sau bun. Toti copii ce vd vrjitoare bune primesc bomboane. Orice vrjitoare rea are o pisic neagr. (Concluzie) Dac fiecare vrjitoare care este vzut de orice copil are o plrie tuguiat, atunci fiecare copil primeste o bomboan.

13. Considerati urmtoarele ipoteze si verificati validitatea concluziei: 1. 2. 3. 4. Fiecare biat sau fat este un copil. Fiecare copil primeste o ppus sau un trenulet sau o bucat de crbune. Niciun biat nu primeste nici o ppus. Niciun copil bun nu primeste o bucat de crbune.

5. (Concluzie) Dac niciun copil nu primeste niciun trenulet, atunci niciun biat nu este cuminte. 14. Considerati urmtoarele ipoteze si verificati validitatea concluziei: 1. 2. 3. 4. Fiecare copil care gseste [un lucru care este un] ou sau un iepuras de ciocolat este fericit. Fiecare copil care este ajutat va gsi ou. Fiecare copil care nu este tnr sau care strduieste va gsi un iepure de ciocolat. (Concluzie) Dac fiecare copil tnr se strduieste tare sau este ajutat, atunci fiecare copil este fericit.

15. Considerati urmtoarele ipoteze si verificati validitatea concluziei: 1. 2. 3. 4. 5. Un student joac tenis, fotbal sau sah. Sahul nu este viguros. Orice persoan sntoas joac ceva viguros. Toti cei ce joac sah nu joac fotbal. (Concluzie) Dac fiecare student este sntos, atunci fiecare student ce joac sah joac si tenis.

16. Considerati urmtoarele ipoteze si verificati validitatea concluziei: 1. Orice student ce ia note bune este genial sau studiaz. 2. Fiecare student senior la Informatic are un coleg de camer. [coleg de camer se va transforma ntr-un predicat de dou variabile.] 3. Orice student ce are un coleg de camer cruia i place s chefuiasc se duce la Sixth Street. 4. Oricine se duce la Sixth Street nu studiaz. 5. (Concluzie) Dac fiecrui coleg de camer al fiecrui senior de la Informatic i place s chefuiasc, atunci fiecare student de la informatic care ia note bune este genial. 17. Considerati urmtoarele ipoteze si verificati validitatea concluziei: 1. 2. 3. 4. 5. Toti cei care sunt asi la examenele finale sunt sau geniali sau norocosi. Toti cei care iau 10 sunt asi la un examen final. Niciun student de la informatic nu este norocos. Oricine bea bere nu studiaz. (Concluzie) Dac fiecare student de la informatic ia 10, atunci fiecare student de la informatic care bea bere este genial.

18. Considerati urmtoarele ipoteze si verificati validitatea concluziei: 1. 2. 3. 4. Toti cei crora le place un joc de gen loto sunt juctori. Toti cei care sunt pentru legalitatea jocurilor de noroc iubesc un joc de gen loto. Oricine este sau pentru legalitatea jocurilor de noroc, sau mpotriva lor. Dac fiecare persoan ce apartine de cultul baptist voteaz mpotriva legalittii jocurilor de noroc, atunci legea jocurilor de noroc nu va fi adoptat. 5. Orice persoan credincioas ce apartine de cultul baptist nu este juctoare. 6. (Concluzie) Dac toti cei care apartin de cultul baptist voteaz si legea jocurilor de noroc trece, atunci nu toate persoanele care apartin de cultul baptist sunt credincioase. 19. Considerati urmtoarele ipoteze si verificati validitatea concluziei. Indicatie: predicatele ALB, NZPEZIT, FERICIT si PRIMESTE ar trebui fiecare s aib un argument timp.

1. Oricine are o sanie este fericit cnd este zpad. 2. Dac este alb, este zpad. 3. Dac Mos Crciun este fericit la Crciun, atunci fiecare copil care este cuminte va primi o jucrie de Crciun. 4. Orice copil care primeste o jucrie la un moment dat este fericit n acel moment. 5. Mos Crciun are o sanie. 6. (Concluzie) Dac este un Crciun alb si fiecare copil care nu este cuminte are o sanie, atunci toti copii sunt fericiti de Crciun. 20. Considerati urmtoarele ipoteze si verificati validitatea concluziei: 1. 2. 3. 4. 5. Oricine este la Sixth Street si nu este politist poart un costum. Niciun student la informatic nu este politist. Orice costum bun este un costum de robot. Toti cei din Sixth Street care sunt veseli sau au un costum bun sau sunt beti. (Concluzie) Dac niciun student de la informatic nu este beat si fiecare student de la informatic din Sixth Street este fericit, atunci fiecare student de la informatic din Sixth Street are un costum de robot.

21. Considerati urmtoarele ipoteze si verificati validitatea concluziei: 1. n fiecare Mall este un Mos Crciun. 2. Orice copil care viziteaz o locatie va vorbi cu fiecare Mos Crciun din acea locatie. [A nu se face un predicat pentru locatie; ar trebui s fie o variabil.] 3. Orice copil ce locuieste ntr-un oras viziteaz un Mall. 4. Orice copil care este bun sau vorbeste cu un Mos Crciun primeste o jucrie. 5. (Concluzie) Dac fiecare copil care nu locuieste ntr-un oras este bun, atunci fiecare copil primeste o jucrie. 22. Considerati urmtoarele ipoteze si verificati validitatea concluziei: 1. 2. 3. 4. 5. 6. Toti cei crora le e cald sau sunt beti, sau au un costum clduros. Fiecare costum clduros este cu blan. Toti studentii de la inteligent artificial sunt studenti la informatic. Toti studentii de la inteligent artificial au un costum de robot. Nici un costum de robot nu are blan. (Concluzie) Dac la toti studentii de la informatic le e cald, atunci toti studentii de la inteligent artificial sunt beti.

23. Considerati urmtoarele ipoteze si verificati validitatea concluziei: 1. Orice pasre doarme ntr-un copac. 2. Orice pasare loon (vezi poza) este o pasre si este si acvatic. 3. Orice copac n care o pasre acvatic doarme este lng un lac. 4. Oricine doarme oriunde lng un lac mnnc peste. 5. (Concluzie) Toate pasarile loon mnnc peste. 24. Considerati urmtoarele ipoteze si verificati validitatea concluziei:

Lupii, vulpile, psrile, omizile si melcii sunt animale si exis cteva din fiecare fel. De asemenea exist cereale, care sunt plante. Oricrui animal sau i place s mnnce toate plantele, sau toate animalele care sunt cu mult mai mici dect el si le place s mnnce plante. Omizile si melcii sunt cu mult mai mici dect psrile, care sunt cu mult mai mici dect vulpile, care la rndul lor sunt cu mult mai mici dect lupii. Lupilor nu le place s mnnce vulpi sau cereale, psrilor albe le place s mnnce omizi dar nu si melci. Omizilor si melcilor le place s mnnce anumite plante. Asadar exist un animal cruia i place s mnnce un animal care mnnca cereale?