Definition Existenzquantor |
| 17.09.2012, 13:45 | Colorite | Auf diesen Beitrag antworten » | ||
| Definition Existenzquantor Mir ist aufgefallen, dass bei der mengentheoretischen Definition des Existenzoperators: Ex \el X: P(x) <-> {x \el X; P(x)} != {} wobei ich "E" für den Existenzquantor verwende und "!=" für ungleich steht, gar nicht der Quantor selbst definiert wird, sondern die ganze (wahrheitsfähige) Aussage "Ex \el X: P(x)"...? Nochmals danke euch |
||||
| 17.09.2012, 13:58 | weisbrot | Auf diesen Beitrag antworten » | ||
RE: Definition Existenzquantor
na was meinst du denn was der existenzoperator eigentlich ist? nicht nur das zeichen , sondern auch die freie stelle für variable und prädikat danach (hier x und P), und wenn man so will auch noch ein bereich (vllt. menge), aus dem x kommt (hier X), dann gehört das symbol auch dazu. war das deine frage 
lg |
||||
| 17.09.2012, 13:58 | Math1986 | Auf diesen Beitrag antworten » | ||
| RE: Definition Existenzquantor Ich verstehe die Frage nicht: Genau genommen definiert das die Ausage , das ist richtig. Dadurch ist aber auch der Existenzquantor in dem gegebenen Kontext definiert. |
||||
| 17.09.2012, 14:16 | Colorite | Auf diesen Beitrag antworten » | ||
Dann verstehst du ja aber meine Frage: In dem Fall ist es wie du schreibst also eine kontextuelle Definition. Ich finde schon, dass das nicht völlig unrelevant ist...wenn ich es mir jetzt überlege werden wahrscheinlich alle logische Zeichen kontextuell definiert - aber i.A. ist ja nicht jede Definition eine kontextuelle... |
||||
| 17.09.2012, 14:19 | Colorite | Auf diesen Beitrag antworten » | ||
(hah!weisbrot..was für ein Zufall..ich war grad eine Antwort von dir in einem anderen Forum am Lesen! Lg, M. 
|
||||
| 17.09.2012, 14:39 | Math1986 | Auf diesen Beitrag antworten » | ||
Ich bin mir nicht sicher, worauf diese frage genau abzielt. |
||||
| Anzeige | ||||
|
|
||||
|
|
Verwandte Themen
| Die Beliebtesten » |
|
| Die Größten » |
|
| Die Neuesten » |
|
