Furthering our discussion on proofs, prof taught specifically how to use different proof techniques: under what kind of conditions we should use proof by cases or direct proofs etc.
We focused on the non-boolean functions, in which we are not allowed to apply quantifiers on them. So we will have to manipulate the expression a bit in a way that quantifiers are not used to functions and at the same time, our words have to be as precise as possible compared to the original definition. We also learnt limits this week, which is a tricky one because it involves thinking backwards to find the satisfying delta that makes the proof work. But I think the formal knowledge background from Mat137 will help me a bit on this part. Besides, we also tackle the disproof, which is totally the opposite of proving. Disproving involves finding counterexample which falsifies the statement, or we can negate the statement first and prove the negation.
No comments:
Post a Comment