Aussageformen bestimmen < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 17:12 So 25.07.2010 | | Autor: | xgizmo |
| Aufgabe | Man gebe Aussageformen A(n) und B(n) über IN an, so dass
(Für alle n: A(n)) <-> (Für alle n: B(n)) wahr, aber
Für alle n: (A(n) <-> B(n)) falsch ist.
|
Ich habe jetzt erstmal für A(n):= n ist ungerade
für B(n):= n²>n
D.g. (für alle n: n ist ungerade) <-> (Für alle n:n²>n ) <=>
(falsch) <-> (falsch) da die Aussagen ja im einzelnen nicht wahr sind, aber
insg. wahr wegen (f<->f)
für das andere: Für alle n: ( n ist ungerade <-> n²>n) insg. falsch.
gilt für 1 nicht. also ings. falsch (w<->f) <=> falsch
stimmt das denn so??
Und wie könnte man das vernünftig aufschreiben?
Danke im vorraus...
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 17:20 Mi 28.07.2010 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
