Allquantor

Neue Frage »

wolle64 Auf diesen Beitrag antworten »
Allquantor
Hi,

gegeben ist die Aussage: Alle Münchner sind Bayern
Dazu die Formalschreibweise mit Quantoren:



Meines Erachtens ist die Formalschreibweise falsch und müsste so aussehen:



Liege ich da richtig? Falls nicht, kann mir das jemand erklären?

MfG Wolle
kiste Auf diesen Beitrag antworten »

Unter der Annahme das M und B Prädikaten sind, sind beide Schreibweisen falsch.

Wie wäre es eher mit:

M die Menge der Münchner, B die Menge der Bayern
wolle64 Auf diesen Beitrag antworten »

Zitat:
Original von kiste
Unter der Annahme das M und B Prädikaten sind, sind beide Schreibweisen falsch.

Wie wäre es eher mit:

M die Menge der Münchner, B die Menge der Bayern


Was bedeutet denn der Doppelpunkt (smile in der Aussage?
Meine Aussage habe ich von:
http://de.wikipedia.org/wiki/Allquantor
Ist denn alles falsch, was in dem Artikel steht?

MfG Wolle
kiste Auf diesen Beitrag antworten »

Der Doppeltpunkt heißt "gilt".

Man könnte es auch so schreiben: .

Über die Richtigkeit will ich bei dem Artikel nicht urteilen, immerhin können sie Konventionen benutzen dir mir schlicht nicht bekannt sind. Aber falls man es so schreibt, würde ich deinem Vorschlag zur Schreibweise mehr zustimmen Augenzwinkern
Dual Space Auf diesen Beitrag antworten »

Zitat:
Original von wolle64
Meine Aussage habe ich von:
http://de.wikipedia.org/wiki/Allquantor
Ist denn alles falsch, was in dem Artikel steht?


Ob es falsch ist weiß ich auch nicht, dafür ist mit die Prädikatenlogik ein zu schwieriges Feld, aber eines ist der Artikel ganz sicher: nicht zu empfehlen, wenn man sich für allgemeine (und bekannte) Schreibweisen interessiert.
Tobias Auf diesen Beitrag antworten »

Das Zeichen drückt hier keine Teilmengenbeziehung aus (was ja auch syntaktisch falsch wäre) sondern ist ein Synonym für .

Also:



http://de.wikipedia.org/wiki/Implikation...und_Sprechweise
 
 
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »