
Lekcja 33 – Formuły rachunku predykatów
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:
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
Dostęp do tych materiałów wymaga konta z wykupionym abonamentem.
Masz już abonament?
Zaloguj sięNie masz jeszcze abonamentu?
Zobacz, o co chodzi