# 303a5 - ASSIGNMENT 5 MATH 303, FALL 2011 Instructions: Do...

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

ASSIGNMENT 5 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 ﬁrst 12 will be graded. Manipulation (M1) (1 point) Write a formula in our formal language which says “ x is an ordered pair”. You may use abbreviations we discussed in class. (M2) (1 point) Which of the following are well formed formulas and which of the well formed ones are good? (a) x 3 y (b) ( x c ) ( c = c ) (c) x ( x c ) ( x = y ) (d) z ( x c ) (M3) (1 point) Mark the free and bound variables in the following formulas. (a) x y (( y z ) ( x z ) →∼ ( z = w )) (b) z ( x = y ) (c) x y ((( x = y ) ( y = z )) ∧∃ x ( x y )) (M4) (1 point) Which of the following are propositional functions in the variables A 1 , A 2 , A 3 , and A 4 ?

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.

## 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

303a5 - ASSIGNMENT 5 MATH 303, FALL 2011 Instructions: Do...

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

View Full Document
Ask a homework question - tutors are online