Documente Academic
Documente Profesional
Documente Cultură
propoziiile atomare pe care le leag este adevrat i fals dac ambele sunt false.
18. Implicaie conector logic binar cu proprietatea c este fals doar dac prima propoziie
atomar este adevrat, iar cea de-a doua fals, fiind adevrat n rest.
19. Echivalen conector logic binar cu proprietatea de a fi adevrat doar dac propoziiile
atomare pe care le leag au aceeiai valoare de adevr.
20. Lege logic formul ce este adevrat independent de valorile variabilelor propoziionale.
21. Formul contingent formul ce, n funcie de valorile de adevr ale variabilelor
propoziionale este uneori adevrat, alteori fals.
22. Formul inconsistent formul ce, independent de valorile variabilelor propoziionale este
mereu fals.
23. Inferen deductiv inferen ce poate fi caracterizat drept adevrat sau fals,
24. Inferen inductiv inferen ce nu poate fi carcaterizat n mod adecvat ca fiind valid
sau nevalid ci, drept probabil sau mai puin probabil, concluzia spunnd mai mult dect
premisele din care a fost obinut.
25. Inferen imediat inferen compus dintr-o premis i o concluzie.
26. Inferen mediat inferen caracterizat prin faptul c legtura dintre subiectul i
predicatul concluziei este mediat de un al treilea termen.
27. Inferen valid inferen caracterizat prin faptul c din premise adevrate se trag
concluzii adevrate.
28. Inferent nevalid inferen caracterizat prin faptul c din premise adevrate nu se trag
concluzii corecte.
29. Inferen ipotetic inferen cu dou premise i o concluzie caracterizat prin faptul c
una din premise este o implicaie iar cealalt afirmarea antecedentului sau negarea
consecventului implicatiei.
30. Inferen disjunctiv - inferen cu dou premise i o concluzie caracterizat prin faptul c
una din premise este o disjuncie, iar cealalt afirmarea sau negarea unuia dintre termenii
disjunciei.
31. Inducie complet inducie ce produce concluzii certe din premise adevrate deoarece
premisele sunt temei suficient pentru concluzie.
32. Inducie incomplet inducie ce chiar i atunci cnd pornete de la premise adevrate
produce doar o concluzie plauzibil, deoarece premisele nu sunt temei suficient pentru concluzie.
2
Ea extinde la o ntreag clas propriteatea despre care premisele arat c aparine unora din
elementele acelei clase.
33. Inferen inductiv slab inferen inductiv cu grad redus de probabilitate.
34. Inferen inductiv tare inferen inductiv cu grad ridicat de probabilitate.
36. Tez de demonstrat propoziie susinut printr-o demonstraie, a crei concluzie este.
Tez
37. Fundament al demonstraiei ansamblu de premise (definiii, axiome, teorii ... ) din care
urmeaz s conchidem teza.
39. Demonstraie intuitiv demonstraie ce se bazeaz pe relaiile dintre termeni i propoziii.
Cel mai adesea nu se bazeaz pe raionamente complete, ci eliptice, iar uneori cel care le
realizeaz nu este contient de regulile pe care le aplic.
40. Demonstraie formalizat demonstraie scris n limbaj formal bazat pe relaii exprimate
n simboluri.
41. Demonstraie deductiv demonstraie n a crei desfurare nu intervin direct date de
experien.
42. Demonstraie inductiv demonstraie n a crei desfurare intervin direct date de
experien.
43. Demonstraie direct fie inducia complet fie deducia conform cu formele cunoscute n
care se trece dela premise la concluzie.
46. Modus ponendo-ponens inferen ipotetic ce spune c dac implicaia ntre dou
propoziii este adevrat i dac antecedentul acesteia e adevrat atunci i consecventul
implicaiei iniiale e adevrat.
47. Inducie prin simpl enumerare form a induciei incomplete n care concluzia reiese din
observaii nesistematice, simple constatri. Are grad redus de probabilitate al concluziei.
48. Inducie tiinific form a induciei incomplete n cunoaterea tiinific. Tinde, prin
folosirea sistematic a observatiei riguros organizate i a experimentului tiinific s stabileasc
dac ceea ce se repet aidoma ntr-un numr mai mic sau mai mare de cazuri este n acelai timp
necesar.
49. Evaluare a argumentelor procedeu de verificare a respectrii tuturor regulilor i
restriciilor de validitate ale argumentrii.
50. Validitate acea proprietate a unei inferene n virtutea creia din premise adevrate este
imposibil s se trag o concluzie fals.
3
75. Premis minor acea premis a unui silogism n care este prezent subiectul concluziei
silogismului.
77. Operator propoziional conector de variabile propoziionale prin care se realizeaz
propoziii compuse.
79. Inferen deductiv imediat v. 61.
80. Raionament disjunctiv v.30
81. Demonstraie direct demonstraie n cazul creia adevrul tezei este de de dedus din
adevrul premiselor.
82. Indicator de argumentare - termeni ai limbajului natural ce indic caracterul argumentativ
al unui text.
83. Modus ponendo-ponens v.46.
85. Premis major premis a unui silogism ce conine predicatul concluziei silogismului.
86. Termen major termen cu rolul de predicat n concluzia unui silogism.
87. Argument nedeductiv slab - cca. v. 33
88. Modus tollendo-tollens mod ce spune c dac implicaia dintre dou propoziii este
adevrat i dac consecventul acesteia e falst , atunci i antecedentul implicaiei e fals.
89. Termen minor termen cu rol de subiect n concluzia unui silogism.
90. Termen mediu termen de legtur, prin intermediul cruia se pun n relaie ceilali doi
termeni ai silogismului ; apare n cele dou premise dar nu i n concluzie.
91. Defininens v.71.
92. Modus ponendo-tollens spune c dac este adevrat disjuncia a dou propoziii, iar una
dintre acestea este adevrat, atunci cealalt este fals.
95. Argument nedeductiv tare cca. v.34
97. Modus tollendo-ponens spune c dac este adevrat disjuncia a dou propoziii, iar una
dintre acestea este fals, rezult c cealalt propoziie este adevrat.