Predicate Logic
An extension of propositional logic that involves variables and quantifiers.
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)