"kontrapositsioon" - 1 õppematerjal

Loogika konspekt 1-5

8. ¬(p & q) = ¬p ¬q De Morgani reegel 9. ¬(p q) = ¬p & ¬q De Morgani reegel 10. p q = ¬p q Implikatsioon normaalkujul 11. ¬(p q) = p & ¬q Tuleneb reeglitest 10 ja 9 12. p q = (p & q) (¬p &¬q) Ekvivalents normaalkujul 13. p q = (p ¬q) & (¬p q) Ekvivalents normaalkujul 14. p q = ¬q ¬p Kontrapositsioon 15. (p q) & (¬p q) = q Selgitamise reegel 16. p & (p q) = p Neeldumise reegel 17. p (p & q) = p; Neeldumise reegel 18. p & p = p Taandamise reegel 19. p p = p Taandamise reegel 20. p & 1 = p Taandamise reegel 21. p & 0 = 0 Taandamise reegel 22. p 1 = 1 Taandamise reegel