Welche beiden Teilbereiche bzw. Sprachen zählen zur Logik und wie stehen diese zueinander?

Was ist die Syntax einer Sprache?

Was sind die sogenannten "Atome" in der Logik?

Mit welchen Symbol wird die Menge der Elementaraussagen (bzw. Atome) in der Logik bezeichnet?

Wodurch werden die Elementaraussagen miteinander verknüpft bzw. negiert?

Welche Junktoren gibt es?

Was entsteht aus der Verknüpfung aus Atomen (Elementaraussagen) und Junktoren ?

Wie werden Aussagenlogische Formeln definiert?

Wozu dienen die sogenannten Präzedenzregeln?

Was bindet stärker nach den Präzedenzregeln:
Konjunktion oder Negation?

Was bindet mehr ?
Konjunktion oder Disjunktion?

Was bindet mehr?
Disjunktion oder Implikation?

Was bindet stärker:
Äquivalenz oder Implikation?

Nenne die einzelnen Junktoren sortiert nach der Stärke ihrer Bindung (Präzedenzregeln)

Wann bindet eine Operation "linksassoziativ"?

Wann bindet eine Operation "rechtsassoziativ"?

In welche Richtung binden die Junktoren:
\( \wedge, \vee und \to \) ?

Muss das Äquivalenzzeichen geklammert werden?

Wann können Klammern, die Formeln umfassen weggelassen werden?

Wie wird die Menge der Atome in einer Formel \( \alpha \) bezeichnet?

Was ist ein Literal?

Was ist ein positves Literal?

Was ist ein negatives Literal?