Logisches Schließen, Schlussregeln

Question

Aufgabe:

Sei K:= { (A ∧ ¬B), (B ∨ C)}

Leiten Sie aus K den Term ¬B her.

Problem/Ansatz:

Zur Verfügung stehen mir verschiedene Regeln zum logischen Schließen wie z.B.: Fallunterscheidung, Widerspruch, Kontrapositionsregel u.s.w.

Leider habe ich aber keinen Ansatz wie ich die Regeln anwenden soll um zu gewünschten Ergebnis zu kommen.

Answer 1

Beim herleiten solcher aussagenlogischer Terme benutzt man in der Regel Resolution, dass sich z.B. A und -A dann "weggkürzen" und das macht man so mit den gegebenen Termen