Question

Zeigen Sie, dass zu jeder aussagenlogischer Formel (F) eine äquivalente Formel existiert, welche nur die aussagenlogische Konnektive und >enthält

Kann mir jemand helfen ?

Comments

> aussagenlogische Konnektive und >

aussagenlogische Konnektive  ∧  und  ∨  ?     ∧  --> ?

---

Zeigen Sie, dass zu jeder aussagenlogischer Formel (F) eine äquivalente Formel existiert, welche nur die aussagenlogische Konnektive ¬ und ∧ enthält.

So jetzt stimmt es.

Answer 1

Hallo ilmol,

für  a ,∨ b  kann  man  ¬ ( ¬a ∧ ¬b ) schreiben.

für  a → b                         b ∨ ¬a   ≡   ¬ ( ¬b ∧ a )    

usw.

Ich weiß ja leider nicht, was ihr voraussetzen dürft

Gruß Wolfgang