Mathematik online lernen im Mathe-Forum. Nachhilfe online
Startseite » Forum » Aussagenschema wahr oder falsch?

Aussagenschema wahr oder falsch?

Universität / Fachhochschule

Tags: Aussagenlogik, Aussagenschema

 
Antworten Neue Frage stellen Im Forum suchen
Neue Frage
Sophia77

Sophia77 aktiv_icon

22:46 Uhr, 29.10.2024

Antworten
Hallo, heute „fordere ich mein Glück heraus“ und stelle noch zu einer letzten Aufgabe eine Frage. Dabei geht es darum, zu entscheiden, ob die Aussagenschemata wahr sind.
Dabei gilt:
A(x)=x ist eine Primzahl,
B(x)=x ist eine gerade Zahl,
C(x)=x>2

Entscheide, ob folgende Aussagen wahr sind und begründe jeweils deine Entscheidung:
(a) B(3)B(5)
(b) C(1)A(2)
(c) n:(¬B(n)B(n+1))
(d) n:(A(n)B(n)C(n)),

Meine Lösung:
Zu Aussage (a):B(x) bedeutet, dass x eine gerade Zahl ist.

B(3) ist keine gerade Zahl. Folglich ist B(3) falsch.
B(5):5 ist ebenso keine gerade Zahl. Folglich ist auch B(5) falsch.
Da B(3)B(5) nur dann wahr ist, wenn beide Aussagen wahr sind, ist B(3)B(5) falsch.

Mein Lösungsversuch zu (b):C(1) bedeutet 1>2. Diese Aussage ist falsch. Die Implikation C(1)A(2) ist per Definition immer wahr, wenn C(1) falsch ist.
Da C(1) falsch ist, ist folglich die Implikation C(1)A(2) wahr.

Mein Lösungsversuch zu (c):B(n+1): Wenn n gerade ist, dann ist n+1 ungerade (und umgekehrt). ¬B(n)B(n+1) bedeutet, dass n ungerade ist, genau dann, wenn n+1 gerade ist.
Diese Aussage stimmt, weil jede ungerade Zahl um 1 erhöht eine gerade Zahl ergibt. Außerdem ergibt jede gerade Zahl um 1 erhöht eine ungerade Zahl.

Mein Lösungsversuch zu (d): Laut Aussage soll eine Zahl n existieren, die eine Primzahl ist, die gleichzeitig eine gerade Zahl und größer als 2 ist.
Die einzige gerade Primzahl ist die Zahl 2. Die Zahl 2 erfüllt jedoch die Bedingung n>2 nicht. Die Aussage ist folglich falsch.

Sind meine Entscheidungen/Begründungen so in Ordnung?

Nochmals lieben Dank an alle :-)

Sophia

Für alle, die mir helfen möchten (automatisch von OnlineMathe generiert):
"Ich möchte die Lösung in Zusammenarbeit mit anderen erstellen."
Online-Nachhilfe in Mathematik
Antwort
calc007

calc007

08:58 Uhr, 30.10.2024

Antworten
Hallo
Wir wollen ahnen, dass du dich im Bereich der ganzen Zahlen, die Aussage A gar im Bereich der natürlichen Zahlen bewegst.

Deine Lösungen sind richtig.

Hmmm, deine Begründung zu b) finde ich ein wenig umständlich.
Ich hätte gesagt:
A(2) ist stets wahr. Das gilt unabhängig vom Wetter, von den Lottozahlen oder von C(1).

Antwort
mathadvisor

mathadvisor aktiv_icon

12:28 Uhr, 30.10.2024

Antworten
Man braucht hier keine Angabe, in welchem Zahlenbereich man sich befindet. Die Aussageformen kann man immer formulieren und in der Auswertung ist ja ein Zahlenbereich genannt.
Bei a) kann man abkürzen: Da B(3) falsch ist, ist die ganze Aussage falsch, man braucht B(5) nicht zu prüfen.
b) hätte ich genauso gemacht, kürzer geht es nicht, C(1) falsch, fertig.
Antwort
HAL9000

HAL9000

13:01 Uhr, 30.10.2024

Antworten
Ja, bei (b) ist es eigentlich egal, ob man nun eine "verkürzte" Auswertung über C(1)=f (wie Sophia77) oder aber über A(2)=w (wie calc007) präferiert, ich sehe da keinen wesentlichen Unterschied im Aufwand.

Frage beantwortet
Sophia77

Sophia77 aktiv_icon

16:13 Uhr, 30.10.2024

Antworten
Vielen lieben Dank euch! Ihr seid mir wirklich eine große Hilfe, da ich mir bezüglich meines Vorgehens noch sehr unsicher bin.

Liebe Grüße
Sophia