Métodos de Prova - Contradição - EP 30

Third video in the Proof Methods Playlist. In this video we explain about Proof by Contradiction. In Proof by Contradiction, if we want to prove that P → Q, we assume P and ~Q and if we reach a contradiction, it means that P → Q. The idea is the same as Reduction to the Absurd. Proof by Contradiction is similar to Proof by Contraposition, but the idea is a little different. In the video we explain this difference well. In addition, in the video we show some examples of proof by Contradiction and we also show an example from the last video where we proved by contraposition to see the difference between the two approaches. 🔴 Video Explaining Discrete Mathematics    • O que é Matemática Discreta? - EP 1   🔴 Video about Direct Proof    • Métodos de Prova - Prova Direta - EP 28   🔴 Video about Proof by Contraposition    • Métodos de Prova - Contrapositiva - EP 29   0:00 Introduction 1:19 Exercise 1 3:29 Exercise 2 5:56 Exercise 3 8:31 Final Considerations