Logika! | Mnogości #1

Pierwszy materiał z serii "Mnogości", której celem jest gładkie zaklimatyzowanie się z jakże fundamentalną oraz ciekawą dziedziną matematyki jaką jest szeroko rozumiana teoria mnogości. Nie jesteś orłem/orlicą z matmy? Nie szkodzi - dany film jest właśnie po to, żebyś mógł/mogła skumać wiele... nie wiedząc wiele. 0:00 wstęp 0:18 coś istnieje albo nie, jest jedynką albo jest zerem 1:15 zdanie logiczne proste 1:47 zdanie złożone 2:13 wszystkie wariacje dwóch zdań prostych 3:01 przykład tautologii, podwójne zaprzeczenie 4:13 spójnik równoważności 4:38 spójnik implikacji 6:25 ćwiczenie pierwsze 6:48 jak czytamy implikacje i równoważność 7:06 prawo kontrapozycji 7:54 prawa de Morgana 8:08 lista spójników logicznych 10:00 predykat 10:34 dwa kwantyfikatory 10:58 kwantyfikatory, predykaty i spójniki grają razem 11:52 prawa de Morgana dla kwantyfikatorów 13:22 kolejność kwantyfikatorów ma znaczenie 13:55 przykład z państwami i flagami 15:44 zapisy kwantyfikatorowe to zdania 18:00 ćwiczenie drugie 19:01 ćwiczenie trzecie 19:58 sprawdzanie tautologii, metoda nie wprost 24:11 ćwiczenie czwarte 24:37 ćwiczenie piąte 24:57 ćwiczenie szóste 25:20 zbiory są mocno fundamentalne! 26:27 rozdział obiektów 28:54 samoodniesienie bywa kłopotliwe! 31:28 zakończenie