| 词汇 | example_english_deductive-logic |
| 释义 | deductive logiccollocation in Englishmeanings of deductiveand logicThese words are often used together. Click on the links below to explore the meanings. Or, see other collocations with logic. 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 at deductive 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 at logic Examples of deductive logicThese 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 of deductivelogic and thus regarded as known by inference from the axioms of logic. It seems to follow as a matter of deductivelogic that the family must be reformed or abolished. The commitment to limiting the "extremes of reason" is the sharpest mark of a distinction between this kind of constrained inductivism and deductivelogic. The figure shows how the values contained in these cells are mapped onto triples (facts) in the deductivelogic knowledgebase. We have demonstrated the feasibility of extending a traditional spreadsheet with deductivelogic capabilities. They will be able to use the information derived by the deductivelogic system just like any other computed spreadsheet value. A synthetic concept can be explained by means of a definition, and its parts can be derived by means of deductivelogic. For our deductivelogic extension, the computation is defined by the set of rules loaded into the inference engine. The following procedure describes how the spreadsheet is kept synchronized with the deductivelogic engine. This conventional way of representing data about objects is exploited to provide an aggregated mechanism to specify deductivelogic mappings. The mapping into and out of the deductivelogic database is triggered whenever the spreadsheet is changed. A comfortable deductivelogic then 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. Since spreadsheet cells can only hold a single value, the mapping established between spreadsheet cells and deductivelogic triples must be expanded to account for these multiple attribute values. Once an ontology and its associated inference rules have been loaded, the deductivelogic knowledgebase operates autonomously deriving inferences from the set of explicitly asserted facts. By contrast, the latter (or other truths of logic that could serve equally well as axioms in an axiomatic systematization of deductivelogic) were regarded as known intuitively. The problem is not a matter of deductivelogic but how to weigh and balance these factors. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 However, if one finds one single black swan, deductivelogic admits the conclusion that the statement that all swans are white is false. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Deductivelogic is the reasoning of proof, or logical implication. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Heinze argues that such an assumption traces not from strict deductivelogic, but from the arbitrary etymology of the word injustice. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. In this case, the conclusion contradicts the deductivelogic of the preceding premises, rather than deriving from it. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. 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 of deductive Go to the definition of logic See other collocations with logic |
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。