0 Daumen
1,1k 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.

(A    B)    (¬B    ¬A)(¬AB)    (¬(¬B)¬A)(¬AB)    (B¬A)(¬AB)    (¬AB)\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