propositional logic

/P R AA0 P AH0 Z IH1 SH AH0 N AH0 L AA0 JH IH0 K/
noun
  1. 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