Prädikatenlogik - unendliches Universum |
19.10.2009, 15:40 | Isomorphismus | Auf diesen Beitrag antworten » |
Prädikatenlogik - unendliches Universum Ich stecke bei folgender Aufgabe: Zeige: "Das Universum ist unendlich" ist durch eine Satzmenge beschreibbar, aber nicht durch einen einzelnen Satz. Meiner Meinung nach kann man diese unendliche Satzmenge angeben, dies wäre dann die Menge { "Das Universum hat mind. 2 Elemente", "Das Universum hat mind. 3 Elemente",....} und diese Sätze kann man ja schön in der Prädikatenlogik formulieren. Aber bei einem einzelnen Satz - wie soll ich das zeigen? Habt ihr vielleicht Ideen? Vielen Dank für Eure Hilfe, Iso |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|