Purpose
This problem set reinforces your ability to write formal proofs.
Background
This problem set is based on material in section 1.2 of our textbook, a video on proof-writing at https://www.geneseo.edu/proofspace/Ch1Sec3, and discussions of related topics from our January 23 and 25 class meetings.
Activity
Write formal proofs for each of the following propositions. Your proofs should be word-processed (i.e., not hand-written) and should follow the guidelines in Sundstrom’s text.
Proposition 1
The proposition from exercise 2a in section 1.2 of Sundstrom’s text (if x and y are even integers, then x + y is an even integer).
Proposition 2
The proposition from exercise 4b in section 1.2 of Sundstrom’s text (if m is an odd integer, then 5m + 7 is an even integer).
Proposition 3
The proposition from exercise 11a in section 1.2 of Sundstrom’s text (if a, b, and c are real numbers such that the polynomial ax2 + bx + c has roots x1 and x2, then x1 + x2 = -b/a).
Follow-Up
I will grade this exercise in a face-to-face meeting with you. During this meeting I will look at your solution, ask you any questions I have about it, answer questions you have, etc. Please bring a written solution to the exercise to your meeting, as that will speed the process along.
Sign up for a meeting via Google calendar. Please make the meeting 15 minutes long, and schedule it to finish before the end of the “Grade By” date above.