Aussagenlogik/Erfüllbar/Beispielsatz/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Wenn die Aussagenvariable mit und die Aussagenvariable mit belegt wird, so besitzt der Vordersatz den Wahrheitswert und somit besitzt die Gesamtimplikaton den Wahrheitswert . Daher ist der Ausdruck erfüllbar.
Zur gelösten Aufgabe