Error: 'identifier' expected < MuPad < Mathe-Software < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 11:06 So 02.11.2008 | | Autor: | MaKru |
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
MuPAD's Parser verhält sich seltsam. Auf der linken Seite einer Implitation akzeptiert er offenbar kein NOT.
mupad OK:
(a) -> (not b)
mupad Error: 'identifier' expected:
(not a) -> (not b)
Hat jemand eine Idee, wie ich MuPAD überzeuge, auch den zweiten Ausdruck zu akzeptieren? Für jeden Hinweis wäre ich dankbar.
Christian
|
|
| |
|
Also ich kenn mich mit MuPad nicht aus, aber vielleicht hilft es, wenn du einfach nur die Kontraposition (b) -> (a) eingibst.
MfG Sunny
|
|
|
|
