Um detetive recebe as seguintes premissas compostas A e B, sobre 3 estudantes (p, q, r) e precisa deduzir quem usou IA para fazer um trabalho escolar:
A = (p ∨ q) ∧ r e B = ~(q → ~r)

Usando lógica de proposições, ele consegue argumentar e solucionar mais um caso, concluindo, com certeza, que a proposição composta verdadeira é