0 Daumen
2,4k Aufrufe

Beweisen sie das folgende Aussagen logisch äquivalent sind
A ∧ (B ∨ C) und (A ∧ B) ∨ (A ∧ C)
Ausmultiplizieren bei der ersten und A ausklammern bei der zweiten. Reicht das als Beweis?

Avatar von
Nein, du sollst ja gerade zeigen, dass man genau das machen kann. Mach eine Wahrheitstabelle

Meinst du wirklich das es auf eine Wahrheitstabelle hinausläuft?

Wenn ihr die Rechenregeln schon bewiesen habt, ist die Aussage trivial. Ansonsten bietet sich wie gesagt eine Wahrheitstabelle an.

Vom Duplikat:

Titel: Beweis von A∨(B∧C) = (A∨B)∧(A∨C). A, B und C sind Aussagen.

Stichworte: beweis,aussagenlogik,logik,distributiv,klammern

Beweisen Sie die Rechenregeln für Aussagen A,B,C:

Hier ist eine der Teilaufgaben:

A∨(B∧C) = (A∨B)∧(A∨C)

Ich vestehe, was da steht und wieso beides das Gleiche ist. Ich habe jedoch keine Ahnung, wie ich das beweisen soll. Könnte mir das jemand anhand dieser Teilaufgabe erklären? So dass ich auch die anderen lösen kann?

Wenn das reicht um die Punkte zu kriegen (1. Semester Uni Übungsblatt) reicht mir das ;) Danke

1 Antwort

0 Daumen
Mach doch einfach eine Tabelle in der Art

A       B        C       A ^ (BvC)       (A ^  B)       ( A  ^ C )      (A ^  B)    v ( A  ^ C )
0       0        0              0                    0                  0                           0

0     0         1                 0                   0                   0                         0

etc. bis

1     1          1                1                   1                     1                         1


und wenn die 4. und die letzte Spalte immer übereinstimmen ist alles bewiesen.

Avatar von 287 k 🚀

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community