Lekcja 8 – 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.

Spis treści

• formuły rachunku predykatów - 8 przykładów [1:17]
• zadanie 1a: określanie prawdziwości złożonej formuły rachunku predykatów [7:41]
• zadanie 1b: określanie prawdziwości złożonej formuły rachunku predykatów [14:07]
• zadanie 1c: określanie prawdziwości złożonej formuły rachunku predykatów [21:11]
• zadanie 1d: określanie prawdziwości złożonej formuły rachunku predykatów [23:49]
• zadanie 1e: określanie prawdziwości złożonej formuły rachunku predykatów [27:19]
• zadanie 2: przełożenie zdań języka naturalnego na formuły rachunku predykatów (7 przykładów) [31:44]
• zadanie 3: dowolne dobieranie dziedzin i predykatów tak, aby formuła była prawdziwa lub fałszywa (2 przykłady) [52:11]
• zadanie 4: dowolne dobieranie dziedzin i predykatów tak, aby formuła była prawdziwa lub fałszywa (2 przykłady) [57:02]
• tautologie w rachunku predykatów [1:00:57]
• zadanie 5: wykazywanie, że formuła jest tautologią (4 przykłady) [1:07:11]
• zadanie 6: sprawdzanie, czy formuła jest tautologią (5 przykładów) [1:24:14]
• prawa rachunku kwantyfikatorów, prawa De Morgana [1:43:52]
• zadanie 7: zapisywanie praw kwantyfikatorów w języku naturalnym (2 przykłady) [1:46:04]
• zadanie 8: zapisywanie praw kwantyfikatorów w języku naturalnym (2 przykłady) [1:48:16]
• zadanie 9: zaprzeczanie formule bez użycia znaku negacji (2 przykłady) [1:50:07]