logic (h.2) - wikimedia...2018/03/02 · order of precedence [edit] as a way of reducing the number...
TRANSCRIPT
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