Kriminalfall
Wir entnehmen folgenden Kriminalfall dem Buch von Ertel
Hatte der Verbrecher einen Komplizen, dann ist er mit dem Wagen gekommen. Der Verbrecher hatte keinen Komplizen und hatte den Schlüssel nicht, oder er hatte einen
(a) Formulieren Sie die Aussagen in einer aussagenlogischen Formel \( \Phi \).
(b) Führen Sie dann einen Widerspruchsbeweis um zu zeigen, dass die Hypothese \( \Phi \models W \) Sie hierbei explizit auf, welche Aussage Sie zu einem Widerspruch führen.
(c) Ist der Verbrecher mit dem Wagen gekommen?
