Logic (H.2) - Wikimedia...2018/03/02 · Order of precedence [edit] As a way of reducing the number...
Transcript of 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