Start
Zufällige Seite
Anmelden
Einstellungen
Spenden
Über Wikiversity
Haftungsausschluss
Suchen
Prädikatenlogik/Interpretation/E ist mcc/Aufgabe/Lösung
Sprache
Beobachten
Bearbeiten
<
Prädikatenlogik/Interpretation/E ist mcc/Aufgabe
Die Gültigkeit des Ausdrucks bei der Interpretation würde bedeuten, dass
I
(
E
)
=
9000000000
{\displaystyle {}I(E)=9000000000\,}
mit
I
(
P
)
(
I
(
m
)
,
I
(
Q
)
(
I
(
c
)
)
)
=
1
⋅
300000
2
=
90000000000
{\displaystyle {}I(P)(I(m),I(Q)(I(c)))=1\cdot 300000^{2}=90000000000\,}
übereinstimmt. Da eine
0
{\displaystyle {}0}
fehlt, ist dies nicht richtig und daher ist der Ausdruck bei der Interpretation nicht gültig.
Zur gelösten Aufgabe