Έστω οι ακόλουθοι συμβολισμοί προτάσεων:

P :     ο Μάρκος συνάντησε το Γιάννη

Q :    ο Γιάννης είναι ο δολοφόνος

R :    ο Μάρκος ψεύδεται

S :     το έγκλημα έγινε μετά τα μεσάνυχτα

Τότε, οι τρεις αρχικές προτάσεις γράφονται ως εξής:

και έχουμε τον ακόλουθο πίνακα αλήθειας:

Έτσι, οι περιπτώσεις που απομένουν (στις οποίες και οι τρεις παραπάνω προτάσεις είναι αληθείς) είναι οι 1, 2, 3, 4, 9, 10.

Όμως, σε όλες αυτές η Q είναι αληθής.

Άρα αποδείχθηκε ότι ο Γιάννης είναι ο δολοφόνος.