deductive logic
collocation in Englishmeaningsofdeductiveandlogic
These words are often used together. Click on the links below to explore the meanings. Or,see other collocations withlogic.
deductive
adjective
uk/dɪˈdʌk.tɪv/us/dɪˈdʌk.t̬ɪv/
reaching an answer or a decision by thinking carefully about the ...
See more atdeductive
logic
noun[U]
uk/ˈlɒdʒ.ɪk/us/ˈlɑː.dʒɪk/
a particular way of thinking, especially one that is reasonable and based on ...
See more atlogic
(Definition ofdeductiveandlogicfrom theCambridge English Dictionary© Cambridge University Press)
Examplesofdeductive logic
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.
On this program, the axioms of arithmetic were theorems ofdeductivelogicand thus regarded as known by inference from the axioms of logic.
From theCambridge English Corpus
It seems to follow as a matter ofdeductivelogicthat the family must be reformed or abolished.
From theCambridge English Corpus
The commitment to limiting the "extremes of reason" is the sharpest mark of a distinction between this kind of constrained inductivism anddeductivelogic.
From theCambridge English Corpus
The figure shows how the values contained in these cells are mapped onto triples (facts) in thedeductivelogicknowledgebase.
From theCambridge English Corpus
We have demonstrated the feasibility of extending a traditional spreadsheet withdeductivelogiccapabilities.
From theCambridge English Corpus
They will be able to use the information derived by thedeductivelogicsystem just like any other computed spreadsheet value.
From theCambridge English Corpus
A synthetic concept can be explained by means of a definition, and its parts can be derived by means ofdeductivelogic.
From theCambridge English Corpus
For ourdeductivelogicextension, the computation is defined by the set of rules loaded into the inference engine.
From theCambridge English Corpus
The following procedure describes how the spreadsheet is kept synchronized with thedeductivelogicengine.
From theCambridge English Corpus
This conventional way of representing data about objects is exploited to provide an aggregated mechanism to specifydeductivelogicmappings.
From theCambridge English Corpus
The mapping into and out of thedeductivelogicdatabase is triggered whenever the spreadsheet is changed.
From theCambridge English Corpus
A comfortabledeductivelogicthen is built up in which proofs are written at as high a level as possible and can always be 'compiled' down to purely axiomatic ones.
From theCambridge English Corpus
Since spreadsheet cells can only hold a single value, the mapping established between spreadsheet cells anddeductivelogictriples must be expanded to account for these multiple attribute values.
From theCambridge English Corpus
Once an ontology and its associated inference rules have been loaded, thedeductivelogicknowledgebase operates autonomously deriving inferences from the set of explicitly asserted facts.
From theCambridge English Corpus
By contrast, the latter (or other truths of logic that could serve equally well as axioms in an axiomatic systematization ofdeductivelogic) were regarded as known intuitively.
From theCambridge English Corpus
The problem is not a matter ofdeductivelogicbut how to weigh and balance these factors.
From the
Hansard archive
Example from the Hansard archive. Contains Parliamentary information licensed under theOpen Parliament Licence v3.0
However, if one finds one single black swan,deductivelogicadmits the conclusion that the statement that all swans are white is false.
From
Wikipedia
Deductivelogicis the reasoning of proof, or logical implication.
From
Wikipedia
Heinze argues that such an assumption traces not from strictdeductivelogic, but from the arbitrary etymology of the word injustice.
From
Wikipedia
In this case, the conclusion contradicts thedeductivelogicof the preceding premises, rather than deriving from it.
From
Wikipedia
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.
Want to learn more?
Go to the definition ofdeductive
Go to the definition oflogic
See other collocations withlogic