beweis äquivalenz < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | ich habe mich schon immer gefragt,wie man dies ausser durch wahrheitstafeln beweisen soll:
(a [mm] \Rightarrow [/mm] b) [mm] \gdw [/mm] ( [mm] \neg [/mm] a [mm] \vee [/mm] b) (steht in meinem logikbuch) |
wie kann denn dann der fall a [mm] \wedge [/mm] b auf der rechten seite noch stimmen ,dass auf der linken ja der fall ist
ich hab mir schon wochenlang den kopf zerbrochen und rumprobiert aber alle meine versuche sind definitiv falsch/ unsinnig dies zu beweisen.
ich bin vom normalen axiomensystem der aussagenlogik ausgegangen.kann mir jeman helfen
|
|
| |
|
Hallo pumpernickel,
Du hast da irgendwo einen Denkfehler.
> ich habe mich schon immer gefragt,wie man dies ausser durch
> wahrheitstafeln beweisen soll:
Was ist denn an Wahrheitstafeln auszusetzen?
Die klassischen Umformungen passen hier ja nicht, es sei denn man setzt gerade die Behauptung als wahr (was man dann wohl ein Axiom nennt).
> (a [mm]\Rightarrow[/mm] b) [mm]\gdw[/mm] ( [mm]\neg[/mm] a [mm]\vee[/mm] b) (steht in meinem
> logikbuch)
Ja, logisch. 
> wie kann denn dann der fall a [mm]\wedge[/mm] b auf der rechten
> seite noch stimmen ,dass auf der linken ja der fall ist
Wieso, stimmt doch? Bei [mm] a\wedge{b} [/mm] muss ja $b$ wahr sein, damit die Aussage wahr ist. Wenn aber $b$ wahr ist, dann auch [mm] \neg{a}\vee{b}.
[/mm]
> ich hab mir schon wochenlang den kopf zerbrochen und
> rumprobiert aber alle meine versuche sind definitiv falsch/
> unsinnig dies zu beweisen.
Zeig mal.
> ich bin vom normalen axiomensystem der aussagenlogik
> ausgegangen.kann mir jeman helfen
Grüße
reverend
PS: Das hier ist übrigens ein Lieblingsthema von Marcel. Vielleicht stupst Du den mal an...
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 02:01 Mi 11.12.2013 | | Autor: | DieAcht |
Hallo,
> PS: Das hier ist übrigens ein Lieblingsthema von
> Marcel.
> Vielleicht stupst Du den mal an...
Marcel's Artikel darüber!
Gruß
DieAcht
|
|
|
|
