MathematicalLogic

An extension of propositional logic that involves variables and quantifiers.

A system that deals with statements that are either true or false

Declarative sentences that are either true or false (but not both)