symbolic logic

collocation in English

meaningsofsymbolicandlogic

These words are often used together. Click on the links below to explore the meanings. Or,see other collocations withlogic.
symbolic
adjective
uk
/sɪmˈbɒl.ɪk/us
/sɪmˈbɑː.lɪk/
representing ...
See more atsymbolic
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 ofsymbolicandlogicfrom theCambridge English Dictionary© Cambridge University Press)

Examplesofsymbolic 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.
Philosophy best advanced through the study of the then-newsymboliclogicand of the sciences most subject to mathematical representation.
From theCambridge English Corpus
The spontaneous system cannot consider the causal or conditional relationships between percepts because it does not operate bysymboliclogicand because its links are bidirectional.
From theCambridge English Corpus
Loglan treats indeterminate subjects ('somebody or other') by using ba in a way that will be familiar to anyone used tosymboliclogic.
From theCambridge English Corpus
Kripke is another thinker who brings together both strands of analysis; he is adept at bothsymboliclogicand exploration of everyday concepts.
From theCambridge English Corpus
What was new was hissymboliclogic.
From the
Hansard archive
Example from the Hansard archive. Contains Parliamentary information licensed under theOpen Parliament Licence v3.0
That is, in more formal terms ofsymboliclogic, 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 ofsymboliclogic, 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 withinsymboliclogic.
From
Wikipedia
This example is from Wikipedia and may be reused under a CC BY-SA license.
Second, the rules for manipulating symbols found insymboliclogiccan be implemented on a computing machine.
From
Wikipedia
This example is from Wikipedia and may be reused under a CC BY-SA license.
In formalsymboliclogic, 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 ofsymboliclogicitself 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 1930ssymboliclogicitself 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 outsidesymboliclogic.
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 insymboliclogicusing 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 insymboliclogic.
From
Wikipedia
This example is from Wikipedia and may be reused under a CC BY-SA license.
For example, insymboliclogicand 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 varioussymboliclogiccomponents.
From
Wikipedia
This example is from Wikipedia and may be reused under a CC BY-SA license.
He developed thesymboliclogicsystem 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 ofsymbolic
Go to the definition oflogic
See other collocations withlogic