propositional logic

Noun

This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.004

Noun

**propositional logic** (*plural* propositional logics)

- (
*logic*) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.

- propositional calculus
- zeroth-order logic

- German: Aussagenlogik

This text is extracted from the Wiktionary and it is available under the CC BY-SA 3.0 license | Terms and conditions | Privacy policy 0.004