Lösung von Aufgabe 1.5 (WS 19 20): Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Schnirch (Diskussion | Beiträge)
Die Seite wurde neu angelegt: „Beweisen Sie jeweils mit einer Wahrheitstabelle: * <math>(A\Rightarrow B)\Leftrightarrow (\neg A\vee B) </math> * <math>\neg (A \wedge B)</math> <math>\Leftrig…“
 
Emiliam (Diskussion | Beiträge)
Keine Bearbeitungszusammenfassung
 
Zeile 2: Zeile 2:
* <math>(A\Rightarrow B)\Leftrightarrow (\neg A\vee B) </math>
* <math>(A\Rightarrow B)\Leftrightarrow (\neg A\vee B) </math>
* <math>\neg (A \wedge B)</math> <math>\Leftrightarrow</math>  (<math>\neg A</math> <math>\vee </math> <math>\neg B</math>)<br />
* <math>\neg (A \wedge B)</math> <math>\Leftrightarrow</math>  (<math>\neg A</math> <math>\vee </math> <math>\neg B</math>)<br />
{| class="wikitable"
|-
! <math>A</math> !! <math>\neg A</math> !! <math>B</math> !! <math>\neg B</math> !! <math>(A\Rightarrow B)</math> !! <math>(\neg A\vee B) </math> !! <math> (A \wedge B)</math> !! <math>\neg (A \wedge B)</math> !! (<math>\neg A</math> <math>\vee </math> <math>\neg B</math>)<br />
|-
|  <math>w</math> || <math>f</math> || <math>f</math> || <math>w</math> || <math>w</math> || <math>w</math> || <math>w</math> || <math>f</math> || <math>f</math>
|-
| <math>w</math> || <math>f</math> || <math>f</math> || <math>w</math> || <math>f</math> || <math>f</math> || <math>f</math> || <math>w</math> || <math>w</math>
|-
| <math>f</math> || <math>w</math> || <math>w</math> || <math>f</math> || <math>w</math> || <math>w</math> || <math>f</math> || <math>w</math> || <math>w</math>
|-
| <math>f</math> || <math>w</math> || <math>w</math> || <math>f</math> || <math>w</math> || <math>w</math> || <math>f</math> || <math>w</math> || <math>w</math>
|}
qed




[[Kategorie:Geo_P]]
[[Kategorie:Geo_P]]

Aktuelle Version vom 14. Oktober 2019, 21:14 Uhr

Beweisen Sie jeweils mit einer Wahrheitstabelle:

  • (AB)(¬AB)
  • ¬(AB) (¬A ¬B)
A ¬A B ¬B (AB) (¬AB) (AB) ¬(AB) (¬A ¬B)
w f f w w w w f f
w f f w f f f w w
f w w f w w f w w
f w w f w w f w w

qed