Prädikatenlogik/Interpretation/E ist mcc/Aufgabe/Lösung

Die Gültigkeit des Ausdrucks bei der Interpretation würde bedeuten, dass

{}I(E)=9000000000\,

mit

{}I(P)(I(m),I(Q)(I(c)))=1\cdot 300000^{2}=90000000000\,

übereinstimmt. Da eine

{}0

fehlt, ist dies nicht richtig und daher ist der Ausdruck bei der Interpretation nicht gültig.

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.