Qbi's Weblog

Dieses Semester höre ich unter anderem eine Vorlesung zu Logik. Dabei wurde ein neues Kapitel namens “Intuitionistische Logik” begonnen. Entgegen dem Namen hat diese Form der Logik aber wenig mit Intuition zu tun. Wir lernten die Kripke-Struktur kennen und der Professor versuchte, Tautologien zu zeigen. Dabei entstand der Satz:

Also gilt nicht nicht p auch nicht.