1. Zapis formalny: a) relacja tranzytywna, b) prawo eksportacji, c) prawo zastępowania dużego kwantyfikatora, d) zawieranie się właściwe
2. Napisać, czy zdania są równoznaczne, czy wynikają z siebie (które i jeśli tak, to czy logicznie) oraz czy koniunkcja tych zdań jest tezą, a jeśli tak, to czy również tautologią. (Przykładu nie pamiętam dokładnie)
3. Zapis formalny sumy zbiorów i iloczynów zbiorów oraz zaznaczyć na zbiorach: iloczyn (sumy zb. def. równoścowych i zb. def. przez postulaty) oraz (iloczynu zb. def sprawozdawczych i zb. def. analitycznych).
4. Zapisać w rachunku predykatów zdanie: "Jezeli każdy lubi Monicę Bellucci, to każdy chodzi do kina". Wykażać, form. zdaniową rachunku predykatów, napisać, czy jest zd. rachunku predykatów, czy jest molekularne czy atomowe, czy jest proste czy złozone.