Beweis der Aussagelogik mit Hilfe des 3. Axioms

Question

Hi,

Ich versuche folgendes zu Beweisen: x → ¬(¬x)

Probiere es mit modus ponens um dem dritten Axiom ((¬a) → (¬b)) → (b → a), doch komme hier nicht zum Beweis. Freue mich ueber jede Hilfe. Danke

Answer 1

x → ¬(¬x)

⇔  ¬x   v   ¬(¬x) 

Und das letzte ist eine Wahrform, weil von der  Art  a  v   ¬a   .