Top Banner
Young Won Lim 3/12/18 Logical Connectives (2A)
29

Logical Connectives (2A)€¦ · 3/12/2018  · Logic (2A) Logical Connectives 6 Young Won Lim 3/12/18 Truth Table and Venn Diagram

Sep 29, 2020

Download

Documents

dariahiddleston
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Young Won Lim3/12/18

References

[1] http://en.wikipedia.org/[2]