Testangaben 23.10.2003, Grp.A, Bsp.1b

[maitscha]

Gilt eine Formel nicht auch als Tautologie, wenn sie gültig ist? Warum ist 1b nicht auch eine Tautologie?

[AndiSz]

Gilt eine Formel nicht auch als Tautologie, wenn sie gültig ist? Warum ist 1b nicht auch eine Tautologie?
siehe Skriptum S.100: 4.4 Definition:

Eine prädikatenlogische Formel F ist:

gültig (bezüglich eines Datentyps), wenn MPL(I,F) = t für alle I (d.h. für jede "Speicherbelegung")
allgemein gültig = Tautologie, wenn F immer wahr ist unabhängig vom Datentyp.

bei 1b trifft offensichtlich nur Gültigkeit in L zu ;)