propositional logic

Propositional Logic | Internet Encyclopedia of Philosophy