Sei <amsmath>a</amsmath> die Aussage: Es gibt eine größte, natürliche Zahl,

und <amsmath>b</amsmath> die Aussage: 0 ist die größte natürliche Zahl.

Man entscheide, ob die Aussagen <amsmath>a \rightarrow b</amsmath> bzw. <amsmath>b \rightarrow a</amsmath> wahr oder falsch sind.

[[Vorlagen|Hilfreiches}}

Lösungsvorschlag von mnemetz

Wahrheitstafel:

  a  b      a -> b     b -> a
  1  1        1          1
  1  0        0          1
  0  1        1          0
  0  0        1          1

Aussage a, daß es eine größte, natürliche Zahl gibt, impliziert nicht Aussage b, daß 0 ist die größte natürliche Zahl ist.

=> Der Umkehrschluss gilt jedoch!