Propositional Logic

Definition: Propositional Logic

Propositional logic is the study of truth in the formal language ${\mathcal{L}}_{\text{PL}}$.

NOTE

Propositional logic is also known as sentential logic and zeroth order logic.