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)

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 youngwlim@hotmail.com.

This document was produced by using LibreOffice and Octave.

Logic (2A)Logical Connectives 3 Young Won Lim

3/12/18

List of Logical Connectives

https://en.wikipedia.org/wiki/Logical_connective

Logic (2A)Logical Connectives 4 Young Won Lim

3/12/18

Examples

https://en.wikipedia.org/wiki/Logical_connective

Logic (2A)Logical Connectives 5 Young Won Lim

3/12/18

Tautology and Contradiction

https://en.wikipedia.org/wiki/Logical_connective

Logic (2A)Logical Connectives 6 Young Won Lim

3/12/18

Truth Table and Venn Diagram

https://en.wikipedia.org/wiki/Logical_connective

Logic (2A)Logical Connectives 7 Young Won Lim

3/12/18

Precedence

https://en.wikipedia.org/wiki/Logical_connective

Logic (2A)Logical Connectives 8 Young Won Lim

3/12/18

Properties

https://en.wikipedia.org/wiki/Logical_connective

Logic (2A)Logical Connectives 9 Young Won Lim

3/12/18

Associativity

https://en.wikipedia.org/wiki/Associative_property

Logic (2A)Logical Connectives 10 Young Won Lim

3/12/18

Commutativity

https://en.wikipedia.org/wiki/Commutative_property

Logic (2A)Logical Connectives 11 Young Won Lim

3/12/18

Distributivity (1)

https://en.wikipedia.org/wiki/Distributive_property

Logic (2A)Logical Connectives 12 Young Won Lim

3/12/18

Distributivity (2)

https://en.wikipedia.org/wiki/Distributive_property

Logic (2A)Logical Connectives 13 Young Won Lim

3/12/18

Logical Conjunction

https://en.wikipedia.org/wiki/Distributive_property

Logic (2A)Logical Connectives 14 Young Won Lim

3/12/18

Logical Conjunction

https://en.wikipedia.org/wiki/Logical_conjunction

Logic (2A)Logical Connectives 15 Young Won Lim

3/12/18

Properties of Conjuction

https://en.wikipedia.org/wiki/Logical_conjunction

Logic (2A)Logical Connectives 16 Young Won Lim

3/12/18

Conjunction in boolean algebra

https://en.wikipedia.org/wiki/Logical_conjunction

Logic (2A)Logical Connectives 17 Young Won Lim

3/12/18

Disjunction

https://en.wikipedia.org/wiki/Distributive_property

Logic (2A)Logical Connectives 18 Young Won Lim

3/12/18

Properties of disjunction

https://en.wikipedia.org/wiki/Logical_disjunction

Logic (2A)Logical Connectives 19 Young Won Lim

3/12/18

Disjunction in boolean algebra

https://en.wikipedia.org/wiki/Logical_disjunction

Logic (2A)Logical Connectives 20 Young Won Lim

3/12/18

Material conditional

https://en.wikipedia.org/wiki/Material_conditional

Logic (2A)Logical Connectives 21 Young Won Lim

3/12/18

Disjunction in boolean algebra

https://en.wikipedia.org/wiki/Material_conditional

Logic (2A)Logical Connectives 22 Young Won Lim

3/12/18

Disjunction in boolean algebra

https://en.wikipedia.org/wiki/Material_conditional

Logic (2A)Logical Connectives 23 Young Won Lim

3/12/18

Logical Equivalence

https://en.wikipedia.org/wiki/Logical_equivalence

Logic (2A)Logical Connectives 24 Young Won Lim

3/12/18

Laws of logical equivalence (1)

https://en.wikipedia.org/wiki/Logical_equivalence

Logic (2A)Logical Connectives 25 Young Won Lim

3/12/18

https://en.wikipedia.org/wiki/Logical_equivalence

Laws of logical equivalence (2)

Logic (2A)Logical Connectives 26 Young Won Lim

3/12/18

Logical equivalence and conditionals

https://en.wikipedia.org/wiki/Logical_equivalence

Logic (2A)Logical Connectives 27 Young Won Lim

3/12/18

Logical equivalence and bi-conditionals

https://en.wikipedia.org/wiki/Logical_equivalence

Logic (2A)Logical Connectives 28 Young Won Lim

3/12/18

Logical equivalence and bi-conditionals

https://en.wikipedia.org/wiki/Logical_disjunction

Young Won Lim3/12/18

References

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