Mörder/Aussagenlogik/Aufgabe/Lösung

Aus (6), (3) und (4) folgt, dass ${\displaystyle {}A}$ und ${\displaystyle {}B}$ beide nicht der Mörder sind, denn sonst wären beide der Mörder. Nach (5) ist somit auch ${\displaystyle {}D}$ nicht der Mörder. Wegen (1) muss also ${\displaystyle {}C}$ der Mörder sein.