4130hw1 - ∀ and ∃ and no connectives apart from ∨...

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

View Full Document Right Arrow Icon
4130 HOMEWORK 1 Due Thursday February 4 (1) Section 1.1.3 Exercise 2b. (2) Section 1.1.3 Exercise 3b. (3) Let A be a set and let P ( a ) be a statement about an element of a . We write ! a AP ( a ) for “there exists a unique a A such that P ( a )”. (a) Write the statement ! a AP ( a ) in a form which uses the quantifiers
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: ∀ and ∃ , and no connectives apart from ∧ , ∨ and ¬ . (b) Write the negation of the statement from part (a). (4) Section 1.2.3 Exercise 2. (5) Section 1.2.3 Exercise 4. (6) Section 1.2.3 Exercise 7. 1...
View Full Document

This note was uploaded on 09/22/2010 for the course MATH 413 at Cornell.

Ask a homework question - tutors are online