Aussagenlogik < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | 2 Aufgaben :
Die folgenden Aussagen aus einem Zooloiebuch seien als wahr vorrausgesetzt:" Jede ungebrochselte Kalupe ist dorig und jede foberante Kalupe ist dorig. In Quasiland gibt es sowol dorige als auch undorige Kalupen."
Welche der nachstehenden Schlüsse über die Fauna von Quasiland sind zulässig?
a) Es gibt sowohl gebrochselte als auch ungebrochselte Kalupen.
b) Es gibt gebrochselte Kalupen.
c) Alle undorigen Kalupen sind gebrochselt.
d) Einige gebrochselte Kalupen sind unfoberant.
e) Alle gebrochselten Kalupen sind unfoberant.
Und Aufgabe 2:
Handelt es sich bei den folgenden Formulierungen um Aussagen oder Aussageformen ? Bestimmten Sie den Wahrheitswert von Aussagen, sowie mögliche Grundmengen und die darin enthaltenen Wahrheitsmengen bei Aussageformen.
a) Es gibt eine natürliche Zahl deren Quadrat -1 ist.
b) Ist die Katze ein Säugetier?
c) Freitag der 13. ist ein Unglückstag.
d) Jede Primzahl ist ungerade.
e) n ist eine Primzahl kleiner 10.
f) Mannheim ist eine große Stadt.
g) z liegt am Rhein
h) Wenn der Mond aus grünem Käse ist, dann ist 2 x 2 = 5
i) n ist die Summe zweier Primzahlen. |
SO nun meine Lsg.
Der Pfeil soll über p,q etc.. soll eigentlich ein Strich sein.
Aufgabe 1:
Kalupe
p : gebrochselt [mm] \overrightarrow{p} [/mm] : ungebrochselt
q: durig [mm] \overrightarrow{q} [/mm] : undurig
r : forberant [mm] \overrightarrow{r} [/mm] : unforberant
[mm] \overrightarrow{p} [/mm] => q GEHT q => [mm] \overrightarrow{p} [/mm] GEHT NICHT
[mm] \overrightarrow{q} [/mm] => p GEHT r => q geht
Es gibt Kalupen die Aussage q erfüllen.
Es gibt Kalupen die AUssage [mm] \overrightarrow{q} [/mm] erfüllen.
a) kann nicht abgeleitet werden
b) kann abgeleitet werden
c) kann abgeleitet werden
d) alle undorigen , gebrochselten Kalupen sind unforberant [mm] \overrightarrow{q} [/mm] => [mm] \overrightarrow{r}
[/mm]
e) kann nicht abgeleitet werden
Aufgabe 2:
a) Aussage falsch
b) keine Aussage, keine Aussageform
c) keine Aussage, keine Aussageform
d) falsche Aussage Gegenbeispiel: 2
e) Aussageform: Grundmenge aller Primzahlen n = [mm] \IN [/mm] Wahrheitsmenge = {2,3,5,7}
f) keine Aussage , keine Aussageform
Was ist eine große Stadt?
g) Aussageform Grundmenge : Menge aller deutschen Städte
Die Wahrheitsmenge umfasst Mainz, Bingen, Koblenz, Köln etc....
h) Aussage falsch
i) Aussageform Grundmenge a + b = Primzahl [mm] \forall [/mm] ( a,b [mm] \in \IN) [/mm] : a,b = eine Primzahl
|
|
| |
|
c) muss falsch sein.
solche rückschlüsse darf man nichtziehen.
|
|
|
| |
|
Bin ein bisschen verwirrt. Meinst du c) bei Aufgabe 1 oder 2 ?
|
|
|
|
