Propositional Logic
Page
inferential relationships that hold among, sentences based on the role
that a specific class of logical operators called the propositional
connectives have in determining those sentences’ truth or
assertability conditions.
Source for definition of Propositional Logic.