Zum Inhalt springen

Ableitungskalkül/Tautologie und Regel/Aufgabe

Aus Wikiversity

Man erläutere für einen Ableitungskalkül den Unterschied zwischen einer syntaktischen Grundtautologie und einer Ableitungsregel.