Vom Duplikat:
Titel: Wie soll ich diese Implikation mit expliziten Angaben zeigen und beweisen?
Stichworte: implikation,aussagenlogik,gruppe,element,inverses,beweis,zahlen
Ich soll folgende Implikation zeigen: n ist genau dann ungerade, wenn es eine natürliche Zahl k gibt mit n=2k+1.
(zuvor stand auch: n heißt gerade, falls es eine natürliche Zahl m gibt, sodass n=2m gilt, andernfalls heißt sie ungerade)