303a6 - ASSIGNMENT 6 MATH 303, FALL 2011 Instructions: Do...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
ASSIGNMENT 6 MATH 303, FALL 2011 Instructions: Do at least 3 points from each section and at least 10 points total . Up to 12 points will be graded, but your maximum score is 10. If you hand in more than 12 points please indicate which ones you want graded, otherwise the first 12 will be graded. Manipulation (M1) (1 point) Let c and c 0 be constant symbols. Show that x ( (( c = x ) ( x = c 0 )) c = c 0 ) is valid using Cohen’s rules (state explicitly which rules you use). (M2) (2 points) Let A ( x ) be a well formed formula with free variable x and let B be a well formed formula with no occurence of x . Let c be a constant symbol and let S = {∀ xA ( x ) ,A ( x ) B } Show that you can derive B from S . Use only Cohen’s rules, and state explicitly which rules you use in your derivation. (M3) (1 point) Let E = { a,b,c,d } . Let X = P ( E ) - {{ a,b } , ∅} . What are the maximal elements of X ? What are the minimal elements of X ? Does X have a smallest element? Does X have a largest element? (M4)
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 01/30/2012 for the course MATH 310 303 taught by Professor Rwk during the Spring '11 term at Simon Fraser.

Page1 / 2

303a6 - ASSIGNMENT 6 MATH 303, FALL 2011 Instructions: Do...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online