Widerspruchsbeweis: M\N (m unendlich, n endlich)

Neue Frage »

HansInDerMenge Auf diesen Beitrag antworten »
Widerspruchsbeweis: M\N (m unendlich, n endlich)
Hey Leute,
ich muss folgende Aussage A beweisen durch Widerspruchsbeweis:

Ist M unendlich und N endlich, so ist M \ N unendlich.

Das ist mir soweit klar, nur ich weiß nicht, wie ich das durch Widerspruch beweisen soll.
Hab ja die Aussage
A: M ist unendlich und N ist endlich
B: M\N unendlich

A => B
(Nicht) B => (Nicht) A

Bei dem Widerspruchsbeweis fange ich ja mit Nicht B an, also
M\N nicht unendlich <=> M\N ist endlich.

Jetzt hapert's bei mir:
Ich fang mit M\N ist endlich an, also
M\N ist endlich => M=N oder M ist endlich ? Weil M und N können ja gleich und unendlich sein? Da weiß ich nicht weiter, wie ich auf den Widerspruch zu A kommen soll.

Ich bin am verzweifeln :/
Vielen Dank für eure Antworten smile
pseudo-nym Auf diesen Beitrag antworten »

Du versuchst keinen Widerspruchsbeweis, sondern Kontraposition.

Ein Widerspruchsbeweis funktioniert nach dem Schema:

HansInDerMenge Auf diesen Beitrag antworten »

Okay, wie ists denn hiermit:

Ann.: M ist unendlich und N endlich => M\N ist endlich
M ist unendlich und N endlich =>

M\N ist unendlich (Widerspruch zur Annahme)
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »