K-Modallogik/Widerspruchsfrei/Aufgabe

Zeige, dass die ${}K$ -Modallogik

widerspruchsfrei ist.

Eine Lösung erstellen

Abgerufen von „https://de.wikiversity.org/w/index.php?title=K-Modallogik/Widerspruchsfrei/Aufgabe&oldid=843839“