| Autor |
Beitrag |
    
corvus
| | Veröffentlicht am Dienstag, den 14. November, 2000 - 23:43: | 
|
Legende: /x\ => Allquantor
\x/ => Existenzquantor
-> Implikation
c_ Teilmenge
/\ logisches Und
Universum ist die Euklidische Ebene.
Individuenvariablen sind Punkte und Geraden die Teilmengen der Ebene sind.
Wobei P(x) := /y\ (y c_ x -> y = x), also Punkt in Euklidischer Ebene.
G(x) := NOT P(x), also Gerade, da kein Punkt.
Mein Verbaler Ansatz: Ist Gerade durch zwei Punkte
Im Moment streiten wir noch, ob es nicht vielleicht eine Gerade durch einen Punkt sein muß, weil in G(z) ein Punkt z eingesetzt werden muß und somit x und y Teilmenge eines Punktes sind, d.h. x und y identisch sind. Begründet wird dies mit dem analogen Vorgehen bei der Definition von P(x). Ich hoffe jedoch, daß man G(z) einfach als eine Gerade betrachten kann.
Wie ist dieses Problem korrekt anzugehen? |
Zaph (Zaph)
| | Veröffentlicht am Donnerstag, den 16. November, 2000 - 20:37: |
|
Kannst du bitte dein Problem noch mal vernünftig darlegen? Ich habe deine Frage nicht verstanden.
Was ich verstanden habe:
P(x) genau dann wenn x Punkt,
G(x) genau dann wenn x Gerade.
Danach kann ich nicht mehr folgen ... |
Zaph (Zaph)
| | Veröffentlicht am Donnerstag, den 16. November, 2000 - 20:45: |
|
Oh, jetzt habe ich die Überschrift gelesen!
In
/x\ /y\ ( P(x) /\ P(y) -> \z/ ( x c_ z /\ y c_ z /\ G(z) )
wüde ich erst einmal zusätzliche Klammern setzen:
/x\ /y\ ( (P(x) /\ P(y)) -> \z/ ( x c_ z /\ y c_ z /\ G(z) )
Verbale Formulierung:
Zu je zwei Punkten gibt es eine Gerade, die diese Punkte enthält. |
corvus
| | Veröffentlicht am Sonntag, den 19. November, 2000 - 02:18: |
|
Hat sich vorher erledigt ... lag zum Glück richtig.
Trotzdem danke!
Eigentlich wollte ich ja mal in der Forumshilfe nach den Sonderzeichen schauen, aber irgendwie lassen sich die PDF-Dateien bei mir nicht anzeigen. Schade ... also weiterhin nur Standardzeichen. |
|
