If (F ⟶ G) is a Tautology and F is Satisfiable, Then G is Also Satisfiable

In this small exercise we will check if the following statement is true or not: if (F ⟶ G) is a tautology and F is satisfiable, then G is also satisfiable.

⏰ Timeline 00:00 Exercise 00:36 Proof 01:27 Conclusion

🔢 Statement if (F ⟶ G) is a tautology and F is satisfiable, then G is also satisfiable

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