Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.
Da fehlt eine KLAMMER
ICH BIN EMPÖRT!
WIE SOLL ICH DAS BEARBEITEN?! ICH RASTE WORTWÖRTLICH AUS (da die Einrastfunktion auf längeren Passagen anstrengend wird).
In Assignment 8.3 wird die Formel “(A /\ B) => A /\ C)” beschrieben, welche syntaktisch natürlich überhaupt keinen Sinn ergibt. Ich bitte um sofortige Korrektur, anderenfalls fühle ich mich gezwungen härtere Maßnahmen zu ergreifen (unter Anderem wird die Einrastfunktion wieder in Gebrauch kommen).
Ist es nun
(1) (A /\ B) => A /\ (C)?
(2) (A /\ B) => (A /\ C)?
(3) ((A /\ B) => A /\ C)?
Wenn jetzt jemand sagt: (1) und (3) sind implizite Klammerung und sind daher auszuschließen.
Dann sage ich: (2) ist auch implizit schon geklammert, da der “=>” Operator schwächer bindet als "/".
Es ist hoffnungslos, KI ist zu schwer. Ich glaube ich werde dieses Fach doch nicht belegen können.
Frohe Weihnachten.
4 „Gefällt mir“
Selbst wenn ich nicht wüsste, wer du bist. Wüsste ich, wer du bist…
(4) C) ist ein Variablenname eines noch unbekannten Smileys!
1 „Gefällt mir“