Proving the Equivalence of Statements (Logical Conclusion)

In this exercise we need to proof the equivalence of three different statements about the logical conclusion. To proof it we will use a circular chain of implications.

⏰ Timeline 00:00 Exercise 00:17 a ⟶ b 02:36 b ⟶ c 04:24 c ⟶ a 05:23 Conclusion

🔢 Statements a) { F1, F2, ..., Fn } ⊧ G b) ( ( F1 ∧ F2 ∧ ... ∧ Fn ) ⟶ G ) tautology c) ( ( F1 ∧ F2 ∧ ... ∧ Fn ) ∧ ¬G ) unsatisfiable

📜 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=Phm2CEYW5uQ