Junktoren < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) überfällig  | | Datum: | 10:53 So 24.04.2016 | | Autor: | b.reis |
| Aufgabe | Gewichtigkeit
[mm] {\neg>\wedge>\vee>\Rightarrow>\gdw}
[/mm]
bei gleichen Junktoren wird links geklammert und nur bei den Pfeilen wird rechts geklammert
Machen sie alle impliziten klammern explizit.
[mm] {A\wedge B\gdw C\wedge E\Rightarrow D\vee E\wedge F} [/mm] |
Hallo und danke für die Hilfe.
Meine Lösung sieht so aus:
Da ich zwischen den verschiedenen Junktoren verschieden klammere, klammere ich zuerst links um sie [mm] \wedge \vee [/mm] Junktoren.
[mm] {(A\wedge B)\gdw (C\wedge E)\Rightarrow ((D\vee E)\wedge F)} [/mm]
Dann folgen die Klammern um die rechts zu klammernden Junktoren.
[mm] {((A\wedge B)\gdw ((C\wedge E)\Rightarrow ((D\vee E)\wedge F)))} [/mm]
Stimmt das so ?
Ich hab ein bisschen ein Problem damit wo ich die Klammern setzen soll, denn eigentlich könnte ich auch über den Junktor [mm] \Rightarrow [/mm] klammern
Für den gilt aber die Linksklammerung nicht, deswegen muss ich zwischen den beiden Junktoren Arten unterscheiden ???
Wenn ich nicht würde das so aussehen.
[mm] {((A\wedge B)\gdw C)\wedge E\Rightarrow D\vee E\wedge F}.
[/mm]
Ich muss also jeden durch Junktoren verbundenen Block für sich betrachten und neu entscheiden ob links oder rechts geklammert wird ???
Vielen Dank.
Benni
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 11:20 Di 26.04.2016 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
