CPSC 121 Study Guide - Midterm Guide: 7Z, First-Order Logic, Contraposition

• School: UBC
• Department: Computer Science
• Course: CPSC 121
• Professor: All

Document Summary

For each of the following statements, write down all of the proof strategies (from the list given below), that are appropriate to use to prove the statement. Note that you must not prove the statement. You just need to suggest all the proof strate- gies which can be used to prove it. In some cases, translating the statement into predicate logic rst might be useful (although it is not required). Every cpsc 121 student who plays tennis knows a student who enjoys swimming. Solution : the only possible proof strategy is b. We did not deduct marks for stu- dents who also wrote c, although it seems unlikely that we could prove this statement by making an argument about an unspeci ed cpsc 121 student. Solution : possible proof strategies are c (x is universally quanti ed), f (the state- ment contains an implication) and possibly d.