Definiii logic

1.Argumentare proces de justificare logic a unei propoziii pe care vrem s o

susinem.
2.Argument raionament, dovad adus n sprijinul unei afirmaii.
3.Termen logic cuvnt/ansamblu de cuvinte ce exprim o noiune i se refer la unul
sau mai multe obiecte reale sau ideale.
4.Intensiune proprietatea/proprietile ce caracterizeaz mulimea de obiecte crora se
aplic termenul.
5.Extensiune mulimea obiectelor crora se aplic termenul.
6. Definire operaie logic de determinare a nsuirilor unui obiect prin care ntre doi
termeni ; respectiv dou expresii se introduce un raport de identitate.
7.Subiect logic n propoziiile categorice termenul despre care se predic ceva i care
se gsete ntre cuantificator i copul.
8.Predicat logic n propoziii categorice, termenul care se predic despre ceva i care se
gsete dup copul.
9. Raionament nlnuire logic de judeci care duce la o concluzie.
10.Silogism acea inferen n care din dou propoziii categorice care au un termen
comun se deduce drept concluzie o alt propoziie categoric ai crei termeni sunt
necomuni premiselor.
11.Definiie v.6
12.Clasificare operaie de ordonare a unei mulimi de obiecte n funcie de un anumit
criteriu.
13.Propoziie compus combinaie de propoziii atomare prin intermediul conectorilor
logici.
14. Funcie de adevr conectorii logici sunt funcii de adevr pentru c valoarea de
adevr ce rezult prin aplicarea lor este n funcie de valorile de adevr ale variabilelor
propoziionale.
15. Negaie logic operator monadic ce are proprietatea c schimb valoarea de adevr
a propoziiei atomare creia se aplic.
16. Conjuncie logic conector logic binar ce are proprietatea de a fi adevrat numai
dac propoziiile atomare pe care le leag sunt ambele adevrate.
17. Disjuncie neexclusiv conector logic binar cu proprietatea c este adevrat dac
una din 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. 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.
35. Demonstraie v.1
36. Tez de demonstrat propoziie susinut printr-o demonstraie, a crei concluzie
este.
37. Fundament al demonstraiei ansamblu de premise (definiii, axiome, teorii ... ) din
care urmeaz s conchidem teza.
38.Proces de demonstrare - v.1.
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.
44.Silogism v.10.
45.Demonstraie v.1.
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.
51. Clasificare v.12.
52. Inducie complet v.31.
53. Argumentare v.1.
54. Demonstraie v.1.
55. Inferen - procedeu prin care dint-un set de premise se deduce o concluzie.
56. Silogism - v.10
57. Definire v.6
58. Termen v. 3
59. Clasificare v.12.
60. Raionament inductiv raionament prin care se trece de la afirmaii despre cazuri
particulare la o lege sau un principiu general, caracterizat prin gradul de probabilitate al
concluziei.
61.Inferen deductiv imediat inferen cu o premis i o concluzie, ce poate fi
caracterizat drept adevrat sau fals.
62. Intensiune v.4.
63. Demonstraie formalizat v.40
64. Premis propoziie luat ca adevrat ntr-o argumentare.
65. Concluzie propoziie susinut printr-o argumentare.
66. Inferen deductiv v.23
67. Inferen nedeductiv v.24.
68. Extensiune - v.5.
69. Implicaie v.18.
70. Tautologie v.20.
71. Definitor termen sau expresie ce determin nsuireile definitului cu care se afl n
raport de identitate.
72.Propoziie categoric orice propoziie n care un termen se afirm sau se neag
despre un alt termen.
73. Raionament ipotetic v.29.
74. Inferen deductiv valid v.27.
75. Premis minor acea premis a unui silogism n care este prezent subiectul
concluziei silogismului.
76. Raionament v.1.
77. Operator propoziional conector de variabile propoziionale prin care se realizeaz
propoziii compuse.
78. Formul contingent v.21.

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.
84. Formul inconsistent v. 22.
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.
93. Lege logic - v.20
94. Echivalen v.19
95. Argument nedeductiv tare cca. v.34
96. Tez v. 36
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.
98. Termen mediu v.90.
99. Inducie incomplet v.32.
100. Propoziie categoric v.72