Es gibt ganze Zahlen, die sich gegenseitig teilen, aber nicht gleich sind.

Question

∃ a,b € Z (ganze Zahlen) : ( a | b  b | a  a  b )

( Es gibt ganze Zahlen, die sich gegenseitig teilen, aber nicht gleich sind.)

Hinweis: Verwenden Sie für die Teilbarkeitsrelation die folgende Definition:

Für a, b € Z ist eine Relation in Z definiert durch.

a | b : ⇔ ∃ z € Z : a * z = b

Answer 1

Wähle b= - a, dann b≠a und für z=-1 gilt a * z = b.