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.
Was sind denn x , b , s ?
Kann man für jeden beliebig w oder f einsetzen ?
Genau richtig hast du n Idee?
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.
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos