Aussagenlogik/Semantik/Entscheidungsverfahren/Aufgabe
Skizziere ein Entscheidungsverfahren, das für eine gegebene Aussage entscheidet, ob es sich um eine aussagenlogische Tautologie
handelt oder nicht.Skizziere ein Entscheidungsverfahren, das für eine gegebene Aussage entscheidet, ob es sich um eine aussagenlogische Tautologie
handelt oder nicht.