BuK/IIm13/Studenten/simaknoc/Vorlesung 1
Aus ProgrammingWiki
Wiki-Quelltext dieser Seite.
== Übungsaufgaben Vorlesung 1 ==
=== Indirekter Beweis ===
==== Aufgabe 1 ====
Beweisen Sie indirekt, dass $x$ eine gerade Zahl ist, wenn $x^2$ eine gerade Zahl ist. Wobei $x \in{\mathbb N}$.
z.z. Wenn $x^2$ gerade, dann $x$ gerade. $x \in{\mathbb N}$
Annahme: Wenn $x^2$ gerade, dann $x$ ungerade.
Beiweis
$A$ = $x^2$ ist gerade
$B$ = $x$ ist gerade
{| border="1" cellpadding="5" cellspacing="0"
!$A$
!$B$
!$\overline{A}$
!$\overline{B}$
!$A \Rightarrow B$
!$A \Rightarrow \overline{B}$
!$\neg(A \Rightarrow B)$
|-
|| W || W || F || F || W || F || F
|-
|| W || F || F || W || F || W || W
|-
|| F || W || W || F || W || W || F
|-
|| F || F || W || W || W || W || F
|-
|}