Ich habe noch eine Frage und zwar verstehe ich diese Aufgabe überhaupt nicht:
a|b ∧ b ≠ 0 ⇒ (a = ±b) v (|a|<|b|)
auch hier sind a und b wieder ganze Zahlen, aber wie beweise ich die obige Aussage mathematisch korrekt. Ich stehe hier komplett an. Tut mir leid das ich in so kurzer Zeit noch eine Frage stellen muss, aber ich will dieses Thema verstehen, damit ich mich dabei sicher fühle.
Danke nochmals.