Kursens startsidaAvgör med hjälp av översättningar till satslogikens språk och sanningsvärdetabeller om följande satser är tautologier, kontradiktioner eller kontingenta (syntetiska) satser.
1. Om larmen går brinner det.
2. Antingen så brinner det och larmen går eller så brinner det inte och larmen går inte heller.
3. Antingen så går larmen eller inte eller så brinner det.
4. Endast om larmen går brinner det och larmen går.
5. Det brinner och larmen går eller så brinner det bara.
6. Om det brinner, så går larmen eller så går larmen inte.
7. Om det brinner går larmen eller så brinner det om larmen går.
8. Om det brinner, så går larmen om det brinner eller så brinner det om larmen går.
9. Det brinner endast om larmen antingen går eller inte går.
10. Endast om det brinner brinner det endast om larmen går.