Henkin Theorie < Prädikatenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 19:35 So 10.11.2013 | | Autor: | Haeger |
| Aufgabe | Sei L eine prädikatenlogische Sprache, und sei [mm] \Sigma [/mm] eine konsistente Henkin-Theorie in der Sprache L mit der folgenden Eigenschaft:
Für alle Konstantensymbole c, d in L gilt entweder [mm] \Sigma [/mm] |- c = d oder [mm] \Sigma [/mm] |- c [mm] \not= [/mm] d.
Weiters habe [mm] \Sigma [/mm] die Eigenschaft, dass es zwei Konstantensymbole 0, 1 mit [mm] \Sigma [/mm] |- 0 [mm] \not= [/mm] 1 gibt.
Zeigen Sie, dass [mm] \Sigma [/mm] vollständig sein muss. |
Hey alle zusammen.
Ich denke, dass dieses Beispiel nicht allzu schwer sein sollte. Ich persönlich komme aber leider noch nicht wirklich gut mit dem Begriff der Henkin Theorie klar.
Für Hilfe wäre ich äußerst dankbar
lg Haeger
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 20:20 Di 12.11.2013 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
