13th~17th Oct
- Mathematical expression
By using many tricks, such as changing to prove the contrapositive, making a header and conclusion first, etc.
The most important is that we must pay much attention to prove with rigorous logic order, which means we have to state every domain one by one including their own quantifiers. To the domain with universal quantifier, we need to note that the variable is generic. Besides the domain with existential quantifier, we need to note that we pick it and it equals to something or has some special features.
When it comes to the most key part of proof---assuming the antecedent and proving it can imply the consequent. Sometimes, the process does not go very smoothly. At this case, Heap tells us not to be hurried and panic, write down every small steps you could think of, keep it in your mind taht what conditions you have not used and think about it how to use it in your proof.
Last but not the least, the indent is also very important. Every time you assume something at the header of the proof. You need to indent and continue the next proof. When finishing proof of the following part is right under the condition of the assumption, you need to echo the assumption at the end of the proof.
When it comes to the most key part of proof---assuming the antecedent and proving it can imply the consequent. Sometimes, the process does not go very smoothly. At this case, Heap tells us not to be hurried and panic, write down every small steps you could think of, keep it in your mind taht what conditions you have not used and think about it how to use it in your proof.
Last but not the least, the indent is also very important. Every time you assume something at the header of the proof. You need to indent and continue the next proof. When finishing proof of the following part is right under the condition of the assumption, you need to echo the assumption at the end of the proof.
没有评论:
发表评论