This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document Spring '07
 YaoyunShi
 Logic, Negative and nonnegative numbers, Predicate logic, Quantification, Universal quantification

Click to edit the document details