propositional calculus

 

noun

[mass noun]
  • the branch of symbolic logic that deals with propositions and the relations between them, without examination of their content.