Sind die Aussagen konsistent miteinander?

Question

Aufgabe:

1. ( B V F)

2.  ( -B V -F V E )

3. ( -E V -F ) ∧ ( B V -F )

Problem/Ansatz:

Sind die Aussagen konsistent miteinander?

Comments

Sorry! Ich habe falsch geschreiben. Jetzt ist die Frage korrekt.

Und ich brauche eine Lösung mit Einheitsresoluiton. Ich habe etwas gefunden aber bin nicht sicher.

Answer 1

Nimm an B und -F seien wahr. Dann sind alle Aussagen wahr.

Comments

Sorry! Ich habe falsch geschreiben. Jetzt ist die Frage korrekt.

Und ich brauche eine Lösung mit Einheitsresoluiton. Ich habe etwas gefunden aber bin nicht sicher.