Ableitungskalkül/Tautologie und Regel/Aufgabe

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

Eine Lösung erstellen