Solution to problem 1.4.1. from the textbook.
These videos are a companion to the textbook by Rautenberg, A Concise Introduction to Mathematical Logic: https://link.springer.com/book/10.1007/978-1-4419-1221-3
A link to the playlist: https://youtube.com/playlist?list=PLcwjc2OQcM4usoBzVwXNytSiQy1t1tpkK
0:00 Intro
0:56 Exploiting Finiteness
2:42 Disjunction and Falsum
