Chapter 14: PREDICATE LOGIC
- Tutorial -
1.
Introduction to Predicate Logic
2.
Quantifiers
3.
Existential Import
4.
Relations and Multiple Quantification
5.
Proof
© Copyright 1998,
W.W. Norton & Co.
