Predicate Logic
Home
>
Philosophy
>
Logic
>
Deductive Reasoning
>
Predicate Logic
A formal logic that deals with quantifiers, predicates, and variables.