EE 369 Homework 2 (Sixth Edition of text)
==============================================================================
REMINDER: Collaboration must end before writing begins (on each
problem separately).
See the initial course information handout.
==============================================================================
Below, we use the abbreviations:
' for "not", ^ for "and",
v for "or", > for "implies", and = for "entails"
"\forall" for universal quantifiers, "\exist" for existential quantifiers
If you wish to prepare your homework in a text file, please use these
abbreviations.
If other nontext symbols come up, ask [email protected] how
to abbreviate them.
Please read sections 1.3, 3.1, and p. 285288 (Sixth Edition) in the Gersting
textbook
All problems on this homework apply to your course outcome 1 score.
..
Solve the following problems.
5 points per problem (except 10 for M4).
(see p. 189 (Sixth Edition) for definitions of the calligraphic font
Q, N, R, and Z used in a couple of the book problems below)
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
This is the end of the preview.
Sign up
to
access the rest of the document.
 Spring '08
 BAGCHI
 Logic, Philosophical logic, predicate logic model

Click to edit the document details