Lesson Tag: logikal3

Lekcja 3 – Tautologie

Długość: 78 minutyAutor: Krystian KarczyńskiTrudność: Standardowa

Na tej Lekcji omawiam bardzo ważne zagadnienie tautologii logicznych.<br /><br /> Powoli, na wielu przykładach pokazuję dwie metody sprawdzania, czy zdanie jest tautologią i różne pułapki z tym związane.<br /><br /> Przykłady dobrałem zarówno w samej symbolice logicznej p, q, r, ... , a także opierające się na pełnych zdaniach w języku polskim.<br /><br /> Na Lekcji wprowadziłem także prawa logiczne.<br /><br /> <h3>Spis treści</h3> <ul> <li>co to jest tautologia? [1:34]</li> <li>5 przykładów na sprawdzanie, czy zdanie jest tautologią metodą zerojedynkową (tablicy logicznej) [4:11]</li> <li>5 przykładów na sprawdzanie, czy zdanie jest tautologią metodą nie wprost [19:14]</li> <li>prawa logiczne jako tautologie [49:18]</li> <li>dowód prawa kontrapozycji [54:01]</li> <li>zadanie 4: wykazywanie prawdziwości zdań złożonych zapisanych w zwykłym języku polskim (metoda nie wprost) [55:44]</li> <li>zadanie 5: wykazywanie prawdziwości zdań złożonych zapisanych słownie (metoda nie wprost) [1:00:24]</li> <li>zadanie 6: wykazywanie prawdziwości zdań złożonych zapisanych słownie (metoda zerojedynkowa tablicy logicznej) [1:03:21]</li> <li>zadanie 7: wykazywanie prawdziwości zdań złożonych zapisanych słownie (metoda nie wprost) [1:04:58]</li> <li>zadanie 8: wykazywanie prawdziwości zdań złożonych zapisanych słownie (metoda nie wprost) [1:08:46]</li> <li>zadanie 9: rozstrzyganie, czy da się określić wartość zdań złożonych zapisanych słownie [1:11:45]</li> <li>zadanie 10: równoważność zdań złożonych zapisanych słownie (metoda zerojedynkowa tablicy logicznej) [1:13:56]</li> </ul>