Formalisieren und Lösen < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe 1 | Folgt (3) aus (1) und (2)?
(1)Wenn Sie Poke kaufen, sind sie cool
(2)Sie kaufen kein Poke
(3)Sie sind nicht cool |
| Aufgabe 2 | Weisen Sie nach, dass folgende Charakterisierung zu einem Widerspruch führt:
Wenn S ein Sandhaufen ist, so ist S', S'= S minus ein Sandkorn, ebenfalls ein Sandhaufen |
Hallo,
vielleicht kann mir jemand bei den 2 Aufgaben oben helfen.
Hab mich schon an beiden versucht und leider nicht die richtige Antwort raus bekommen.
Zu Aufgabe 1:
Ich weiß, dass (3) eben nicht aus (1) und (2) folgt.
Kann aber nicht nachvollziehen wieso.
Evt. weil man auch ohne "Poke" cool sein kann?
Wie kann ich das dann formalisieren?
Zu Aufgabe 2:
Hab es mit einer Wahrheitstabelle ausprobiert, welche dann zu einem Widerspruch geführt hat, dass war aber nicht der richige Lösungsweg.
Vielen Dank für eure Hilfe!
|
|
| |
|
Hi,
Formalisiert steht da:
[mm] (1) \wedge (2) \rightarrow (3) [/mm]
[mm] a \rightarrow b [/mm] ist äquivalent zu (nicht a) oder b (Kann man sich anhand einer Wahrheitstabelle überlegen).
Damit dürfte der Aufgabenteil 1 zu lösen sein.
|
|
|
| |
|
Eine korrekte Aussage wäre:
Wenn S ein Sandhaufen ist, dann auch S' = S + ein Sandkorn ein Sandhaufen.
Deine zu bearbeitende Aussage ist nicht richtig. Wenn man einen Sandhaufen mit 2 Körnern hat, dann ist S' kein Sandhaufen. Mit diesem Gegenbeispiel würde ich die Aufgabe lösen.
Fomalisiert lautet deine Aussage:
[mm] |S| > 1 \rightarrow |S| - 1 > 1 [/mm] was ja offensichtlich falsch ist für [mm]|S| = 2[/mm].
Hoffe ich konnte weiterhelfen, liebe Grüße.
|
|
|
|
