Seite 1 von 1

Konventionen verwenden

Verfasst: 4. Mär 2018 13:54
von alzeha
Hallo,

wie kann ich beispielsweise bei der Aufgabe 3.3 erkennen, ob ich beispielsweise die Konvention Allquantor benutzen darf?

Bereits im Voraus vielen Dank für die Antwort.

Viele Grüße

Re: Konventionen verwenden

Verfasst: 4. Mär 2018 19:25
von Markus Tasch
Hallo,

mir ist die Frage nicht ganz klar. Was ist für dich die Konvention "Allquantor"?.

Falls es sich dabei um die in Modul 3 eingeführten vereinfachten Schreibweisen für Aussagenlogik und Prädikatenlogik handelt, dann darfst du die grundsätzlich benutzen außer es wird explizit im Aufgabentext ausgeschlossen.

Viele Grüße,
Markus

Re: Konventionen verwenden

Verfasst: 4. Mär 2018 19:51
von alzeha
Ja, das war die Frage. Ich habe nämlich die entsprechenden Übungsaufgaben nur mit Existenzquantor gelöst und war leicht überrascht, dass ich auch den Allquantor hätte verwenden dürfen.

Vielen Dank :)