[LiTM] 2. Dowodzenie tautologii przez tabelkę, nie wprost oraz jeszcze inaczej

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ć!