Aussagenlogik/Semantik/Entscheidungsverfahren/Aufgabe
Erscheinungsbild
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.