Considere que as proposições da sequência a seguir sejam verdadeiras. Se Fred é policial, então ele tem porte de arma. Fred mora em São Paulo ou ele é engenheiro. Se Fred é engenheiro, então ele faz cálculos estruturais. Fred não tem porte de arma. Se Fred mora em São Paulo, então ele é policial. Nesse caso, é correto inferir que a proposição "Fred não mora em São Paulo" é uma conclusão verdadeira com base nessa sequência.