propositional logic

collocation in English

meanings of propositionaland logic

These words are often used together. Click on the links below to explore the meanings. Or, see other collocations with logic.
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 at propositional
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 propositional 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 implicational propositionallogic, in the framework of natural deduction.
We assume that the reader is familiar with the notation and basic notions of propositionallogic.
In this paper, we investigate the complexity of deciding whether a finite propositionallogic program has stable models of some restricted sizes.
This may be due to the fact that such groups cannot efficiently be encoded in standard propositionallogic.
We have all the axioms of propositionallogic plus the rules specified below.
Fragments of propositionallogic are obtained by restricting the use of atoms, constants and/or the use of the connectives.
The first chapter discusses propositionallogic, and is a detailed and rigorous but accessible account on the topic.
Unfortunately, this would require a translation of weight constraints into classical propositionallogic, which would in general be rather awkward.
They discuss how inference using cutting planes can be exponentially more efficient than inference using propositionallogic.
This is a strictly binary case for which propositionallogic can be exploited.
A later version of these systems incorporated limited propositionallogic reasoning capability.
The objective was to give a decision procedure for the sentences of propositionallogic.
The only caveat is that one must be able to describe the criteria a solution process state must satisfy using propositionallogic.
Beliefs are assumed to be represented by sentences in propositionallogic.
The particular conventions on how to represent a planning problem in propositionallogic (the ' 'encoding' ').
Due to the infinite character of some data domains of values transmitted in messages, propositionallogic cannot be used.
Preliminary studies show that it is easy to extend deduction graphs to full propositionallogic.
This difference emphasises the fact that deduction graphs are meant for resource-insensitive propositionallogic and are not a way to depict resource-sensitive linear logic proofs.
We introduce first the syntax of formulas and programs based on the language of propositionallogic.
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 propositional
Go to the definition of logic
See other collocations with logic

随便看

反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。