hallo.
ich kam am donnerstag leider zu spät zur vorlesung…

hat frau eschenbach etwas zum neuen aufgabenzettel gesagt.
(bspw. was sie unter klassischen junktoren versteht?)

danke

und soll man sich bei aufgabe 1 auf lukasiewicz, kleene oder bochvar beziehen???

Gib mal nen Link zu dem Aufgabenblatt. Die klassischen Junktoren sind wahrschein Negation, Konjunktion, Disjunktion und Implikation. Ist jetzt aber nur so ins blaue reingeraten.

das ist der link:
LOS - Aufgabe 2

soll man bei aufgabe zwei die schwache und die starke termination beweisen?

Mit klassischen Junktoren sind die Junktoren der klassischen zweiwertigen Logik gemeint.