| slovo | definícia |
deductive
(encz) | deductive,deduktivní adj: Zdeněk Brož |
Deductive
(gcide) | Deductive \De*duct"ive\, a. [Cf. L. deductivus derivative.]
Of or pertaining to deduction; capable of being deduced from
premises; deducible.
[1913 Webster]
All knowledge of causes is deductive. --Glanvill.
[1913 Webster]
Notions and ideas . . . used in a deductive process.
--Whewell.
[1913 Webster] |
deductive
(wn) | deductive
adj 1: relating to logical deduction; "deductive reasoning"
2: involving inferences from general principles [ant:
inductive] |
| | podobné slovo | definícia |
deductive
(encz) | deductive,deduktivní adj: Zdeněk Brož |
deductive reasoning
(encz) | deductive reasoning, n: |
deductively
(encz) | deductively,deduktivně adv: Zdeněk Brož |
Deductively
(gcide) | Deductively \De*duct"ive*ly\, adv.
By deduction; by way of inference; by consequence. --Sir T.
Browne.
[1913 Webster] |
deductive
(wn) | deductive
adj 1: relating to logical deduction; "deductive reasoning"
2: involving inferences from general principles [ant:
inductive] |
deductive reasoning
(wn) | deductive reasoning
n 1: reasoning from the general to the particular (or from cause
to effect) [syn: deduction, deductive reasoning,
synthesis] |
deductive database
(foldoc) | deductive database
A combination of a conventional database
containing facts, a knowledge base containing rules, and
an inference engine which allows the derivation of
information implied by the facts and rules.
Commonly, the knowledge base is expressed in a subset of
first-order logic and either a SLDNF or Datalog
inference engine is used.
(1995-04-27)
|
deductive tableau
(foldoc) | deductive tableau
A theorem proof system consisting of a table whose rows
contain assertions or goals. Variables in assertions are
implicitly universally quantified and variables in goals are
implicitly existentially quantified. The declarative meaning
of a tableau is that if every instance of every assertion is
true then some instance of at least one of the goals is true.
(1994-12-07)
|
|