IIm18-Vorlesung1

Wiki-Quelltext dieser Seite.

== Ausgewählte mathematische Grundlagen == 


=== Aufgabe 3 - Wahrheitstafel ===

'' 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: limegreen;"|w
|-style="text-align: center;"
|| w || f || f || w || f || f || style="background: limegreen;"|w
|-style="text-align: center;"
|| f || w || w || f || w || f || style="background: limegreen;"|w
|-style="text-align: center;"
|| f || f || w || w || w || w || style="background: limegreen;"|w
|-
|}