Finden Sie mittels Aussagenlogik heraus wer lügt:
Dann schreibe die Aussagen formal hin:
aus "A: B und C sagen die Wahrheit" wird: \(A = B \land C\)
aus "B: A sagt die Wahrheit" wird: \(B=A\)
aus "C: A lügt und B sagt die Wahrheit" wird: \(C = \lnot A \land B\)
Einsetzen der zweiten Aussage in die erste und dritte gibt: $$A = A \land C \\ C = \lnot A \land A = \text{f}$$ D.h. daraus folgt bereits, dass \(C\) falsch ist - also lügt. Weiteres Einsetzen: $$A = A \land C = A \land \text{f} = \text{f}$$ \(A\) lügt auch und damit lügt auch \(B\).