PROPOSITIONALLOGIC
propositional logic
Noun
- A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.
The above text is a snippet from Wiktionary: propositional logic
and as such is available under the Creative Commons Attribution/Share-Alike License.