Hallo Sarah,
x|y bedeutet x ist Teiler von y
a) ∀n∈ℤ (2|n ∧ 3|n) → 6|n
b) Negation:
∃n∈ℤ 2|n ∧ 3|n ∧ 6 ist kein Teiler von n [ | durchgestrichen ]
Es gibt eine ganze Zahl, die durch 2 und durch 3 teilbar ist, nicht aber durch 6.
c) Kontraposition:
∀n∈ℤ 6 ist kein Teiler von n → 2 ist kein Teiler von n ∨ 3 ist kein Teiler von n
Für jede ganze Zahl n gilt: Wenn n nicht durch 6 teilbar ist, dann ist n nicht sowohl durch 2 als auch durch 3 teilbar.
Gruß Wolfgang
