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.
