APLICAII PRACTICE

A. LOGIC PROPOZIIONAL
2. Dac p q reprezint o propoziie adevrat, iar q V r, una fals, care este valoarea de
adevr a propoziiei reprezentate de p.
3. Dac p ~q este adevrat, ce putem spune despre p V q ?
4. Dac p ~q reprezint o propoziie adevrat, ce valoare de adevr va avea propoziia (p
V q r ?
!. "rtai c dac p q este fals, q V r are valoarea de adevr a lui r.
#. $%aminai validitatea urmtorului raionament&
Logica sau este grea, sau nu e agreat de muli studeni. Dac matematica e uoar,
atunci logica nu e grea. Deci, dac logica e agreat de muli studeni, matematica nu e
uoar.
'. (ecunoa)tei forma urmtorului raionament )i reprezentai*o prin formule propoziionale,
sta+ilindu*i valoarea de adevr cu a,utorul metodei deciziei prescurtate&
Cel ce e furat de aceast fericire nestatornic, sau tie, sau nu tie c ea este
schimbtoare. Dac nu tie, ce fel de fericire poate exista ntr-o ignoran oarb? ar dac
tie, trebuie s se team s nu piard ceea ce tie c poate fi pierdut! de aici o continu
ngri"orare care nu-i ngduie s fie fericit.
-.. (eprezentai prin formule propoziionale urmtoarele raionamente )i verificai*le su+
aspectul validitii prin metoda deciziei prescurtate&
a Dac spui ade#rul, oamenii te #or ur, iar dac spui minciuni te #or ur $eii. Dar
nu poi s spui dec%t ade#rul sau minciuni. &adar, #ei fi ur%t ori de oameni, ori de $ei.
+ Dac spun ade#rul, $eii m #or iubi, iar dac spun minciuni, m #or iubi oamenii.
Dar nu pot spune dec%t ade#rul sau minciuni. &adar, #oi fi iubit ori de $ei, ori de oameni.
--. (edai prin formule propoziionale urmtorul raionament )i testai validitatea acestuia
prin metoda matriceal )i prin metoda deciziei prescurtate&
'nt%lnirea se #a ncheia la egalitate sau #or c%tiga ga$dele.
Dac se ncheie la egalitate, echipa ga$d #a ocupa locul ( n clasament.
Dac echipa ga$d c%tig, #a ocupa locul ) n clasament.
*chipa ga$d #a ocupa ori locul (, ori locul ) n clasament.
-2. (edai prin formule propoziionale urmtorul raionament )i testai validitatea acestuia
prin metoda matriceal )i prin metoda deciziei prescurtate&
Dac ai re$ol#at corect ambele exerciii, #ei lua cel puin nota +.
Dac iei cel puin nota +, #ei fi admis.
Dac ai re$ol#at corect ambele exerciii, #ei fi admis.
-3. (edai prin formule propoziionale urmtoarele raionamente )i testai validitatea acestora
prin metoda deciziei prescurtate&
a ,andu l-a cre$ut pe on i nu l-a cre$ut pe -adu, sau l-a cre$ut pe -adu i s-a ndoit
de .udor. Dar dac ,andu l-a cre$ut pe on, atunci el nu l-a cre$ut pe Dan i, deoarece nu
este ade#rat c ,andu l-a cre$ut pe Dan, re$ult c ,andu l-a cre$ut pe -adu.
d Dac Dumne$eu nu poate pre#eni rul, nseamn c nu e atotputernic. ar dac l
poate pre#eni, ns nu o face, nseamn c nu este pe deplin bun. /r, Dumne$eu este at%t
atotputernic, c%t i pe deplin bun. 0rin urmare, rul nu exist.
e Dac echipa de baschet a plecat cu autobu$ul de +
)1
sau cu trenul de 2
(1
, ea a a"uns
la timp la meci, numai cu condiia ca ora de ncepere a meciului s nu fi fost de#ansat.
*chipa de baschet nu a plecat cu autobu$ul de +
)1
i n-a a"uns la timp la meci. 0rin urmare,
sau echipa de baschet n-a plecat nici cu trenul de 2
(1
, sau ora de ncepere a meciului a fost
de#ansat.
f Dac unchiul tu este un bun profesor de matematic, nu #ei e$ita s-i ceri a"utorul
pentru aceast dificil problem de algebr. 'ntruc%t tu nu e$ii s-i ceri a"utorul, conchid c
unchiul tu este un bun profesor de matematic.
/ Dac on ori ,andu c%tig concursul de selecie, atunci prestigiul clubului #a fi sal#at, iar
oraul nostru #a fi cu siguran repre$entat la campionatul mondial de nataie. 0rin urmare,
sau on nu c%ptig concursul de selecie, sau prestigiul clubului colar #a fi sal#at.
0 .udor a #enit la ,ibiu fie prin 0iteti, fie prin 3rao#. Dac a #enit prin 0iteti,
atunci a #i$itat u$ina de autoturisme 4Dacia5, iar dac a #enit prin 3rao#, a #i$itat u$ina de
autocamioane 4-oman5. Dar .udor n-a #i$itat u$ina de autoturisme 4Dacia5, prin urmare
el a #i$itat u$ina de autocamioane 4-oman5.
-4. 1olosind metoda matriceal sau prin metoda deciziei prescurtate, clasificai urmtoarele
formule 2n le/i lo/ice, realiza+ile sau inconsistente&
a p ~q
+ (p q ~p
c 3(p q r4 (p ~r
d 3(p 5 q r4 3(~r q ~p4
e p (~q p
f q (p q
/ 3(p q (~r q4 (~p r
0 (p p p
i 3p (p r4 (~p q
2
, (p ~q q
6 3p (~q r4 (~p q
l 3p (qr4 3(~r p q4
m 73(~p q ~r4 5 (p ~r8 (~r ~q
n 3(q r p4 3(q p (r p4
o (p q (q p
p 3(p q ~r4 3(r p (~q r4
q p (q r
r 3p (~q r4 3q (p ~r4
s 3p (q r4 3(p ~q (p r4
t (p q 73(q ~p r4 (~r ~q8
u (p ~q (~p q
v 3r (s ~q4 3(~p r (s r4
5 3~q (~p r4 3(r q p4
% 3(p q (~r s4 3(~s q (r p4
9 3p (q r4 3(p q r4
-!. 1olosind metoda deciziei prescurtate, demonstrai c urmtoarele formule sunt le/i lo/ice&
a 3(p q (p r (~q ~r4 ~p
+ (p ~q 3(p r (q ~r4
-:. 1olosind metoda deciziei prescurtate, demonstrai c urmtoarele formule sunt contradicii
lo/ice&
a 3(p q ~q4 3p ~(q p4 + (p q (~p ~q
c (p q (~p ~q d ~(p q ~(~p ~q e ~(p q ~(~p ~q
B. SILOGISTIC
-. Demonstrai, pe +aza le/ilor /enerale ale silo/ismului, c 2ntr*un silo/ism valid numrul
termenilor distri+uii 2n premise este cu cel puin unul mai mare dec;t numrul termenilor
distri+uii 2n concluzie.
3. Demonstrai, 2n temeiul le/ilor /enerale ale silo/ismului, c nu e%ist silo/ism valid cu
ma,or particular afirmativ )i minor universal ne/ativ.
4. "rtai c, atunci c;nd concluzia unui silo/ism valid este o propoziie universal, termenul
mediu nu poate fi distri+uit 2n premise dec;t o dat.
!. <resupun;nd c 2ntr*un silo/ism valid termenul ma,or este distri+uit 2n premis )i
nedistri+uit 2n concluzie, s se determine forma lo/ic a silo/ismului.
:. Dac premisa minor a unui silo/ism valid este ne/ativ, care va fi forma ma,orei?
=. >e se poate sta+ili cu privire la un silo/ism valid, dac )tim c 2n el este distri+uit numai
termenul mediu?
#. >e se poate sta+ili cu privire la un silo/ism valid, dac )tim c 2n el sunt distri+uii numai
mediul )i minorul?
3
'. Demonstrai c, dac termenul minor este predicat 2n premis, concluzia nu poate fi o
propoziie universal afirmativ.
-.. ? se infirme printr*o ar/umentare silo/istic valid propoziiile&
a 6ici un animal ac#atic nu este mamifer.
+ .oate metalele sunt solide.
c 6ici un student din anul nu a n#at logic n liceu.
d .oi infractorii sunt pedepsii.
-!. 1ormalizai )i demonstrai prin metoda dia/ramelor Venn validitatea urmtorului
silo/ism&
47rile europene se adfl toate la nord de paralela )8
1
. *l#eia este ar european, deci
*l#eia se afl la nord de paralela )8
1
.
-:. 1ormalizai )i demonstrai prin metoda reducerii validitatea urmtorului silo/ism&
4Lucreiu este filosof. Lucreiu este poet. 9nii poei sunt filosofi.5
-=. 1ormalizai )i demonstrai prin metoda dia/ramelor Venn )i prin metoda reducerii
validitatea urmtorului silo/ism&
4.oi cei care au participat la spargere se aflau la data comiterii ei n localitate. onescu nu
se afla la acea dat n localitate, deci onescu nu a participat la spargere.5
-#. @ndicai modul )i fi/ura urmtorului silo/ism )i demonstrai validitatea acestuia utiliz;nd
metoda dia/ramelor Venn&
4.oi candidaii cu note peste + au fost admii. 9nii din candidaii pro#enii de la Liceul : au
obinut note peste +. 9nii din candidaii pro#enii de la Liceul : au fost admii.5
-'. @ndicai modul )i fi/ura urmtorului silo/ism )i demonstrai validitatea acestuia utiliz;nd
metoda reducerii )i metoda dia/ramelor Venn&
49nii din membrii grupului n-au mai prins trenul, fiindc unii din cei sosii la gar dup ora
; erau membri ai grupului, or nici unul din cei ce au sosit dup ora ; nu a mai prins trenul.5
2.. @ndicai modul )i fi/ura urmtorului silo/ism )i demonstrai validitatea acestuia utiliz;nd
metoda reducerii )i metoda dia/ramelor Venn&
4.oi aci$ii nroesc h%rtia de turnesol. 9nele din substanele testate nu nroesc h%rtia de
turnesol. 9nele din substanele testate nu sunt aci$i.5
2-. @ndicai modul )i fi/ura urmtorului silo/ism )i demonstrai validitatea acestuia utiliz;nd
metoda reducerii )i metoda dia/ramelor Venn&
49nii din absol#enii Liceului : au obinut la concurs note peste 2, iar toi cei ce au obinut
note peste 2 au primit premii, deci unii dintre premiani sunt absol#eni ai Liceului :.5
4
32. ? se determine sc0ema de inferen )i modul valid corespunztoare unui silo/ism care
2ntrune)te condiiile& a premisa ma,or este afirmativA + termenul ma,or este distri+uit 2n
concluzieA c termenul minor este nedistri+uit 2n premis.
33. Determinai modurile corespunztoare silo/ismului valid a crui premis ma,or este
afirmativ.
34. Determinai modurile corespunztoare silo/ismului valid a crui premis ma,or este
particular ne/ativ.
3!. Determinai modurile corespunztoare silo/ismului valid a crui premis minor este
particular ne/ativ.
3:. Determinai modurile corespunztoare silo/ismului valid care conine numai doi termeni
distri+uii, fiecare de dou ori.
3=. ?e d un silo/ism valid al crui termen ma,or este predicat 2n premisa ma,or. ? se arate
ce calitate are premisa minor a acestui silo/ism.
3#. Dovedii c dac dou silo/isme au o premis comun, iar celelalte premise sunt 2n raport
de contradicie, am+ele concluzii sunt propoziii particulare.
3'. 1ie dou moduri silo/istice valide aflate 2n aceea)i fi/ur, av;nd ca termeni acelea)i
noiuni, iar ma,orele lor fiind propoziii aflate 2n raport de su+contrarietate. ? se determine
sc0emele de inferen corespunztoare lor.
42. Determinai sc0ema de inferen specific urmtorului raionament )i verificai validitatea
lui&
<iinele perfecte ar putea n#a logica n =-) $ile, dar din pcate oamenii nu sunt
fiine perfecte i, deci, oamenii nu pot n#a logica n =-) $ile.
!