SFWRENG 2FA3 Study Guide - Midterm Guide: Recursive Definition, Natural Number, If And Only If

• School: McMaster University
• Department: Software Engineering
• Course: SFWRENG 2FA3
• Professor: N A

Document Summary

Midterm full solutions: write the following using r, l, and the logical connectives. He will become rich unless he is lazy op. R unless l |==| r if not l. R unless l |==| r iff not l. |==| r ~l |==| r l. He will become rich only if he is not lazy. He will become rich even though he is lazy. T x p x q x xq x xp x. State a domain and define p & q: Q x is even is odd x x. T x x x (i. e. for any natural number), (x is even or x is odd) (x is even) if 1 & 2 : No x yp x y xp x x. Let p(x,y) be x < y dividing p in 2 ways. Thus, x < y is false for all x. This makes , t and , f. x y let x.