Rules for Logic Reasoning
Author: Zhiming Ou
Mattermatics Learning Center
Publisher: 3265 Public Way
ISBN: 978-0-9865263-5-0
Summary
It is extremely important for a person to learn how to think. This is the difference between an animal with wisdom and those without. From a given set of premises, one should be able to draw the reasonable conclusion. The depth of the conclusion drawn reflects the cleverness of a person. Some people see by eyes, some see by minds, the sage can see the past and future by reasoning.
This book walks through propositions to predicates mathematically. Upon finishing, you will be able to prove statements mathematically. With the help of AI, one can code the algorithms, so that, reasoning can be carried out by a machine. Will this may make human dummier?
Content
Chapter 1 Proposition Logic 2
- 1.1 Concept 2
- 1.2 Logic Operators and Truth Tables 5
- 1.3 Propositional Equivalences 12
- 1.4 Logical Proof 17
Chapter 2 Examples for Logical Reasoning 22
Chapter 3 Mathematical Games 34
- 3.1 Games on Numbers 34
- 3.2 Analyze the Chance and Scores 48
- 3.3 Board Games 49
Chapter 4 First Order Predicate Logic 55
Quantifiers 56
Binding Variables 60
Negations 62
Chapter 5 Set Theory 65
- 5.1 Set, Elements and Subsets 65
- 5.2 Set Operations 68
- 5.3 Ways to Construct Sets 72
Chapter 6 Mathematical Proof and machine proof 75
Note: this chapter is not complete yet.