propositional logic
/P R AA0 P AH0 Z IH1 SH AH0 N AH0 L AA0 JH IH0 K/noun
- 1
(logic) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.
Translate “propositional logic” into another language
Choose a language below to open the translator with English selected as the source language.