Implikation und Assoziativges. < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 13:45 Fr 22.10.2010 | | Autor: | fraiser |
| Aufgabe | Stellen Sie durch formale Begründung fest, ob das Assoziativgesetz für die Implikation gilt, d. h. ob gilt:
(A->B)->C=A->(B->C) |
Hi,
wie beginne ich eine solche Wahrheitstabelle mit 3 Aussagen?
Bis A und B komme ich, aber wie müsste das für C aussehen?
A | B | C | (A->B)->C | A->(B->C)
0 | 0 | ? ... ...
0 | 1 | ?
1 | 0 | ?
1 | 1 | ?
Vielen Dank!
MfG
fraiser
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 14:17 Fr 22.10.2010 | | Autor: | statler |
> Stellen Sie durch formale Begründung fest, ob das
> Assoziativgesetz für die Implikation gilt, d. h. ob gilt:
> (A->B)->C=A->(B->C)
Gemeint ist wohl (A->B)->C <=> A->(B->C)
Hallo!
> wie beginne ich eine solche Wahrheitstabelle mit 3
> Aussagen?
> Bis A und B komme ich, aber wie müsste das für C
> aussehen?
>
> A | B | C | (A->B)->C | A->(B->C)
> 0 | 0 | ? ... ...
> 0 | 1 | ?
> 1 | 0 | ?
> 1 | 1 | ?
Du hast in jedem dieser Fälle für C auch noch 2 Möglichkeiten: 0 oder 1. Das gibt dann in toto 8 Möglichkeiten zum Durchprobieren.
Gruß aus HH-Harburg
Dieter
|
|
|
|
