Showing that the Proof by Contradiction Works

In this video we will show that the proof by contraposition is a valid method to proof an implication.

⏰ Timeline 00:00 Exercise 00:19 Proof 01:55 Conclusion

🔢 Statement to proof { (F ∧ ¬G) ⟶ H, (F ∧ ¬G) ⟶ ¬H } ⊧ F ⟶ G

📜 All Discrete Mathematics Exercises https://www.youtube.com/playlist?list=PLY9Po-aXYcD6LdOzLeBhcHIShPwCQNeSD

📜 All Linear Algebra Exercises https://www.youtube.com/playlist?list=PLY9Po-aXYcD5BnL_9CcYy421JLvwn9XHH

🎵 Music Reverie by Nomyn https://soundcloud.com/nomyn Creative Commons — Attribution 3.0 Unported — CC BY 3.0 Free Download / Stream: http://bit.ly/2RM3qu4 Music promoted by Audio Library https://youtu.be/LRNX-lgE8mo ... https://www.youtube.com/watch?v=1IVK2RUj_mw