 |
 |
 |
 |
 |
 |
Startseite » Forum » Logik, Beweisarten: Aussagen anhand Kriterien
Logik, Beweisarten: Aussagen anhand Kriterien
Universität / Fachhochschule
Tags: Aussagenlogik, Logikaufgabe
 
|
  |
|---|
|
Folgende Aussage unter alleiniger Benutzung der Zeichen ∀, ∃, ∧, ∨, ¬, der Abkürzung prim(x) für ”x ist Primzahl“ und der ”atomaren“ Formeln ab und formulieren. (Zur Vereinfachung seien dabei alle betrachteten Zahlen stets als naturliche Zahlen vorausgesetzt, ohne dass dies extra gesagt werden soll; die Quantoren ∀, ∃ sollen nur ein Argument haben, . . ∀a,b,c ist verboten und durch ∀a∀b∀c auszudrucken.) Aussage: "Wenn es eine Primzahl gibt, so folgt für drei Zahlen mit der Eigenschaft ab stets, dass oder ist." Kann mir jemand einen Tipp geben, wie man diese Aufgabe angehen sollte? Danke Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert): "Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen." |
|
 |
|
Hallo die Aussage ist ja wohl. prim dann folgt , wenn dann oder das jetzt formulieren. Gruß ledum |
|
Diese Frage wurde automatisch geschlossen, da der Fragesteller kein Interesse mehr an der Frage gezeigt hat.
|
1328484
1328298