Folge von Implikationen < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 10:41 Di 28.10.2008 | | Autor: | ninime |
| Aufgabe | Machen Sie sich unter Benutzung einer Wahrheitstafel die folgende Implikation klar:
(p [mm] \Rightarrow [/mm] q) [mm] \wedge [/mm] (q [mm] \Rightarrow [/mm] r) [mm] \Rightarrow [/mm] (p [mm] \Rightarrow [/mm] r) |
Hallo zusammen,
ich habe die wahrheitstafel für alle w/f möglichkeiten von p,q,r für die Aussage
(p [mm] \Rightarrow [/mm] q) [mm] \wedge [/mm] (q [mm] \Rightarrow [/mm] r) durchgespielt und bin damit auch gut klargekommen.... aber jetzt hört es auf  ich weiß einfach nicht wie ich jetzt weiter vorgehen muss, damit am Ende die obige Aussage bewiesen ist.
Für Tipps wäre ich sehr dankbar.
Ich habe diese Frage auf keiner anderen Internetseite gestellt.
Grüße, ninime
|
|
| |
|
> Machen Sie sich unter Benutzung einer Wahrheitstafel die
> folgende Implikation klar:
>
> (p [mm]\Rightarrow[/mm] q) [mm]\wedge[/mm] (q [mm]\Rightarrow[/mm] r) [mm]\Rightarrow[/mm] (p [mm]\Rightarrow[/mm] r)
> Hallo zusammen,
>
> ich habe die wahrheitstafel für alle w/f möglichkeiten von
> p,q,r für die Aussage
> (p [mm]\Rightarrow[/mm] q) [mm]\wedge[/mm] (q [mm]\Rightarrow[/mm] r) durchgespielt
> und bin damit auch gut klargekommen.... aber jetzt hört es
> auf ich weiß einfach nicht wie ich jetzt weiter
> vorgehen muss, damit am Ende die obige Aussage bewiesen
> ist.
hallo ninime,
Schreib dir neben einer ersten Kolonne der Wahrheitswerte
für A: (p [mm]\Rightarrow[/mm] q) [mm]\wedge[/mm] (q [mm]\Rightarrow[/mm] r)
in einer zweiten Kolonne jene für B: (p [mm]\Rightarrow[/mm] r)auf.
Und dann in einer dritten Kolonne die Wahrheitswerte
für [mm] A\Rightarrow{B} [/mm] . Die sollten alle 1 ("wahr") sein.
LG
|
|
|
|
