Reihenfolge bei Auswertung < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | | (A-->B-->C) ==> (A-->B)-->C oder A-->(B-->C) |
Hallo zusammen!
Ich bin gerade am überlegen, welche der beiden Interpretationen richtig ist ... Es wäre sehr schön wenn mir jemand sagen kann.
Es ist keine Aufgabe, eher eine Verständnisfrage.
Mit --> ist Implikation gemeint.
Vielen Dank im Voraus!
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 09:54 So 27.01.2008 | | Autor: | koepper |
Hallo,
> (A-->B-->C) ==> (A-->B)-->C oder A-->(B-->C)
> Hallo zusammen!
> Ich bin gerade am überlegen, welche der beiden
> Interpretationen richtig ist ... Es wäre sehr schön wenn
> mir jemand sagen kann.
die Überlegung kannst du dir ersparen 
Der linke Ausdruck ist in der Syntax der Aussagenlogik unzulässig, daher erübrigt sich im Prinzip auch eine Interpretation.
Heilen könnte man den Mangel allerdings mit Hilfe sog. Klammerersparnisregeln. Die sind reine Vereinbarungssache und werden von den Prof.s in ihren Vorlesungen festgelegt.
Für den obigen Fall wäre das aber eher ungewöhnlich.
Beachte außerdem: $A [mm] \to [/mm] (B [mm] \to [/mm] C) [mm] \leftrightarrow (A \wedge B) \to C$
Gruß
Will
[/mm]
|
|
|
|
