0 Daumen
927 Aufrufe

Zeigen sie, dass die folgenden aussagenlogischen Formeln tautologien sind (d.h. immer wahr, unabhängig vom Wahrheitswert der elementaraussagen A,B).

(a) (A⇒B) ⇔(¬B ⇒¬A)

(b) ((¬A)⇒(B∧¬B))⇒A


Würde mich über Antworten mit Erklärungen sehr freuen ^^'.

Avatar von

1 Antwort

0 Daumen
 
Beste Antwort

Erstelle Wahrheitstabellen.

Avatar von 107 k 🚀

Ach, das wars schon ? Ich habe mir das etwas komplizierter vorgestellt haha

Danke dir xDD

Du darfst natürlich auch so lange umformen bis du eine Formel bekommst, die bekanntermaßen eine Tautologie ist.

\(\begin{aligned} &  & \left(A\implies B\right) & \iff\left(\neg B\implies\neg A\right)\\ \equiv\, &  & \left(\neg A\vee B\right) & \iff\left(\neg\left(\neg B\right)\vee\neg A\right)\\ \equiv\, &  & \left(\neg A\vee B\right) & \iff\left(B\vee\neg A\right)\\ \equiv\, &  & \left(\neg A\vee B\right) & \iff\left(\neg A\vee B\right) \end{aligned}\)

Ich glaube in dem Fall ist mir eine wetetablle lieber, aber Dankeschön =)

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community