Ich schreibe in einigen Tagen eine Klausur in Logik und komme gerade nicht mehr weiter. Kann mir jemand von euch weiterhelfen und die beiden Aufgaben erklären? LG

1. Zeigen Sie Schritt für Schritt: Wenn ¬ A und B a.l.-äquivalent sind, dann ist die Menge { C 1 , C 2 , B } a.l.-konsistent genau dann, wenn A nicht aus der Menge { C 1 , C 2} a.l.-folgt.

2. Zeigen Sie Schritt für Schritt: Wenn { C 1 , C 2 , A } a.l.-inkonsistent ist, dann ist ¬ A a.l.-erfüllbar, wenn { C 1 , C 2} a.l.-konsistent ist.