0 Daumen
204 Aufrufe

Gegeben seien folgende Prädikate, Funktionen und Konstanten:
G(x) . . . x ist gerade Zahl
K(x, y) . . . x ist kleiner als y
P(x) . . . x ist Primzahl
Gleich(x, y) . . . x ist gleich y
plus(x, y) . . . liefert die Summe von x und y
2 . . . die Zahl zwei

Screenshot (9).png

Text erkannt:

\( F=\forall x(\exists y(P(y) \wedge K(\operatorname{plus}(y, 2), x)) \rightarrow \exists z(G(z) \wedge K(z, x))) \)

Geben Sie ein Modell für die Formel \( F \) an.

Avatar von

Was bedeutet hier Modell?

Ein Modell einer Formel ist eine Interpretation, die die Formel wahr macht.

1 Antwort

0 Daumen

Für jedes \(x\) gilt: wenn es eine Primzahl gibt, die kleiner als \(x-2\) ist, dann gibt es eine gerade Zahl, die kleiner als \(x\) ist.

Avatar von 107 k 🚀

Ein anderes Problem?

Stell deine Frage

Ähnliche Fragen

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community