Next:
Predicate Calculus Examples Cont.
Up:
predCalcIntro
Previous:
Predicate Calculus
More Examples
Sample problems:
____________________
____________________
____________________
____________________
____________________
____________________
____________________
____________________
Everyone Loves Someone
There is one person everyone loves
(
Distributes over AND only)
(
Distributes over OR only)
UNIVERSAL INSTANTIATION
where t is a term
If something is true of everything, then it is true for any particular thing.
Example:
EXISTENTIAL INSTANTIATION
If something is true of one specific thing, then it can be
generalized to state that one thing exists.
Sample Proof (using Universal Instantiation)
UI
Modus Ponens
Randy Latimer 2001-01-02