Unformatted text preview: N × N × N : { ( x,y,z )  x < y and x < z } Make sure your deﬁnition is given solely in terms of the successor operation. (B) Show that (2 , 4 , 3) is in your inductively deﬁned set. (4) (A) Give an inductive deﬁnition of the following subset of N + × N + : { ( m,n )  n = 1 · 2 · ... · ( m1) · m } Make sure your deﬁnition is given solely in terms of the successor operation and the multiplication operation on N . (B) Show that (3 , 6) is in your inductively deﬁned set. 1...
View
Full
Document
This note was uploaded on 02/27/2011 for the course PHILOSOPHY 101 taught by Professor H during the Spring '11 term at Columbia College.
 Spring '11
 H

Click to edit the document details