hw3 - Please read sections 1.4 in the Gersting textbook The...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
EE 369 Homework 3 ============================================================================== 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 In preparing your solution, please use these abbreviations. If other non-text symbols come up, ask [email protected] how to abbreviate them.
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Please read sections 1.4 in the Gersting textbook The problems from section 1.4 apply to your course outcome 1 score. Solve the following problems. 5 points per problem, except 8 points for number 9 (sec 1.4) and 12 points for number 28 (sec 1.4). From Section 1.4: problems 1, 4, 6, 9, 11, 16, 19, 28, 29, 31, 35 (watch out: your textbook likes to use the same variable name more than once in a given wff. ..like having two local variables with the same name in different parts of one program. You must be careful to note which quantifier applies to each occurrence of the variable.)...
View Full Document

{[ snackBarMessage ]}

Ask a homework question - tutors are online