Proofing Equivalence of Four Statements (Logical Conclusion)

In this exercise we will use equivalent transformations to show that four different statements about the logical conclusion (⊧) are equivalent.

⏰ Timeline 00:00 Exercise 00:17 Refactoring a 01:26 Refactoring b 02:08 Refactoring c 02:44 Refactoring d 03:02 Conclusion

🔢 Statements a) G unsatisfiable b) G ⊧ (A ∧ ¬A) c) G ⊧ all statements d) (G ⊧ F) (G ⊧ ¬F)

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