Ableitungskalkül/Tautologie und Regel/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Man erläutere für einen Ableitungskalkül den Unterschied zwischen einer syntaktischen Grundtautologie und einer Ableitungsregel.
Eine Lösung erstellen