Minkälaisia asioita matemaattisen logiikan avulla voidaan tutkia?

Tässä viedona esitettynä yksi pikku ongelma, joka on helppo tutkia formalisoimalla lause ja tutkimalla sen totuusarvot (kurssikirjan ensimmäiset kaksi lukua) 

Pulmat Maunulasta: Kelmit ja ritarit