Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
LOGICA TERMENILOR
Fie propoziţiile:
a) ‘Toate mamiferele sunt vertebrate.’ (adevărat)
b) ‘Nici un număr prim nu este divizibil cu 2.’ (fals)
c) ‘Unii studenţi sunt căsătoriţi.’ (adevărat)
Distingem în aceste propoziţii două clase de cuvinte sau ele-
mente lingvistice. Există, pe de o parte, componente care descriu forma
logică a propoziţiei, formă care poate cuprinde indiferent ce conţinut:
‘Toate...sunt...’; ‘Nici un...nu este...’; ‘Unii...sunt...’ etc.
Restul cuvintelor, care exprimă conţinutul (sensul) specific al
fiecărei propoziţii, sunt componente extralogice, care variază de la o
propoziţie la alta, prezenţa lor făcând ca fiecare propoziţie să spună
altceva, să exprime un înţeles propriu.
Vom numi termeni toate aceste componente extralogice ale pro-
poziţiilor simple de predicaţie – propoziţii în care unui obiect i se atribuie
sau i se respinge o anumită proprietate. Situaţi la nivel lingvistic, termenii
sunt asociaţi în logica tradiţională cu aşa-numitele noţiuni sau concepte.
Având în primul rând o semnificaţie psihologică şi episte-mologică,
noţiunea este o formă de cunoaştere, prin care se reflectă la nivel raţional
proprietăţile esenţiale ale claselor sau mulţimilor de obiecte. Toate
numerele prime au în comun însuşirea caracteristică de a nu fi divizibile
decât cu unu şi cu ele însele; toate poligoanele sunt linii frânte închise, iar
Logică
patrulater
poligon
abstracte concrete
după conţinut absolute relative
pozitive negative
2.5 Raporturi extensionale între noţiuni
A B
B A A B A B
a1 a2 a3 b
2.6 Definiţia
(3) ( A = B ) şi ( B = A )
df df
sunt lipsite de sens. În schimb, dacă A se defineşte prin B şi B se
defineşte prin C, atunci A se defineşte prin C; altfel spus, formula
(4) [( A = B ) şi ( B = C )] implică logic (A = C)
df df df
este logic corectă.
fizica, ci şi alte ştiinţe naturale, precum chimia sau biologia. Tot ina-
decvată este şi situaţia în care definiendum şi definiens se găsesc într-un
raport de încrucişare, acoperindu-se reciproc numai parţial din punct de
vedere al extensiunii, precum în definiţia:
‘Filosofia = cunoaşterea omului’,
df
vieţii psihice‘,
şi nici să utilizeze pe definiendum pentru propria sa definire, aşa cum este
cazul definiţiilor:
‘Cauză = obiect sau proces care precede şi produce (generează)
df
2.7 Clasificarea
încălcăm regula enunţată dacă, studiind lumea vie, după criteriul modului
de hrănire construim clasele autotrofe (plante care sintetizează materia vie
prin fotosinteză) şi heterotrofe (animale care consumă alte fiinţe vii
pentru a se hrăni), şi în care se adună laolaltă clasele ierbivore, carnivore
şi omnivore; clasa carnivore astfel delimitată nu include plantele
carnivore, care rămân astfel în afara clasificării.
2) Pe fiecare treaptă a clasificării, între clasele obţinute trebuie
să existe exclusiv raporturi de opoziţie; oricare element al clasificării tre-
buie să fie introdus într-o singură clasă şi numai într-una, neputând să
figureze în două sau mai multe clase deodată. Dacă, de exemplu,
clasificăm instrumentele muzicale acustice (non-electronice) după modul în
care produc sunete în instrumente de suflat, cu coarde şi de percuţie,
pianul s-ar găsi o dată în clasa instrumentelor cu coarde, altă dată în clasa
celor de percuţie.
3) Pe aceeaşi treaptă, criteriul de clasificare trebuie să fie unic;
aceleaşi elemente pot fi clasificate după criterii diferite, dar nu în acelaşi
timp. Păstrând criteriul de clasificare, operaţia se poate efectua din
aproape în aproape sau treaptă cu treaptă, până la epuizarea obiectelor de
clasificat. Grupând populaţia activă în categorii profesionale după nivelul
de calificare, vom introduce în clasa intelectualităţii toţi oamenii şi numai
oamenii cu studii superioare, făcând abstracţie de faptul că, din alte
puncte de vedere, intelectualitatea poate fi privită mai curând filosofic, ca
o condiţie existenţială, sau psihologic, ca tip caracterologic, decât ca o
categorie socio-profesională, primind în cadrul ei numai indivizii care
dedică în mod creativ o mare parte din timpul şi energia lor sufletească
acumulării, asimilării critice şi producerii de idei sau cunoştinţe,
indiferent de nivelul studiilor atestate prin diplome universitare sau nu.
4) Asemănările dintre obiectele aflate în aceeaşi clasă trebuie să
fie mai importante decât deosebirile dintre ele. Aici se pune problema
relevanţei criteriilor de clasificare. Într-o clasificare superficială, delfinii
sau balenele ar sta alături de peşti, având în vedere mediul în care trăiesc,
forma corpului şi modul de locomoţie – criterii după care, la rândul lor,
liliecii s-ar situa alături de păsări în clasa zburătoarelor. După criteriul
mai esenţial al modului de reproducere, însă, atât balenele şi delfinii, cât
şi liliecii fac parte din clasa mamiferelor – asemănările fiind, pe acest
Logica termenilor
2.8 Diviziunea
Numită şi ‘clasificare analitică’, diviziunea este operaţia logică
prin care, pornind de la o noţiune generală, dezvăluim întâi speciile
acesteia, apoi subspeciile fiecăreia dintre ele, continuând astfel, din treaptă
în treaptă, până ce ajungem la obiectele individuale care aparţin clasei
denotate de termenul iniţial.
În structura diviziunii aflăm aceleaşi componente ca şi la
clasificare, dispuse în ordine inversă:
obiectul diviziunii – o noţiune generală luată ca gen şi împărţită în
specii, subspecii ş. a. m. d.
criteriul diviziunii – însuşirile pe baza cărora se grupează speciile şi
subspeciile;
membrii (elementele) diviziunii.
Regulile diviziunii coincid, în mare măsură, cu regulile clasifi-
cării:
1) Diviziunea trebuie să fie completă, astfel încât membrii divizi-
unii să epuizeze obiectul operaţiei; grupaţi laolaltă, aceştia trebuie să
acopere o extensiune identică celei ce aparţine termenului iniţial.
Logică
subcontrarietate
SiP SoP
Logică
S P
SaP + –
SeP + +
SiP – –
SoP – +
Logica termenilor
2.12.1 Conversiunea
S–P
→
c
P–S
convertenda conversa
Nu toate tipurile de propoziţii categorice se convertesc în acelaşi
mod.
Logică
2.12.2 Obversiunea
S—P
→
o
S−P
obvertenda obversa
→ c
S iP →o
S oP
2. (a) SeP → PeS
c
→ Pa S
o
→
c
S iP
→
o
S oP
(b) SeP → Sa P
o
→ P iS
c
→ P o S
o
(b) SiP → So P
o
4. SoP
→ Si P
o
→
c
P iS →
o
PoS
După cum se poate observa, şirurile de inferenţe alternative se
încheie de fiecare dată cu o propoziţie particular negativă, care nu se mai
poate converti. Propoziţia conversă a obversei se numeşte contrapusă
parţială (procedeul de obţinere numindu-se contrapoziţie parţială), iar
obversa contrapusei parţiale, obţinută prin contrapoziţie totală, se
numeşte contrapusă totală. Se numeşte inversă a unei propoziţii o altă
propoziţie implicată logic de ea şi care are ca subiect contradictoriul
subiectului ei. Inverse nu au decât propoziţiile universale ( S iP şi S o P
sunt inversele lui SaP; S iP şi S o P sunt inversele lui SeP).
MaP P
SaM M
SaP
S
premise (de unde caracterul mai greoi, oarecum forţat din perspectiva
intuiţiei al deducţiilor silogistice din această figură).
Figurile silogistice se transformă din structuri abstracte în scheme
de inferenţă numai dacă specificăm tipurile de propoziţii (A, E, I sau O)
ce apar drept premise şi concluzie. De exemplu, o premisă majoră din
figura I, de structura M — P, poate fi o propoziţie de forma MaP, MeP,
SiP sau SoP. Considerând acest aspect, în fiecare figură sunt posibile câte
64 de combinaţii, numite moduri silogistice. Numărul total de construcţii
sau moduri silogistice este considerabil: 4 × 64 = 256. Pentru notaţia
simbolică a fiecărui mod silogistic posibil adoptăm următorul procedeu: o
succesiune de trei litere (a, e, i sau o) indică tipurile de propoziţii care
alcătuiesc premisele şi concluzia modului silogistic respectiv, iar una din
cifrele 1, 2, 3 sau 4, alăturată grupului de litere, indică figura silogistică,
respectiv modul de dispunere a termenilor în premise. De exemplu, aaa-1
redă simbolic un silogism de forma:
MaP
SaM
SaP
eio-2 reprezintă un silogism în figura a II-a, de forma:
PeM
SiM
SoP
P (c)
S M
P (b) P (a)
(a) şi (b) sunt contradictorii: una dintre concluziile SeP sau SiP este
inevitabil falsă; or, în orice inferenţă validă, din premise adevărate se
obţin întotdeauna numai concluzii adevărate. Rezultă că un silogism în
care M nu este măcar o dată distribuit nu poate fi valid. Intuitiv,
conţinutul propoziţiilor ne spune, de regulă, care dintre variantele
posibile trebuie aleasă pentru a avea o concluzie adevărată. Pe aceeaşi
schemă silogistică putem construi următoarele înlănţuiri de propoziţii:
(i) Toate pătratele sunt patrulatere PaM
Unele poligoane regulate sunt patrulatere SiM
Unele poligoane regulate sunt pătrate SiP
(ii) Toate ciorile sunt negre PaM
Unele lebede sunt negre SiM
Nici o lebădă nu este cioară SeP
În cazul (i) se potriveşte soluţia (b); în cazul (ii), soluţia (a) – dar
opţiunea pentru o concluzie sau alta nu se face în virtutea formei logice,
ci a conţinutului sau a sensului propoziţiilor, cunoscut empiric.
(L.2) Nici unul din termenii extremi ai silogismului nu poate fi
distribuit în concluzie decât dacă este distribuit şi în premisa în care
apare.
Această cerinţă a fost enunţată şi explicată ca regulă generală a
tuturor inferenţelor cu propoziţii categorice. Nerespectarea acestei legi
duce la comiterea următoarelor erori logice:
(a) majorul ilicit; fie silogismul:
Toţi marinarii sunt beţivi Ma P
−
P
(a) S M
(b) S (c) S
Concluziile posibile sunt: (a) SeP; (b) SiP sau SoP; (c) SaP.
Găsim aici o pereche de contradicţii logice, între SaP şi SoP, pe de o
parte, şi între SeP şi SiP, de cealaltă parte; prin urmare, schema silogistică
nu este validă.
(b) minorul ilicit; fie silogismul:
Nici o pasăre nu e vivipară MeP
Toate păsările sunt bipede MaS
–
Nici un biped nu este vivipar SeP
+
Termenul minor S apare distribuit în concluzie (ca subiect logic
de propoziţie universală), dar este nedistribuit în premisa minoră (ca
predicat logic de propoziţie afirmativă). Din nou reprezentarea grafică a
celor două premise face posibile mai multe concluzii, două dintre acestea
fiind contradictorii; deci, raţionamentul nu este valid.
S
P (a) S e P
P (a) (b) S i P sau
SoP
M P (c) (c) S i P
(b)
mediu, astfel încât premisele se referă numai la acele părţi din sferele lui
S şi P care se suprapun cu M; stabilind un raport de excludere între
extremi, o concluzie negativă s-ar referi la acele părţi din sferele lui S şi P
nesuprapuse sferei lui M, părţi despre care premisele nu oferă nici o
informaţie.
(L.4) Cel puţin o premisă trebuie să fie afirmativă (sau, într-o
formulare echivalentă: Un silogism cu două premise negative nu poate fi
valid).
Raţiunea acestei legi este foarte simplă: dacă ambele premise sunt
negative, atunci fiecare din ele se referă la ceea ce S, respectiv P nu au în
comun cu M; în acest caz, termenul mediu, fiind separat atât de S, cât şi
de P, nu poate spune absolut nimic despre relaţia dintre termenii extremi,
care se pot găsi în oricare din tipurile posibile de raporturi extensionale.
Dacă ‘Nici un om nu este pasăre’ şi ‘Nici o pasăre nu are trei picioare’,
din aceste două propoziţii nu derivă logic nici o concluzie necesară, ci se
poate spune orice sau nimic.
(L.5) Dintr-o premisă afirmativă şi alta negativă nu poate
rezulta decât o concluzie negativă.
Premisa afirmativă enunţă un raport de concordanţă între M şi
termenul extrem pe care îl conţine. Cealaltă premisă fiind negativă,
enunţă un raport de opoziţie între M şi celălalt termen extrem. Implicit se
stabileşte un raport de opoziţie între S şi P, în sensul că acela dintre ei
care se află în premisa negativă este separat de orice element aflat în zona
de coincidenţă a sferei celuilalt termen extrem cu sfera termenului mediu.
Concluzia modului perfect este PiS; din aceasta decurge însă prin
conversiune simplă exact concluzia silogismului imperfect de la care am
pornit: PiS
→c
SiP. Şi acest mod silogistic se consideră, prin urmare,
valid.
Logica termenilor
Să vedem, spre ilustrare, cum se reduce modul Cesare, din fig. II.
Consoana iniţială ne spune că reducerea se realizează aducând silogismul
din fig. II la modul perfect Celarent, din fig. I. Iar consoana interioară s
ne semnalează faptul că reducerea se bazează pe conversiunea simplă a
premisei majore din modul Cesare.
Logică
PeM →c
MeP
SaM SaM
SeP SeP
Modul Camestres (fig. II) se reduce tot la Celarent (fig. I), dar
procedura este mai laborioasă, fiind necesară inversarea premiselor şi o
dublă conversiune.
PaM SeM →c
MeS
SeM PaM PaM
SeP PeS
→
c
SeP
Inversarea premiselor este necesară şi pentru reducerea modului
Dimaris (fig. IV) la modul perfect Darii (fig. I).
PiM MaS
MaS PiM
SiP PiS →c
SiP
S—M
S—P
Rezultă imediat că una dintre premise trebuie să fie negativă, căci
numai astfel – ca predicat logic de propoziţie negativă – M poate fi
distribuit, aşa cum o cere (L.1). De aici rezultă următoarele consecinţe
logice:
• având o premisă negativă, concluzia nu poate fi decât negativă (L.5)
• în concluzie, P este distribuit (ca predicat de propoziţie negativă)
• distribuit în concluzie, P trebuie să fie distribuit şi în premisa majoră
(L.2)
• având în premisa majoră funcţia logică de subiect, P poate fi
distribuit numai dacă această premisă este o propoziţie univer-sală.
Regulile speciale ale figurii a II-a sunt, aşadar, următoarele:
R.1(II) premisa majoră universală
R.2(II) o premisă negativă
• aceasta nu se poate realiza decât dacă premisa majoră (în care P este
subiect logic) este universală.
H3 Ce se întâmplă dacă premisa majoră este afirmativă?
• în premisa majoră afirmativă, M este nedistribuit (ca predicat de
propoziţie afirmativă)
• întrucât M trebuie să fie măcar o dată distribuit (L.1), singura
posibilitate în acest sens este ca premisa minoră (în care M este
subiect logic) să fie o propoziţie universală
H4 În sfârşit, să presupunem că premisa minoră este o propoziţie
afirmativă.
• în premisa minoră, S este nedistribuit (ca predicat de propoziţie
afirmativă)
• rezultă că S trebuie să fie tot nedistribuit şi în concluzie (L.2)
• concluzia va fi, deci, o propoziţie particulară.
Putem sintetiza aceste demonstraţii în numai trei reguli speciale
ale figurii a IV-a:
R.1(IV) Dacă o premisă este negativă, atunci:
• acea premisă este şi universală (ceea ce înseamnă că în
silogismele din figura a IV-a nu se admite premise particular
negative)
• premisa majoră este o propoziţie universală
R.2(IV) Dacă premisa majoră este afirmativă, atunci premisa
minoră trebuie să fie o propoziţie universală
R.3(IV) Dacă premisa minoră este afirmativă, atunci concluzia
este o propoziţie particulară
2.18.1 Entimema
2.18.3 Epicherema
Exerciţii
*
Exerciţiile 1 - 34 sunt reproduse ori adaptate după A. Cazacu, Logica fără profesor, Humanitas,
Bucureşti, 1998, passim
Logică
Marea Piramidă a lui Kheops este una dintre minunile Antichităţii; deci,
Marea Piramidă este şapte. Să se explice în ce constă eroarea logică din
aceste inferenţe, care conduc la concluzii false, ba chiar evident absurde.
6. Deosebiţi noţiunile general-colective de cele individual-colec-
tive: echipaj, familia Enăchescu, floră, Biblioteca Municipală ‘M. Sado-
veanu’, trupă, familie, faună, Armata României, Pădurea Băneasa, turmă,
stol, muşuroi de furnici.
7. Deosebiţi noţiunile precise de cele vagi: triunghi, centaur, ele-
ment chimic, victorie, electron, blândeţe, inteligent, frumos, număr prim,
talentat, vertebrat, colosal, funcţie trigonometrică, tânăr, grămadă, chel,
trecut, cireadă, cârd.
8. Deosebiţi noţiunile abstracte de cele concrete: dârzenie, tren,
facultate, inegalitate, agilitate, frumuseţe, carte, patruped, intransingenţă,
transparenţă, automobil, mobilitate, verdeaţă, albăstreală, rigiditate, bună-
tate, teren, citate, elasticitate, frică, temeritate.
9. Se dau inferenţele: a) Albul este o culoare; George este alb;
prin urmare, George este o culoare. b) Frumosul este pasiunea artiştilor;
Ion este frumos; deci, Ion este pasiunea artiştilor. c) Sublimul este o cate-
gorie estetică; apusul de soare este sublim; rezultă că apusul de soare este
o categorie estetică. Să se explice în ce constă eroarea logică din aceste
inferenţe.
10. Deosebiţi noţiunile absolute şi cele relative: număr par,
funcţie trigonometrică, raport, nevertebrat, omonim, biunivoc, ziarist,
frate, complementaritate, coincidenţă, soţie, prieten, însoţitor, cititor,
asociat.
11. Presupunem adevărate următoarele propoziţii: a) Această
carte îi aparţine lui Vasile. b) Vasile este fratele meu. Putem extrage din
aceste două propoziţii concluzia: ‘Această carte îmi aparţine’?
12. Deosebiţi noţiunile independente şi cele dependente (corela-
tive): student, cauză, pozitiv, bun, ilegal, triunghi, drept, înalt, negaţie,
vapor, scurt, relativ, albastru, vânzător, creditor, mire, duşman, tată.
13. Deosebiţi noţiunile pozitive şi cele negative: nevoie,
antitalent, dezagreabil, independenţă, introspecţie, anticorp, infirmitate,
infirmerie, infirmare, dezonoare, nefast, nebun, ataşament, agramat,
abolit, dezlipit, dezordonat, orb, surd, mut, mort, om, neom.
Logica termenilor
a) b) c) d) e)
concretă concretă abstractă abstractă nici una
relativă absolută relativă absolută
independentă independentă corelativă corelativă
pozitivă negativă pozitivă negativă
(iii) ‘Caraghios’
a) b) c) d) e)
abstractă abstractă concretă concretă nici una
absolută relativă absolută relativă
independentă corelativă independentă corelativă
pozitivă negativă pozitivă pozitivă
17. Comparaţi următoarele serii de noţiuni din punctul de vedere
al mărimii sferei, apoi al mărimii conţinutului; evidenţiaţi corelaţiile dintre
ele: a) paralelogram, pătrat, patrulater convex, poligon, dreptunghi; b)
mamifer, vertebrat, biped, animal, om; c) plantă, conifer, organism, brad,
arbore; d) timişorean, om, european, român, bănăţean, sud-est-european.
18. Indicaţi contrarele şi contradictoriile următoarelor noţiuni:
număr par, verde, zi, orb, mamifer, plăcut, bun, dreptunghi.
19. Pentru fiecare dintre noţiunile ‘om’, ‘savant’, ‘mamifere’,
găsiţi alte patru noţiuni, aflate cu noţiunile date în toate raporturile de
concordanţă posibile (identitate, subordonare, supraordonare, încruci-
şare).
20. Pentru fiecare dintre noţiunile ‘musulman’, ‘cântăreţ’, ‘tri-
unghi’ găsiţi alte şase noţiuni, aflate cu noţiunile date în toate cele şase
raporturi extensionale posibile (identitate, subordonare, supraordonare,
încrucişare, contradicţie şi contrarietate).
21. Fie noţiunile A, B şi C astfel încât: între A şi B există un
raport de încrucişare, iar C, deşi este în raport de opoziţie cu A, este
subordonată faţă de B. Reprezentaţi grafic aceste raporturi şi construiţi
toate formele propoziţionale care au în componenţa lor exclusiv aceste
noţiuni.
22. Reprezentaţi grafic sferele a trei noţiuni A, B şi C care se află
în următoarele raporturi extensionale: noţiunea C este gen faţă de A şi B,
Logica termenilor
iar acestea din urmă se află în raport de opoziţie între ele. Formulaţi toate
formele propoziţionale care au în componenţa lor exclusiv aceste noţiuni.
23. Reprezentaţi prin diagrame Euler raporturile dintre noţiunile
de mai jos, folosind literele A, B, C etc. care corespund noţiunilor: carte
scrisă de un profesor de logică, manual şcolar, manual de logică, volum
de versuri scris de un profesor, manual.
24. Rezolvaţi cu ajutorul diagramelor Euler următoarea problemă:
Andrei are prieteni numai printre prietenii lui Bogdan, iar printre cei cu
care Cornel nu este prieten se află toţi prietenii lui Andrei şi unii dintre
cei ai lui Bogdan. În schimb, toţi prietenii lui Doru sunt prietenii lui
Cornel, dar nu şi ai lui Bogdan. Au oare Andrei şi Doru prieteni comuni?
25. Noţiunea A se află în raport de încrucişare cu noţiunea B, iar
o a treia noţiune C se află în raport de încrucişare cu B, dar de subordona-
re faţă de A. Reprezentând prin diagrame Euler raporturile extensionale
dintre noţiunile de mai sus, putem enunţa următoarele forme propoziţi-
onale?
a) Toţi C sunt B c) Unii A sunt B
b) Nici un A nu este B d) Nici un C nu este A
26. Noţiunea A este specie a noţiunii B, iar noţiunea C se află în
raport de opoziţie cu noţiunea A. Arătaţi prin diagrame Euler dacă
raportul dintre cele trei noţiuni întemeiază forma propoziţională: ‘Nici un
B nu este C’.
27. Dacă noţiunea A se află în raport de încrucişare cu noţiunea
B, iar a treia noţiune C se află în raport de încrucişare cu B, ce raport va
exista între A şi C?
28. Membrii unei familii de vegetarieni se deosebesc unii de alţii
după preferinţele lor culinare, deoarece: Doar cei care mănâncă praz con-
sumă cu plăcere spanac, în timp ce aceia care mănâncă spanac nu se ating
nici în ruptul capului de morcovi, ca de altfel şi o parte din consumatorii
de praz; pe de altă parte, toţi cei care mănâncă spanac şi toţi cei care
mănâncă morcovi consumă cu deosebită plăcere cartofi, dar nu toţi cei
care preferă prazul se simt atraşi de cartofi. Prezentaţi structura acestei
familii sub forma raporturilor dintre noţiuni.
29. În urma unui sondaj de opinie, la nivelul unei clase de elevi,
privind programele de televiziune, preferinţele s-au îndreptat asupra a
Logică
renumiţi. f) Cine fuge după doi iepuri nu prinde nici unul. g) Există un
singur metal care este lichid.
38. Construiţi contrapusele parţiale şi totale ale propoziţiilor: a)
Numerele impare au pătrate impare. b) Unii bursieri nu sunt căminişti.
39. (Keynes) Determinaţi relaţiile logice dintre următoarele
propoziţii considerate două câte două: a) Toate cristalele sunt solide. b)
Unele solide nu sunt cristale. c) Unele substanţe ce nu sunt cristale nu
sunt solide. d) Nici un cristal nu este solid. e) Unele cristale sunt solide. f)
Unele substanţe ce nu sunt solide nu sunt cristale. g) Toate solidele sunt
cristale.
40. (P. Bieltz) Reformulaţi următoarele propoziţii astfel încât ele
să aibă acelaşi subiect şi acelaşi predicat logic şi arătaţi ce raporturi există
între ele: (1) Toţi A sunt non-B. (2) Unii non-A sunt B. (3) Nici un non-A
nu este B. (4) Unii A sunt B.
41. (P. Bieltz) Să se formeze din următoarele propoziţii toate
perechile posibile şi pentru fiecare pereche în parte să se arate dacă una
din propoziţii poate fi derivată corect din cealaltă prin inferenţe imediate:
(1) Orice acţiune inumană este nejustificabilă.
(2) Orice acţiune nejustificabilă este inumană.
(3) Unele acţiuni justificabile nu sunt inumane.
(4) Nici o acţiune justificabilă nu este inumană.
(5) Unele acţiuni inumane nu sunt nejustificabile.
(6) Unele acţiuni care nu sunt inumane nu sunt nejustificabile.
(7) Unele acţiuni justificabile sunt inumane.
42. Verificaţi validitatea următoarelor inferenţe: a) Dacă nici o
pasăre nu e patruped, atunci nici un patruped nu este pasăre. b) Dacă
numai unii sportivi sunt campioni, atunci numai unii campioni sunt
sportivi. c) Dacă toţi celibatarii sunt necăsătoriţi, atunci toate persoanele
necăsătorite sunt celibatari. d) Dacă toţi oamenii bogaţi sunt zgârciţi,
atunci toţi oamenii săraci sunt generoşi. e) Dacă toţi măgarii au urechi
lungi, atunci toate animalele care nu sunt măgari au urechi scurte.
f) Dacă orice prost este fudul, atunci orice deştept este modest.
43. Se consideră adevărată propoziţia: ‘Nici un militar nu este
fricos‘. Care dintre următoarele propoziţii poate fi derivată în mod valid
din propoziţia iniţială? a) ‘Unii civili sunt fricoşi’; b) ‘Toţi militarii sunt
Logică