Aussagenlogik Problem

Question

Aufgabe:

die aussagenlogische Formel f sei gegeben durch

F = (x v b) <-> (x v s)

Zeigen sie, dass F und nicht F erfüllbare Formeln sind.

Comments

Was sind denn x , b , s   ?

Kann man für jeden beliebig w oder f einsetzen ?

---

Genau richtig hast du n Idee?

Answer 1

F = (x v b) <-> (x v s)

ist erfüllbar z.B. für x=w und b=w und s=w

¬F =    ¬ ((x v b) <-> (x v s))  ist auch erfüllbar

z.B. für x=f b=f  s=w denn dann ist

x v b   falsch  aber  x v s wahr, also

die Bijunktion falsch und ihre

Negation somit wahr.