My days of studying logic are continuing. I find it very refreshing to spend around 20 minutes from time to time and learn something new. In today’s video you will see how I found out more about double negation and conditional proof. Finally, I got to do some more complicated aspects and I had to practice more of what I have done previously. The journey continues…
From the 2 aspects I have learnt today, conditional proof has been the most challenging but also very interesting. Also, I think this is one of the most important concept that is used incredibly often in mathematics. Understanding the basic of conditional proof is the base for understanding a lot of mathematical proofs. The first example on the notes shows more about what I mean. There were many moments in my university life when I got a theorem, proposition or lemma stating that A → B (“A implies B”) and then the teacher was using -B → -A (“the opposite of B implies the opposite of A”) as if it was already known. To be fair, I have rarely understood how he got it and I always had to give me plenty of examples until I understood the meaning. Or I had to go home and prove it was true, which it was a useful exercise, but I kind of wish I could understand the logic behind it straight away.
Let me know what you think about this series. Enjoy the start of the week! Have a great day. If you have ideas for future blog posts, let us know (for topic for June is Math and Nature). Don’t forget to check our last post: Books to read during the World Cup. You can find us on Facebook, Tumblr, Google+, Twitter and Instagram. We will try to post there as often as possible.
Lots of love and don’t forget that maths is everywhere! Enjoy!