Matroids Matheplanet Forum Index
Moderiert von mire2 StrgAltEntf
Logik, Mengen & Beweistechnik » Prädikatenlogik » Aussagen mit Quantoren erstellen...
Autor
Universität/Hochschule Aussagen mit Quantoren erstellen...
Dani_B84
Neu Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 09.10.2017
Mitteilungen: 4
  Themenstart: 2017-10-09

Hallo zusammen, ich vermute ja eher, dass ich einfach zu blöd dafür bin. Wir sollen folgende Aussagen in der Sprache der Logik unter Verwendung der logischen Quantoren angeben. Ich weiß aber einfach nicht, wie ich es schreiben muss... - zu jeder beliebigen natürlichen Zahl lässt sich immer eine größere Zahl finden, die durch 3 teilbar ist - Das Quadrat jeder beliebigen reellen Zahl ist größer gleich Null - Zwischen je zwei reellen Zahlen liegt eine dritte - Es existieren natürliche Zahlen, die sowohl durch 2 als auch durch 3 teilbar sind. Vielleicht hat ja jemand einen Tipp, wie man sich das besser vorstellen kann bzw. zu Papier bringen kann. Vom logischen her weiß ich was gemeint ist, aber ich weiß nicht wie ich es hinschreiben soll... Danke im Voraus Dani


   Profil
darkhelmet
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 05.03.2007
Mitteilungen: 2684
Wohnort: Bayern
  Beitrag No.1, eingetragen 2017-10-09

Hallo Dani, herzlich willkommen! Die zweite von deinen Aussagen scheint mir am einfachsten zu sein. Wenn dir gesagt wurde, was Quantoren sind, müsstest du das hinkriegen. Schreib doch mal deinen Versuch hier rein, oder schildere genauer, woran es scheitert. Ein Zwischenschritt könnte sein, die Aussagen in natürlicher Sprache umzuschreiben unter Verwendung der Phrasen "für alle" und "es existiert".


   Profil
BerndLiefert
Senior Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 21.10.2014
Mitteilungen: 437
Wohnort: Lehramtplanet
  Beitrag No.2, eingetragen 2017-10-09

Geh die Aussagen doch schrittweise durch und überlege, wie man die Teile formalisieren kann. "zu jeder beliebigen natürlichen Zahl" Wie lässt sich das mit Quantoren ausdrücken? "lässt sich immer eine größere Zahl finden" Wie lässt sich das mit Quantoren ausdrücken? "die durch 3 teilbar ist" Wie kann man das formalisieren? [Die Antwort wurde vor Beitrag No.1 begonnen.]


   Profil
Dani_B84
Neu Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 09.10.2017
Mitteilungen: 4
  Beitrag No.3, vom Themenstarter, eingetragen 2017-10-09

das zweite finde ich ja auch noch relativ logisch... Da hätte ich als Antwort: Allquantor x²>=0 (x aus reellen Zahlen) bei der ersten Frage hätte ich mir sowas gedacht wie: Allquantor x < y|3 (x aus natürlichen Zahlen) liege ich hiermit komplett falsch? LG [Die Antwort wurde nach Beitrag No.1 begonnen.]


   Profil
StrgAltEntf
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 19.01.2013
Mitteilungen: 8301
Wohnort: Milchstraße
  Beitrag No.4, eingetragen 2017-10-09

\quoteon(2017-10-09 22:21 - darkhelmet in Beitrag No. 1) Ein Zwischenschritt könnte sein, die Aussagen in natürlicher Sprache umzuschreiben unter Verwendung der Phrasen "für alle" und "es existiert". \quoteoff Außerdem solltest du den Zahlen Namen geben. Also etwa - zu jeder beliebigen natürlichen Zahl x lässt sich immer eine größere Zahl y finden, die durch 3 teilbar ist - Zwischen je zwei reellen Zahlen x und y liegt eine dritte Zahl z [Die Antwort wurde nach Beitrag No.1 begonnen.]


   Profil
Linkddd
Ehemals Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 29.11.2015
Mitteilungen: 305
  Beitrag No.5, eingetragen 2017-10-09

Vielleicht noch, was Aussage 1) und 4) betrifft. Du suchst dir für die Aussagen immer einen "Vertreter" und nennst den i.d.R. "n" für eine natürliche Zahl. Für 2) und 3) brauchst du "Vertreter" der reelen Zahlen, nach Möglichkeit dann "r". Übrigens hilft "Logik", als solche bei dieser Aufgabe nicht weiter. Man kann auch falsche Aussagen mit Quantoren formulieren. "Jede natürliche Zahl ist durch zwei teilbar", wäre zwar nicht richtig, aber könnte man trotzdem mit Quantoren ausformulieren. Viel Erfolg und willkommen auf dem MP. LG Linkd. [Die Antwort wurde nach Beitrag No.1 begonnen.]


   Profil
m43Felix
Ehemals Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 09.10.2017
Mitteilungen: 30
  Beitrag No.6, eingetragen 2017-10-09

Hab zufällig die selben Aufgaben gestellt bekommen und mich einfach mal drübergetraut - das Ergebnis würde ich gerne zur Diskussion stellen :-D


   Profil
m43Felix
Ehemals Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 09.10.2017
Mitteilungen: 30
  Beitrag No.7, eingetragen 2017-10-09

Hab zufällig die selben Aufgaben gestellt bekommen und mich einfach mal drübergetraut - das Ergebnis würde ich gerne zur Diskussion stellen :-D http://matheplanet.com/matheplanet/nuke/html/uploads/b/48738_1_1dropbox.png


   Profil
Linkddd
Ehemals Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 29.11.2015
Mitteilungen: 305
  Beitrag No.8, eingetragen 2017-10-09

Hallo m43Felix, das sieht schon ganz gut aus. Die geschweiften Klammern x,y aus N/R in 1) und 3) musst du noch beseitigen. Du darfst die Herkunft von x und y direkt hinter sie in der Quantorendarstellung schreiben. Ich weiß nicht, ob bei euch deine Schreibweise zulässig ist, aber ich würde sie als eher "unschön" bezeichnen. :) Edit: Und in 4) ist das "|" falsch. LG Linkd.


   Profil
m43Felix
Ehemals Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 09.10.2017
Mitteilungen: 30
  Beitrag No.9, eingetragen 2017-10-09

Hallo Linkd, Danke für dein Feedback! - Wäre es somit richtig, jedem Quantor die Herkunft "anzuhängen", wie unten von mir mal versucht? http://matheplanet.com/matheplanet/nuke/html/uploads/b/48738_D4.png lg Felix Edit: bei III) habe ich wohl das "e" vergessen, sorry !


   Profil
Linkddd
Ehemals Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 29.11.2015
Mitteilungen: 305
  Beitrag No.10, eingetragen 2017-10-09

Das grundsätzliche Verständnis sieht gut aus. :) Bei 3) fehlt dir ein "Element von"-Zeichen und x_1 und x_2 haben keine Herkunft. Bei 1), 2) und 4) würde ich deine Lösung abnicken. LG Linkd.


   Profil
m43Felix
Ehemals Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 09.10.2017
Mitteilungen: 30
  Beitrag No.11, eingetragen 2017-10-09

Super, danke ! :-)


   Profil
Dani_B84
Neu Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 09.10.2017
Mitteilungen: 4
  Beitrag No.12, vom Themenstarter, eingetragen 2017-10-09

Jetzt bin ich auch um einiges schlauer. Vielen Dank für die Hilfe!


   Profil
Bernhard
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 01.10.2005
Mitteilungen: 6830
Wohnort: Merzhausen, Deutschland
  Beitrag No.13, eingetragen 2017-10-09

Hallo Felix & Dani! Euch beiden ein herzliches Willkommen bei uns auf dem Matheplaneten! Die Aufgabe Nr. 3 ist etwas unglücklich gestellt. Statt "Zwischen je zwei reellen Zahlen liegt eine dritte" Müßte es eigentlich heißen: "Zwischen zwei nichtgleichen reellen Zahlen liegt immer eine dritte (und damit beliebig viele weitere!)" Deshalb würde ich folgende Lösung empfehlen: \forall\ x_1, x_2 \el\ \IR, x_1 != x_2 \exists\ y \el\ \IR : x_1 < y < x_2 Viele Grüße, Bernhard [Die Antwort wurde nach Beitrag No.8 begonnen.]


   Profil
m43Felix
Ehemals Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 09.10.2017
Mitteilungen: 30
  Beitrag No.14, eingetragen 2017-10-09

Leider bin ich nun völlig verunsichert, wie ich bei III) die Herkunft angeben könnte. Wäre eine Angabe wie mit einem Indizes möglich, bzw folgende Teilaussage: Für alle xi Element R gibt es ein y Element R, sodass gilt: Danke nochmal für deine Hilfe ! :-) :-) [Die Antwort wurde nach Beitrag No.11 begonnen.]


   Profil
m43Felix
Ehemals Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 09.10.2017
Mitteilungen: 30
  Beitrag No.15, eingetragen 2017-10-09

Habe die neue Antwort jetzt erst gesehen, und muss mich wirklich herzlich bedanken für die große Unterstützung ! Auf zu den Physik- und Mechanik- Übungsaufgaben... http://matheplanet.com/matheplanet/nuke/html/images/forum/subject/zzzdrink.gif http://matheplanet.com/matheplanet/nuke/html/images/forum/subject/zzzdrink.gif Lg Felix


   Profil
Bernhard
Senior Letzter Besuch: in der letzten Woche
Dabei seit: 01.10.2005
Mitteilungen: 6830
Wohnort: Merzhausen, Deutschland
  Beitrag No.16, eingetragen 2017-10-09

Hallo Felix! In Deinem Beitrag Nr 9 kann die Lösung von Frage 3 aber nicht stimmen. Es war doch oben von reellen Zahlen die Rede! Du verwendest hier aber in der Mengendefinition die Natürlichen Zahlen. Dort gilt diese Aussage überhaupt nicht! Viele Grüße, Bernhard [Die Antwort wurde nach Beitrag No.13 begonnen.]


   Profil
m43Felix
Ehemals Aktiv Letzter Besuch: vor mehr als 3 Monaten
Dabei seit: 09.10.2017
Mitteilungen: 30
  Beitrag No.17, eingetragen 2017-10-10

Habe es ferade gesehen, danke noch einmal für deinen Hinweis ! :)


   Profil
Dani_B84 hat die Antworten auf ihre/seine Frage gesehen.
Dani_B84 hatte hier bereits selbst das Ok-Häkchen gesetzt.
Dani_B84 wird per Mail über neue Antworten informiert.

Wechsel in ein anderes Forum:
 Suchen    
 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2023 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]