0 Daumen
677 Aufrufe

Aufgabe:

Das Theorem ⊢ ¬¬B → (¬B → A) kann mit Hilfe des Dektionstheorems im Hilbert-Kalkül wie folgt bewiesen werden:

wir haben 10 Aufagebn und erstehe die alle nicht. Wenn Ihr mir die a ma erklären könntet würde ir das schon sehr helfen.

a) {} ⊢ ¬¬B→(¬A → ¬¬B)

wie gesagt leider keine Ahnung wie ich hier vrogehen soll.


LG

Avatar von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community