CSC165H1 Lecture Notes - Lecture 3: Existential Quantification, If And Only If, Natural Number

33 views4 pages
Verified Note
14 Sep 2018
School
Course

Document Summary

Lec03 (professor thomas fairgrieve on thursday, 13th of september): p => q (implication operator): If p = true and q = true, p => q is true. If p = true and q = false, p => q is false. If p = false and q = true, p => q is true. If p = false and q = false, p => q is true. In other words, if p = true, q must be true for the whole statement to be true! Ho(cid:449)e(cid:448)e(cid:396), if p = false, the (cid:449)hole state(cid:373)e(cid:374)t is t(cid:396)ue (cid:396)ega(cid:396)dless of (cid:395)"s (cid:448)alue. p => (cid:395) is logi(cid:272)all(cid:455) e(cid:395)ui(cid:448)ale(cid:374)t to (cid:862)(cid:894)not p(cid:895) or (cid:395)(cid:863) Whereas, the (cid:272)o(cid:374)t(cid:396)apositi(cid:448)e of p => (cid:395) is (cid:862)(cid:894)not (cid:395) => not p(cid:895)(cid:863) Mo(cid:396)eo(cid:448)e(cid:396), the (cid:272)o(cid:374)(cid:448)e(cid:396)se of p => (cid:395) is (cid:862)(cid:395) => p(cid:863) Says whether or not p and q denote the same truth value. True when both p => q and q => p are true.

Get access

Grade+
$40 USD/m
Billed monthly
Grade+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
10 Verified Answers
Class+
$30 USD/m
Billed monthly
Class+
Homework Help
Study Guides
Textbook Solutions
Class Notes
Textbook Notes
Booster Class
7 Verified Answers

Related Documents

Related Questions