propositional logic
collocation in Englishmeaningsofpropositionalandlogic
These words are often used together. Click on the links below to explore the meanings. Or,see other collocations withlogic.
propositional
adjective
uk/ˌprɒp.əˈzɪʃ.ən.əl/us/ˌprɑː.pəˈzɪʃ.ən.əl/
relating to statements or problems that must be solved or proved to be true or ...
See more atpropositional
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 ofpropositionalandlogicfrom theCambridge English Dictionary© Cambridge University Press)
Examplesofpropositional 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.
This calculus has a notion of type assignment that corresponds nicely to implicationalpropositionallogic, in the framework of natural deduction.
From theCambridge English Corpus
We assume that the reader is familiar with the notation and basic notions ofpropositionallogic.
From theCambridge English Corpus
In this paper, we investigate the complexity of deciding whether a finitepropositionallogicprogram has stable models of some restricted sizes.
From theCambridge English Corpus
This may be due to the fact that such groups cannot efficiently be encoded in standardpropositionallogic.
From theCambridge English Corpus
We have all the axioms ofpropositionallogicplus the rules specified below.
From theCambridge English Corpus
Fragments ofpropositionallogicare obtained by restricting the use of atoms, constants and/or the use of the connectives.
From theCambridge English Corpus
The first chapter discussespropositionallogic, and is a detailed and rigorous but accessible account on the topic.
From theCambridge English Corpus
Unfortunately, this would require a translation of weight constraints into classicalpropositionallogic, which would in general be rather awkward.
From theCambridge English Corpus
They discuss how inference using cutting planes can be exponentially more efficient than inference usingpropositionallogic.
From theCambridge English Corpus
This is a strictly binary case for whichpropositionallogiccan be exploited.
From theCambridge English Corpus
A later version of these systems incorporated limitedpropositionallogicreasoning capability.
From theCambridge English Corpus
The objective was to give a decision procedure for the sentences ofpropositionallogic.
From theCambridge English Corpus
The only caveat is that one must be able to describe the criteria a solution process state must satisfy usingpropositionallogic.
From theCambridge English Corpus
Beliefs are assumed to be represented by sentences inpropositionallogic.
From theCambridge English Corpus
The particular conventions on how to represent a planning problem inpropositionallogic(the ' 'encoding' ').
From theCambridge English Corpus
Due to the infinite character of some data domains of values transmitted in messages,propositionallogiccannot be used.
From theCambridge English Corpus
Preliminary studies show that it is easy to extend deduction graphs to fullpropositionallogic.
From theCambridge English Corpus
This difference emphasises the fact that deduction graphs are meant for resource-insensitivepropositionallogicand are not a way to depict resource-sensitive linear logic proofs.
From theCambridge English Corpus
We introduce first the syntax of formulas and programs based on the language ofpropositionallogic.
From theCambridge English Corpus
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 ofpropositional
Go to the definition oflogic
See other collocations withlogic