prädikat total < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
Status: |
(Frage) überfällig | Datum: | 16:37 Fr 08.12.2006 | Autor: | AriR |
Hey leute,
wir haben in der vorlesung gesagt, dass jedes prädikat immer total ist, da es entweder 0 oder 1 ist.
irgendwie verstehe ich das nicht so ganz, es kann ja sein, dass das prädikat bei der überprüfung seiner ihm übergebenen paramater nie zum ende kommt.
zB
angenommen man hat die menge
[mm] P(x)\gdw [/mm] h(x)=0 [mm] \gdw x\in\{x\in\IN | h(x)=0\}
[/mm]
und h(x) ist eine partielle funktion mit [mm] h:\IN\to_P\IN [/mm] partiell.
angemommen man hat nun [mm] x'\not\in [/mm] dom(h), d.h. h(x') terminiert nicht.
dann ist [mm] P(x')\gdw [/mm] h(x')=0 aber da man für h(x') nie einen wert bekommt kann man gar nicht entscheiden, ob nun h(x') irgendwann 0 ergibt und somit auch nicht ob [mm] x'\in\{x\in\IN | h(x)=0\}
[/mm]
somit wäre das Prädikat P nicht total oder sehe ich da irgendwas falsch?
wäre echt dankbar für jede hilfe.
Gruß Ari :)
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 17:20 Sa 16.12.2006 | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|