Roland Meyer SoSe 2013
Roland Meyer SoSe 2013
Roland Meyer SoSe 2013
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Semantische Tableaus: Beispiel<br />
Zeige, dass ¬((p ∨(q ∧r)) → ((p ∨q)∧(p ∨r))) unerfüllbar ist.<br />
Erfüllbarkeitscheck:<br />
¬((p∨(q ∧r)) → ((p∨q)∧(p∨r)))<br />
p∨(q ∧r)<br />
p<br />
¬((p∨q)∧(p∨r))<br />
q ∧r<br />
¬(p∨q)<br />
¬(p∨r)<br />
q<br />
¬q<br />
¬p<br />
r<br />
¬p<br />
<br />
¬r<br />
<br />
¬(p∨q)<br />
¬p<br />
¬(p∨r)<br />
¬p<br />
¬q<br />
<br />
¬r<br />
<br />
Da alle Äste zu Widersprüchen führen, ist die Formel nicht erfüllbar.<br />
<strong>Roland</strong> <strong>Meyer</strong> (TU Kaiserslautern) Logik <strong>SoSe</strong> <strong>2013</strong> 63 / 189
Change language