BuK/IIm11/Studenten/sifedeut/uebung1

Aus ProgrammingWiki

Wiki-Quelltext dieser Seite.

= Übungsaufgaben - Indirekter Beweis =
== Aufgabe 1 ==
Beweisen Sie indirekt, dass <math>x</math> eine gerade Zahl ist, wenn <math>x^2</math>
mit <math>x \in \mathbb{N}</math> eine gerade Zahl ist.

== Aufgabe 2 ==
Beweisen Sie die Aussage, wonach aus der Gültigkeit der Aussagen <math>A \Rightarrow B, B \Rightarrow C</math> und <math>\overline{C}</math> die Gultigkeiten von <math>A</math> und
<math>B</math> folgen. Stellen Sie den Sachverhalt in einer Wahrheitstabelle dar.

== Aufgabe 3 ==
Was kann man über die Gültigkeit von <math>A</math> und <math>B</math> schließ�en, wenn bekannt ist, dass <math>A \Rightarrow B, B \Rightarrow C</math> und <math>\overline{C}</math> gelten?
Verwenden Sie die Tabelle aus der vorhergehenden Aufgabenlösung.