logic (h.2) - wikimedia...2018/03/02  · order of precedence [edit] as a way of reducing the number...

Logic (H.2)

20180302

Copyright (c) 2017 - 2018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of theGNU Free Documentation License, Version 1.2 or any later version published by the Free SoftwareFoundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy ofthe license is included in the section entitled "GNU Free Documentation License".

Logical Connectives (2A) 7 Young Won Lim3/1/18

Precedence

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

Logical Connectives (2A) 9 Young Won Lim3/1/18

Associativity

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

Logical Connectives (2A) 10 Young Won Lim3/1/18

Commutativity

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

Logical Connectives (2A) 11 Young Won Lim3/1/18

Distributivity (1)

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

Logical Connectives (2A) 24 Young Won Lim3/1/18

Laws of logical equivalence (1)

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

Logical Connectives (2A) 25 Young Won Lim3/1/18

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

Laws of logical equivalence (2)

Logical Connectives (2A) 27 Young Won Lim3/1/18

Logical equivalence and bi-conditionals

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