CSC165H1 Lecture Notes - Lecture 4: Pez, If And Only If
3
CSC165H1 Full Course Notes
Verified Note
3 documents
Document Summary
Let n d ez we say that d divides kezs. tn ted u there exists a formerand later ones are equivalent. Translate the english definitionabove to a predicate i. 2 usedefinitions in proofs statement kd where d n ez. Do not quantify n and d thinkof them as local variables. D n is divisible by d a multipleofd. Or we write d in eg what does. Or 315 means kezs. tl 5 3 kezs. tl m ez k. eg. lt. Equivalently erez m 5 m 25 expanding a definition. Let pez wesay that p is prime iff the only natural qnnumbersthatdwdsp_arel_ap. andp. nl. The only statement above is actually a condition then if p into predicate logic. M p m condition si cab y is cloudy dip d 1 v d p p 1 wherepez. Primelp p 1 where pez e. g translate the statement there are infinitely many primes. Uden like z pied d 1 v d p expanding definition.
