Wie kann man A ∧ B → C anders darstellen?

Question

Aufgabe:

Wie kann man folgende Formel anders darstellen?

A ∧ B → C

Problem/Ansatz:

Ist das dann

1. (A ∧ B) → C

oder

2. A ∧ (B → C)

Answer 1

Eher ist A ∧ B → C äquivalent zu (A ∧ B) → C. Laut Wikipedia:

In der Logik ist es nicht immer üblich, eine Operatorrangfolge zu definieren. Wo das geschieht, wird meistens (in absteigender Priorität) folgende gewählt:

1. Negation ¬
2. Konjunktion ∧
3. Disjunktion ∨
4. Konditional →
5. Bikonditional ↔