Kolejna Lekcja do logiki. Rozszerzamy klasyczny rachunek zdań i rozpoczynamy rachunek predykatów.<br /><br /> Przed rozpoczęciem powinieneś powtórzyć poprzednie Lekcje z logiki.<br /><br /> Lekcja jest obszerna, trwa prawie 2 godziny. <h3>Spis treści</h3> <ul> <li>wprowadzenie podstawowych pojęć: kwantyfikator ogólny i szczegółowy, rodzina zdań logicznych i jej dziedzina [2:55]</li> <li>kwantyfikator ogólny - omówienie [8:17]</li> <li>kwantyfikator szczegółowy - omówienie [11:08]</li> <li>przykłady (6) zastosowań kwantyfikatorów [13:34]</li> <li>predykaty, zmienne wolne i związane [20:42]</li> <li>przykłady (4) zdań zastosowania dwóch kwantyfikatorów [24:35]</li> <li>przykłady (5) zdań zastosowania dwóch kwantyfikatorów [34:38]</li> <li>zadanie 1: określanie wartości logicznej zdań z kwantyfikatorami (4 przykłady) [39:31]</li> <li>zadanie 2: określanie wartości logicznej zdań z kwantyfikatorami (4 przykłady) [44:06]</li> <li>zadanie 3: określanie wartości logicznej zdań z kwantyfikatorami i zapisywanie ich symbolicznie (4 przykłady) [52:46]</li> <li>zadanie 4: określanie wartości logicznej zdań z kwantyfikatorami i zapisywanie ich słownie (5 przykładów) [57:35]</li> <li>zadanie 5: zapisywanie zdań w postaci wyrażeń w języku kwantyfikatorów (8 przykładów) [1:02:59]</li> <li>zadanie 6: wyznaczanie zbioru z użyciem kwantyfikatorów (4 przykłady) [1:09:56]</li> <li>zadanie 7: wyznaczanie i rysowanie zbioru z użyciem kwantyfikatorów [1:35:18]</li> <li>zadanie 8: wyznaczanie i rysowanie funkcji zdaniowych na osi z użyciem kwantyfikatorów [1:38:42]</li> <li>zadanie 9: wyznaczanie i rysowanie funkcji zdaniowych na osi z użyciem kwantyfikatorów [1:41:17]</li> <li>zadanie 10: wyznaczanie i rysowanie funkcji zdaniowych w układzie współrzędnych z użyciem kwantyfikatorów [1:45:41]</li> </ul>