A branch of logic that deals with

propositions,
which can be true or false,

as well as,

arguments made of propositions,
which can be valid or invalid.

---

• Synonyms