| 词汇 | example_english_symbolic-logic |
| 释义 | symbolic logiccollocation in Englishmeanings of symbolicand logicThese words are often used together. Click on the links below to explore the meanings. Or, see other collocations with logic. symbolic adjective uk /sɪmˈbɒl.ɪk/ us /sɪmˈbɑː.lɪk/ representing ... See more at symbolic 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 symbolic 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. Philosophy best advanced through the study of the then-new symboliclogic and of the sciences most subject to mathematical representation. The spontaneous system cannot consider the causal or conditional relationships between percepts because it does not operate by symboliclogic and because its links are bidirectional. Loglan treats indeterminate subjects ('somebody or other') by using ba in a way that will be familiar to anyone used to symboliclogic. Kripke is another thinker who brings together both strands of analysis; he is adept at both symboliclogic and exploration of everyday concepts. What was new was his symboliclogic. From the Hansard archive Example from the Hansard archive. Contains Parliamentary information licensed under the Open Parliament Licence v3.0 That is, in more formal terms of symboliclogic, it is a theorem with a statement involving the existential quantifier. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. The work is an interesting disputation on technical points of some aspects of symboliclogic, also called mathematical logic. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. An example of this is the use of the rules of inference found within symboliclogic. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Second, the rules for manipulating symbols found in symboliclogic can be implemented on a computing machine. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. In formal symboliclogic, only single premises occur. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Thirdly, he played a major role in the progress of symboliclogic itself indeed this was his primary specialty. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. By the 1930s symboliclogic itself was adequately included within mathematics. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. In brief: the notion of sequence or successor is an "a priori" notion that lies outside symboliclogic. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. Published articles include specific treatment of methodological issues in science such as induction, probability, causation, statistics, symboliclogic, linguistics and ethics. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. This same universe of discourse can be used to describe the solutions to the open sentence in symboliclogic using universal quantification. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. It is an attempt to derive all mathematical truths from a well-defined set of axioms and inference rules in symboliclogic. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. For example, in symboliclogic and mathematical logic, proofs by humans can be computer-assisted. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. In another the player, while asleep, derives a proof using physical representations of various symboliclogic components. From Wikipedia This example is from Wikipedia and may be reused under a CC BY-SA license. He developed the symboliclogic system known as minimal logic. 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 symbolic Go to the definition of logic See other collocations with logic |
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。