Na kolejnych lekcjach zajmiemy się tautologiami.
Tautologia lub inaczej prawo rachunku zdań to wyrażenie zbudowane ze zdań prostych i spójników logicznych, które jest zawsze prawdziwe, niezależnie od wartości logicznych zdań je tworzących.
Poniżej znajdują się najczęściej spotykane tautologie.
1. Prawo wyłączonego środka.
2. Prawo sprzeczności.
3. Prawo podwójnej negacji.
4. I prawo de Morgana (zaprzeczenie koniunkcji).
5. II prawo de Morgana (zaprzeczenie alternatywy).
6. Prawo oderwania.
7. Prawo negacji (zaprzeczenia) implikacji.
