IIm18-Vorlesung1

Wiki-Quelltext dieser Seite.

== Ausgewählte mathematische Grundlagen == 


=== Aufgabe 3===

''Für die folgende Implikation ist die zugehörige Wahrheitstafel aufzustellen.''

Implikation: $\lnot B \land (A \rightarrow B) \Rightarrow \lnot A$

{| border="1px" cellpadding="8" cellspacing="0"
|-style="text-align: center;background-color:lightgrey;"
|| '''$A$''' || '''$B$''' || '''$\lnot A$''' || '''$\lnot B$''' || '''$A \rightarrow B$''' || '''$\lnot B \land (A \rightarrow B)$''' || $\lnot B \land (A \rightarrow B) \Rightarrow \lnot A$
|-style="text-align: center;"
|| w || w || f || f || w || f || style="background: lightgreen;"|w
|-style="text-align: center;"
|| w || f || f || w || f || f || style="background: lightgreen;"|w
|-style="text-align: center;"
|| f || w || w || f || w || f || style="background: lightgreen;"|w
|-style="text-align: center;"
|| f || f || w || w || w || w || style="background: lightgreen;"|w
|-
|}


=== Aufgabe 6 ===

''Für die folgenden logischen Ausdrücke sollen durch Wahrheitstafeln auf Richtigkeit überprüft werden.''

'''Kontraposition:''' $(A \rightarrow B) \Leftrightarrow ( \lnot B \rightarrow \lnot A)$

{| border="1px" cellpadding="8" cellspacing="0"
|-style="text-align: center;background-color:lightgrey;"
|| '''$A$''' || '''$B$''' || '''$\lnot A$''' || '''$\lnot B$''' || '''$A \rightarrow B$''' || '''$\lnot B \rightarrow \lnot A$''' || $(B \rightarrow A) \Leftrightarrow ( \lnot B \rightarrow A)$
|-style="text-align: center;"
|| w || w || f || f || w || w || style="background: lightgreen;"|w
|-style="text-align: center;"
|| w || f || f || w || f || f || style="background: lightgreen;"|w
|-style="text-align: center;"
|| f || w || w || f || w || w || style="background: lightgreen;"|w
|-style="text-align: center;"
|| f || f || w || w || w || w || style="background: lightgreen;"|w
|-
|}

Die Wahrheitstafel zeigt die Tautologie des logischen Ausdrucks der Kontraposition. Somit ist nachgewiesen, dass der Ausdruck richtig.


'''Widerspruchsbeweis:''' $(A \rightarrow B) \Leftrightarrow (A \land \lnot B \rightarrow f)$

{| border="1px" cellpadding="8" cellspacing="0"
|-style="text-align: center;background-color:lightgrey;"
|| '''$A$''' || '''$B$''' || '''$\lnot B$''' || '''$A \rightarrow B$'''|| '''$A \land \lnot B$''' || '''$(A \rightarrow B) \Leftrightarrow (A \land \lnot B)$''' 
|-style="text-align: center;"
|| w || w || f || w || f || style="background: tomato;"|f
|-style="text-align: center;"
|| w || f || w || f || w || style="background: tomato;"|f
|-style="text-align: center;"
|| f || w || f || w || f || style="background: tomato;"|f
|-style="text-align: center;"
|| f || f || w || w || f || style="background: tomato;"|f
|-
|}


Da die Implikation $A \Rightarrow B$ logisch äquivalent zu der Aussage $\lnot A\lor B$ ist, lässt sich einfach anhand einer Wahrheitstafel zeigen. Demzufolge ist $\lnot (A \Rightarrow B)$ ebenfalls logisch äquivalent zu $A \land \lnot B$. Somit kann die Implikation $A \Rightarrow B$ durch die Widerlegung der Aussage $A \land \lnot B$ bewiesen werden.

Die Wahrheitstafel zeigt genau diesen Sachverhalt, was die Richtigkeit des logischen Ausdrucks des Widerspruchsbeweis bestätigt.