Hallo liebe Mathematiker, ich bin mir bei Aufgaben aus der Prädikatenlogik häufig unsicher, welchem Teil einer Aussage ich Priorität geben muss oder ob ich gar einem Wahrheitswert Priorität geben muss.Ich möchte diesen sehr ungeschickten Versuch der Charakterisierung meines Problems anhand eines Beispiels präzisieren:
Es seien G1=ℝ und G2=ℕ, sowie P(x1,x2) := (x12=x2)x1 ∈ ℕ.
Bestimmen Sie den Wahrheitswert von:
(a) ∀x1 ∈ ℝ ∀x2∈ ℕ P(x1,x2)
(b) ∀x1 ∈ ℝ ∃x2∈ ℕ P(x1,x2)
© ∃x1 ∈ ℝ ∀x2∈ ℕ P(x1,x2)
(d) ∃x1 ∈ ℝ ∃x2∈ ℕ P(x1,x2)
(e) ∀x2∈ ℕ ∃x1 ∈ ℝ P(x1,x2)
(f) ∃x2∈ ℕ ∀x1 ∈ ℝ P(x1,x2)
Mir ist klar, wie die Sätze zu lesen sind. Außerdem wurde mir gesagt, dass eine Aussage nur dann wahr sei, wenn sie immer wahr ist. Nur auf welche Aussage muss ich diese Grundregel nun anwenden, auf die gesamte Implikation, oder nur auf den ersten Teil (also dass x12=x2 sei)? Es ergeben sich da nämlich zum Teil ganz andere (widersprüchliche) Lösungen.
In der Musterlösung, die hierfür ausgeteilt wurde, stand folgendes:
(a) Sei falsch. Man müsse nur ein Gegenbeispiel dafür finden. Es wurde folgendes Beispiel gewählt: x1= 2^1/2 und x2=2. Damit ist x12=x2 wahr, aber 2^1/2 ∉ ℕ.Hier gibt die Musterlösung der Ganzheit der Implikation die Priorität.
(b) Sei wahr. Der einfachste Weg, eine Implikation wahr zu machen, sei, die Aussage vor der Implikation (gemeint ist: vor dem Implikationszeichen) falsch zu machen (diese Aussage widerspricht doch aber dem Grundsatz, dass eine Aussage immer wahr sein muss, um wahr zu sein). Man müsse sich zu jeder reellen Zahl nur eine natürliche Zahl suchen, die nicht das Quadrat ersterer sei. Hierzu wird kein konkretes Beispiel gegeben.Hier gibt die Musterlösung dem ersten Teil der Implikation Priorität. Bzw. sie versucht um jeden Preis, die Gesamtaussage wahr zu machen, wendet also den Grundsatz „wahr ist nur wahr, wenn immer wahr“ nicht auf die ganze Implikation an, sondern nur auf den ersten Teil (denn dieser ist unstrittig falsch, wie bei (a)). Man könnte allerdings auch hier z.B. x1=-3 und x2=9 wählen, dann wäre die Gesamtaussage ja wieder falsch und da es diese Möglichkeit gibt, ist sie nicht immer wahr!?
© Sei wahr. Man nehme eine reelle Zahl, damit x12=x2 für alle natürlichen Zahlen falsch ist (es wurde x1=1/2 gewählt). Meine Lösung: Man setze x1=1 und x2=7, wertet der Korrektor als nicht vollständig richtig und gibt nur einen halben Punkt (was ich auch nicht verstehe, denn x12 muss ja für alle natürlichen Zahlen x2 sein, also auch für die 7).Hier wird wieder aus Sicht der kleinsten Einheit, des ersten Teils der Implikation gewertet.
(d) Sei wahr, da ein Spezialfall der beiden vorherigen Teilaufgaben.Auch hier ließe sich mit z.B. x1= -2 die Hauptaussage widerlegen. Das heißt, sie ist nicht immer wahr.
(e) Sei wahr. Man solle auch hier versuchen den Teil vor der Implikation (gemeint ist: vor dem Implikationszeichen) falsch zu machen. Es wird wieder x1=1/2 gewählt.Hier habe ich gleich eine doppelte Verwirrung:Zum einen wird hier von der zweiten Variablen aus argumentiert (also vom zweiten Quantor aus?), obwohl der erste Satz der Musterlösung heißt: „Frei gelesen: Egal welche natürliche Zahl ich, ich kann dazu eine reelle finden, die die Aussage wahr macht“Zum Anderen müsste die Lösung aus Sicht des ersten Teils der Implikation doch so lauten: Für jedes x2 ∈ ℕ existiert ein x1 ∈ ℝ, das mit sich selbst multipliziert x2 ergibt, da x2^1/2 immer ∈ ℝ. Aber x1 ist nicht immer ∈ ℕ (z.B: x2=2, x1=2^1/2). Die Musterlösung muss hier also wieder der Gesamtimplikation Priorität geben.
(f) Sei wahr. Man müsse hier aufpassen, denn für den Fall, dass x12=x2 ist müsse auch gelten, dass x1 eine natürliche Zahl ist. Das sei z.B. bei x2=4 der Fall, denn wenn x1 ≠2 ist, dann sei x12=x2 falsch und somit die Implikation wahr, und wenn x1=2 gelte, stimme x12=x2 und x1 sei eine natürliche Zahl. Somit sei die Aussage wahr.Hier wird offensichtlich auch wieder „down-up“ argumentiert, also vom ersten Teil der Implikation aus.
Was ist denn nun richtig: „up-down“ zu argumentieren (vom Gesamten aufs Konkrete zu schließen), oder „down-up“ (vom kleinsten Teil zum Ganzen zu schließen)? Oder ist der Ansatz gar, dass man versucht überall den Wahrheitswert wahr rauszuholen wo möglich, bzw. überall falsch?
Ich weiß, dass war viel Text, aber ich hatte Angst mich unklar auszudrücken.
Vielen Dank für eure Hilfe,Matthias