Matematika logika, oktobar 2012 c

Tautologije
Prva grupa: Najvanije tautologije z 1. p p 2. p p 3. (p p) 4. (p (p q)) q 5. ((p q) q) p 6. (p q) (q p) 7. (p q) p q 8. (p q) p q 9. ((p q) (q r)) (p r) 10. (p (q q)) p 11. p (p q) 12. p (q p) 13. ((p r) (q r)) ((p q) r) 14. (p q) ((q r) (p r)) 15. ((p q) (q r)) (p r) 16. ((p q) p) p Zakon dvojne negacije Tertium non datur Zakon neprotivrenosti c Modus Ponens Modus Tollens Kontrapozicija De Morganov zakon za De Morganov zakon za Zakon silogizma Reductio ad absurdum Ex falso quolibet Verum ex quolibet Zakon nabrajanja Tranzitivnost za Tranzitivnost za Pierceov zakon

Druga grupa: Najlake tautologije s 1. AAA 2. AAA 3. AB BA 4. AB BA 5. ABBA 6. (A B) C A (B C) 7. (A B) C A (B C) 8. (A B) C A (B C) 9. A (A B) A 10. A (A B) A 11. A (B C) (A B) (A C) 12. A (B C) (A B) (A C) Idempotentnost konjunkcije Idempotentnost disjunkcije Komutativnost konjunkcije Komutativnost disjunkcije Komutativnost ekvivalencije Asocijativnost konjunkcije Asocijativnost disjunkcije Asocijativnost ekvivalencije Apsorpcija prema Apsorpcija prema Distributivnost prema Distributivnost prema

Matematika logika, oktobar 2012 c

Trea grupa: Veza med operacijama c u A B A B A B (A B) A B A B A B (A B) A B (A B) A B (A B) A B (A B) (B A) A B (A B) (B A)

Cetvrta grupa: Logike konstante c AA A A AA AA AA A A A AA A A A A A AA A A