[LiTM] 2. Dowodzenie tautologii przez tabelkę, nie wprost oraz jeszcze inaczej
Автор: Scottish Café
Загружено: 2024-01-22
Просмотров: 646
Описание:
W tym filmie przypomnimy sobie, czym są tautologię oraz nauczymy się jak je dowodzić. Poznamy siermiężną metodę tabelki. Nauczymy się dowodzenia 'nie wprost' gdzie zakładać będziemy, że wyrażenie nie jest tautologią i poprzez sprzeczność wnioskować będziemy o zaprzeczeniu założenia. Rozwiążemy też jedno edukujące zadanie, które pozwoli nam na dowodzenie tautologii przy użyciu dodawania oraz mnożenia liczb naturalnych. Zainteresowani?
Materiał kierowany głównie do studentów pierwszych lat studiów oraz do uczniów szkół średnich zainteresowanych matematyką.
Literatura:
"Wstęp do teorii mnogości i topologii"
autorstwa: Kazimierz Kuratowski
"Elementy logiki i teorii mnogości w zadaniach"
autorstwa: Wiktor Marek, Janusz Onyszkiewicz
Jeśli masz uwagi lub propozycje tematów jakie warto byłoby poruszyć - daj znać!
Повторяем попытку...
![[LiTM] 2. Dowodzenie tautologii przez tabelkę, nie wprost oraz jeszcze inaczej](https://imager.clipsaver.ru/L9Ti4o02obc/max.jpg)
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![[LiTM] 3. Postać koniunkcyjno-alternatywna i alternatywno-koniunkcyjna formuły](https://imager.clipsaver.ru/fOc8jM87DXE/max.jpg)
![[TMiC] 8. Moc i miara zbioru liczb wymiernych i niewymiernych.](https://imager.clipsaver.ru/T7GoQEUnLtw/max.jpg)
![[LiTM] 1. Funktory Logiczne](https://imager.clipsaver.ru/6uu2YgEFZLg/max.jpg)
![[LiTM] 5. Działania na zbiorach. Diagramy Venna](https://imager.clipsaver.ru/NrG59oBm0iw/max.jpg)
![[TP] 1. Czym jest przestrzeń topologiczna? Definicja zbiorów otwartych i domkniętych](https://imager.clipsaver.ru/02TE4fnzDxQ/max.jpg)
![[TMiC] 9. Liczby w systemie dziesiętnym i trójkowym. Wprowadzenie do zbioru Cantora](https://imager.clipsaver.ru/Lt_PgIuA5z0/max.jpg)
![[TP] 2. Metryki. Jak odległość określa topologię?](https://imager.clipsaver.ru/Pe6gDKKDOu4/max.jpg)
