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

33
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 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".

Upload: others

Post on 01-Mar-2021

4 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence

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".

Page 2: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 3: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 4: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 5: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 6: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 7: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 8: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 9: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 10: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 11: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 12: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 13: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence

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

Precedence

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

Page 14: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence

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

Associativity

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

Page 15: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence

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

Commutativity

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

Page 16: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence

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

Distributivity (1)

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

Page 17: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence

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

Laws of logical equivalence (1)

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

Page 18: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence

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

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

Laws of logical equivalence (2)

Page 19: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 20: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 21: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 22: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 23: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 24: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 25: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 26: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 27: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 28: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence

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

Logical equivalence and bi-conditionals

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

Page 29: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 30: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 31: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 32: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence
Page 33: Logic (H.2) - Wikimedia...2018/03/02  · Order of precedence [edit] As a way of reducing the number of necessary parentheses, one may introduce precedence rules: has higher precedence