///
Durante uma investigação policial, a análise das imagens de câmeras de segurança de um laboratório forense indicou a presença, em horários distintos, de um indivíduo não autorizado no recinto. Os peritos estabeleceram os seguintes registros lógicos: P: “As luzes do corredor estavam apagadas.”
Q: “O sensor de presença foi ativado.”
R: “A porta do arquivo foi aberta.”
S: “O alarme de movimentação foi disparado.”
Além disso, o relatório de perícia apontou que: Sempre que o sensor de presença foi ativado, as luzes estavam apagadas ou a porta do arquivo foi aberta.
O alarme de movimentação só é disparado se o sensor de presença for ativado e a porta do arquivo estiver aberta.
Em um dos registros, o alarme de movimentação não foi disparado.
Em outro registro, as luzes estavam apagadas e o alarme de movimentação foi disparado.
A proposição Q → (P ∨ R) foi verificada como verdadeira para os eventos registrados.
A possibilidade de o alarme de movimentação ter sido disparado ainda que o sensor de presença não tenha sido ativado contradiz a proposição lógica fornecida.