logical connectives (2a)€¦ · 3/12/2018 · logic (2a) logical connectives 6 young won lim...
TRANSCRIPT
![Page 1: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/1.jpg)
Young Won Lim3/12/18
Logical Connectives (2A)
![Page 2: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/2.jpg)
Young Won Lim3/12/18
Copyright (c) 2015 - 2018 Young W. Lim.
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License".
Please send corrections (or suggestions) to [email protected].
This document was produced by using LibreOffice and Octave.
![Page 3: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/3.jpg)
Logic (2A)Logical Connectives 3 Young Won Lim
3/12/18
List of Logical Connectives
https://en.wikipedia.org/wiki/Logical_connective
![Page 4: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/4.jpg)
Logic (2A)Logical Connectives 4 Young Won Lim
3/12/18
Examples
https://en.wikipedia.org/wiki/Logical_connective
![Page 5: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/5.jpg)
Logic (2A)Logical Connectives 5 Young Won Lim
3/12/18
Tautology and Contradiction
https://en.wikipedia.org/wiki/Logical_connective
![Page 6: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/6.jpg)
Logic (2A)Logical Connectives 6 Young Won Lim
3/12/18
Truth Table and Venn Diagram
https://en.wikipedia.org/wiki/Logical_connective
![Page 7: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/7.jpg)
Logic (2A)Logical Connectives 7 Young Won Lim
3/12/18
Precedence
https://en.wikipedia.org/wiki/Logical_connective
![Page 8: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/8.jpg)
Logic (2A)Logical Connectives 8 Young Won Lim
3/12/18
Properties
https://en.wikipedia.org/wiki/Logical_connective
![Page 9: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/9.jpg)
Logic (2A)Logical Connectives 9 Young Won Lim
3/12/18
Associativity
https://en.wikipedia.org/wiki/Associative_property
![Page 10: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/10.jpg)
Logic (2A)Logical Connectives 10 Young Won Lim
3/12/18
Commutativity
https://en.wikipedia.org/wiki/Commutative_property
![Page 11: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/11.jpg)
Logic (2A)Logical Connectives 11 Young Won Lim
3/12/18
Distributivity (1)
https://en.wikipedia.org/wiki/Distributive_property
![Page 12: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/12.jpg)
Logic (2A)Logical Connectives 12 Young Won Lim
3/12/18
Distributivity (2)
https://en.wikipedia.org/wiki/Distributive_property
![Page 13: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/13.jpg)
Logic (2A)Logical Connectives 13 Young Won Lim
3/12/18
Logical Conjunction
https://en.wikipedia.org/wiki/Distributive_property
![Page 14: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/14.jpg)
Logic (2A)Logical Connectives 14 Young Won Lim
3/12/18
Logical Conjunction
https://en.wikipedia.org/wiki/Logical_conjunction
![Page 15: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/15.jpg)
Logic (2A)Logical Connectives 15 Young Won Lim
3/12/18
Properties of Conjuction
https://en.wikipedia.org/wiki/Logical_conjunction
![Page 16: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/16.jpg)
Logic (2A)Logical Connectives 16 Young Won Lim
3/12/18
Conjunction in boolean algebra
https://en.wikipedia.org/wiki/Logical_conjunction
![Page 17: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/17.jpg)
Logic (2A)Logical Connectives 17 Young Won Lim
3/12/18
Disjunction
https://en.wikipedia.org/wiki/Distributive_property
![Page 18: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/18.jpg)
Logic (2A)Logical Connectives 18 Young Won Lim
3/12/18
Properties of disjunction
https://en.wikipedia.org/wiki/Logical_disjunction
![Page 19: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/19.jpg)
Logic (2A)Logical Connectives 19 Young Won Lim
3/12/18
Disjunction in boolean algebra
https://en.wikipedia.org/wiki/Logical_disjunction
![Page 20: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/20.jpg)
Logic (2A)Logical Connectives 20 Young Won Lim
3/12/18
Material conditional
https://en.wikipedia.org/wiki/Material_conditional
![Page 21: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/21.jpg)
Logic (2A)Logical Connectives 21 Young Won Lim
3/12/18
Disjunction in boolean algebra
https://en.wikipedia.org/wiki/Material_conditional
![Page 22: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/22.jpg)
Logic (2A)Logical Connectives 22 Young Won Lim
3/12/18
Disjunction in boolean algebra
https://en.wikipedia.org/wiki/Material_conditional
![Page 23: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/23.jpg)
Logic (2A)Logical Connectives 23 Young Won Lim
3/12/18
Logical Equivalence
https://en.wikipedia.org/wiki/Logical_equivalence
![Page 24: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/24.jpg)
Logic (2A)Logical Connectives 24 Young Won Lim
3/12/18
Laws of logical equivalence (1)
https://en.wikipedia.org/wiki/Logical_equivalence
![Page 25: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/25.jpg)
Logic (2A)Logical Connectives 25 Young Won Lim
3/12/18
https://en.wikipedia.org/wiki/Logical_equivalence
Laws of logical equivalence (2)
![Page 26: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/26.jpg)
Logic (2A)Logical Connectives 26 Young Won Lim
3/12/18
Logical equivalence and conditionals
https://en.wikipedia.org/wiki/Logical_equivalence
![Page 27: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/27.jpg)
Logic (2A)Logical Connectives 27 Young Won Lim
3/12/18
Logical equivalence and bi-conditionals
https://en.wikipedia.org/wiki/Logical_equivalence
![Page 28: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/28.jpg)
Logic (2A)Logical Connectives 28 Young Won Lim
3/12/18
Logical equivalence and bi-conditionals
https://en.wikipedia.org/wiki/Logical_disjunction
![Page 29: Logical Connectives (2A)€¦ · 3/12/2018 · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram](https://reader034.vdocument.in/reader034/viewer/2022052006/601abae5655a4a45164904f5/html5/thumbnails/29.jpg)
Young Won Lim3/12/18
References
[1] http://en.wikipedia.org/[2]