CIS 1910 Lecture Notes - Lecture 24: Luiza, Propositional Calculus, Injective Function

• School: University of Guelph
• Department: Computing and Information Science
• Course: CIS 1910
• Professor: Luiza Antonie

Document Summary

Permitted aids: one two-sided hand-written 4x6 inch index card. Exam format: long answer questions, multiple choice. Extra of ce hours: thorn 3401, wed apr. 19, 11:30 - 13:30: thurs apr 20, 11:30 - 13:30, fri apr 21, 11:30 - 13:30. It is sunny, and i am not going skiing. : pick pairs of logically equivalent propositions. Apply demorgan"s law across the expression, with quanti ers. Remember that p q (q = p) (p = q: let a = { a,b,c,d }. P (a) ={ , a, b, c, d, {a, b}, {a, c}, {a, d}, {b, c}, {b, d}, {c, d}, {a, b, c}, {a, b, d}, {b, c, d}, {a, c, d}, {a, b, c, d}} X ={{a, b, c}, {a, b, d}, {b, c, d}, {a, c, d}} |x| =4: one to one functions: a b c. Figure 1: example injective function map: let"s de ne f : z z, f (x) = x.