FÃ¼r $ x = 1 $: $ x \mid y \iff y = k \cdot 1 = k $, also $ y $ ist beliebig teilbar â $ y \mid x $? $ y \mid 1 $ â $ y = \pm1 $. Also $ x \mid y \Rightarrow y = \pm1 $, aber $ (\pm1) \mid 1 $: wahr. Also ja, $ x \mid y \Rightarrow y \mid x $ gilt.

February 22, 2026

$FÃ¼r $ x = 1 $: $ x \mid y \iff y = k \cdot 1 = k $, also $ y $ ist beliebig teilbar â $ y \mid x $? $ y \mid 1 $ â $ y = \pm1 $. Also $ x \mid y \Rightarrow y = \pm1 $, aber $ (\pm1) \mid 1 $: wahr. Also **ja**, $ x \mid y \Rightarrow y \mid x $ gilt.$

e 0 $. Also $ 0 \mid y $ ist falsz, so dass die Implikation $ 0 \mid y \Rightarrow y \mid 0 $ hier irrelevant ist (PrÃ¤misse ist leer wahr oder nur fÃ¼r $ y=0 $). TatsÃ¤chlich gilt:
FÃ¼r $ x = 0 $, die Implikation $ (orall y\ (0 \mid y \Rightarrow y \mid 0)) $ ist *wahr*, denn der Antezedens ist nur fÃ¼r $ y = 0 $ wahr, und $ 0 \mid 0 $ ist wahr.
Aber $ 0 \mid 0 $ ist wahr â also ist die Implikation wirklich **wahr** fÃ¼r $ x = 0 $.
Und $ x = 1 $, $ 1 \mid 0 $: wahr. Also Aussage gilt.
FÃ¼r $ x = -1 $: gleiche Logik wie bei $ x = 1 $, da Teiler keine Vorzeichen betreffen.
FÃ¼r $ x \in \mathbb{Z} \setminus \{0, \pm1\} $: WÃ¤hle $ y = x $. Dann $ x \mid y $ ist wahr. Aber $ y \mid x $ â $ x \mid x $: wahr, aber hier ist die Implikation:

FÃ¼r $ x = 1 $: $ x \mid y \iff y = k \cdot 1 = k $, also $ y $ ist beliebig teilbar â $ y \mid x $? $ y \mid 1 $ â $ y = \pm1 $. Also $ x \mid y \Rightarrow y = \pm1 $, aber $ (\pm1) \mid 1 $: wahr. Also ja, $ x \mid y \Rightarrow y \mid x $ gilt.

Related Articles

Trending Articles