Aussagen < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Prüfe die folgenden Aussagenverbindungen auf ihren Wahrheitswert:
a) ¬F ∧W ↔(W →F ∨ ¬W)
b) [(A → B) ∧ (B ↔C)]∨ B mit der Belegung
b = (w(A) = W,w(B) = F,w(C) = W |
Hi zusammen,
kann mir jemand bei diesen beiden Aufgaben helfen? Habe meine erste Vorlesung in Mathe hinter mich gebracht und das Gefühl ich verstehe nur Bahnhof. Wir haben ein paar Aufgaben bekommen, jedoch kann ich diese nicht wirklich beantworten. Der Lösungswen ist für mich nicht sinnvoll... Die Lösungen haben wir zwar bekommen, aber ich kommen nicht eigenständig drauf.
Kann mir jemand helfen?
Lg
Broker
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 11:26 Mi 14.09.2011 | | Autor: | DM08 |
Habt ihr die Wahrheitstafeln eingeführt ?
MfG
|
|
|
| |
|
Mit Wahrheitstafeln arbeiten wir nicht, diese sind zwar in unseren Skripten enthalten. Jedoch sollen wir diese nicht nutzen.
|
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 20:32 Mi 14.09.2011 | | Autor: | barsch |
Hallo,
bei so Aufgaben ist es als Außenstehender immer schwer zu helfen, finde ich. Man weiß nicht, was man voraussetzen darf. Wahrheitstafeln, wie von DM08 erwähnt, waren auch meine erste Idee. Meiner Meinung, schreit das sogar danach. Aber gut, warum einfach, wenn es auch umständlich geht. Aber da kannst du ja nichts für ![[grins]](/images/smileys/grins.gif "[grins]")
Ich musste auch erst mal nach der Bedeutung einiger (abgeleiteter) Operatoren sehen (sowas schreckt natürlich auch ab vor der Beantwortung - zu viel Arbeit ).
Ich kann auch nur zu Aufgabenteil a etwas sagen.
Tipp: Die ganzen abgeleiteten Operatoren auf die Verknüpfungen [mm]\neg,\vee,\wedge[/mm] zurückführen.
Vielleicht noch: F kann hier als falsch, W als wahr interpretiert werden.
> Prüfe die folgenden Aussagenverbindungen auf ihren
> Wahrheitswert:
> a) ¬F ∧W ↔(W →F ∨ ¬W)
Tipp: "Divide and conquer".
Betrachte [mm]\neg F \wedge W[/mm]
[mm]\neg F[/mm] = Nicht falsch = wahr
W = wahr
[mm]\neg F \wedge W = W[/mm]
Beim zweiten Teil ist die Frage, was wird zuerst ausgewertet? Welcher Operator "zieht" stärker. Mein Buch (Hoffmann, Grundlagen der Technische Informatik) sagt, [mm]\vee[/mm]zieht stärker als [mm]\to[/mm]. (Merke jetzt gegen Ende, dass es hier wohl egal ist!)
Also sei [mm]W \to F \vee \neg W=W \to (F \vee \neg W)[/mm]
Betrachte [mm](F \vee \neg W)[/mm]
[mm](F \vee \neg W)=(F \vee F)=F[/mm]
Betrachte nun: [mm]W \to (F \vee \neg W)=W \to F=F[/mm] (aus etwas Wahrem kann nichts falsches folgen)
Jetzt müsste am Ende stehen
[mm]W \gdw F[/mm]
Und was heißt das nun? Interpretation!
So würde ich es machen. Aber lieber kritisch mit dieser Antwort umgehen.
Gruß
barsch
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 11:20 Sa 17.09.2011 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
