Definition:Propositional Logic

Propositional logic is a branch of logic in which the truth values of statements is investigated and analysed.

The atoms of propositional logic are simple statements.

As "propositional logic" is such a mouthful and takes so long to write, some authors succumb to the temptation to abbreviate it by referring to it consistently as "PropLog".