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:

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.