Kolejna lekcja do logiki, kontynuujemy rachunek predykatów.

Przed rozpoczęciem powinieneś powtórzyć wszystkie poprzednie Lekcje z logiki.

Lekcja trwa prawie 2 godziny. Składa się z:

• Video (AVI, 1 godzina 54 minuty)
• Zadania Domowego wraz z Odpowiedziami (PDF, 10 pytań testowych i 40 przykładów do rozwiązania)
• Materiałów na Forum dotyczących tej Lekcji

---

Video

• 5 przykładów na określanie prawdziwości złożonej formuły rachunku predykatów
• 7 przykładów na przełożenie zdań języka naturalnego na formuły rachunku predykatów
• 4 przykłady na dowolne dobieranie dziedzin i predykatów tak, aby formuła była prawdziwa, lub fałszywa
• tautologie w rachunku predykatów
• 4 przykłady na wykazywanie, że formuła jest tautologią
• 5 przykładów na sprawdzanie, czy formuła jest tautologią
• prawa rachunku kwantyfikatorów
• 4 przykłady na zapisywanie praw kwantyfikatorów w języku naturalnym
• 2 przykłady na zaprzeczanie formule bez użycia znaku negacji

(...)