MAT 243 HW 4 (1).pdf - MAT 243 Fall 2020 Nested quantifiers...

This preview shows page 1 out of 1 page.

MAT 243 Fall 2020 Nested quantifiers September 4, 2020 Instructions a) You will get some credit just for handing it in. A few, possibly all, problems out of each set (chosen by me) will be graded. b) I encourage collaboration on the homework, as long as each person understands the solutions, writes them up in his or her own word s, and writes collaborators’ names on the homework. c) You must show your work and it must be legible. d) The solutions may be typed. A small amount of extra credit may be given for typed homework. Any word processor may be used, but I recommend using LaTex. You may use the ECA labs 221 and 225 or you may download and install it on your own computer; see the math department’s webpage. Feel free to ask me for help as well. 1. Let M ( x ) be the predicate “ x is a student in MAT 243,” let C ( x ) be the predicate “ x is a computer science major,” and let

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture