Questão de Raciocínio Lógico #019f69c5

Para resolver esta questão, vamos modelar o problema utilizando a linguagem da lógica proposicional. Primeiro, identificamos as proposições simples:

• $V$: "Paulo é parente da vítima"
• $I$: "Paulo é inocente"
• $E$: "Paulo estava no exterior no dia do crime"
• $S$: "Paulo tem o mesmo sobrenome da vítima"
• $T$: "Paulo tem o mesmo tipo sanguíneo da vítima"

Agora, traduzimos as proposições compostas dadas como verdadeiras:

1. Proposição P: Se Paulo é parente da vítima, então ele é inocente e estava no exterior no dia do crime.
   $P:V\to (I\wedge E)$

2. Proposição Q: Se Paulo tem o mesmo sobrenome da vítima ou tem o mesmo tipo sanguíneo, então ele é parente da vítima.
   $Q:(S\vee T)\to V$

A questão pede para avaliarmos a seguinte condicional: "se Paulo não estava no exterior no dia do crime ($\neg E$), então ele não tem o mesmo tipo sanguíneo da vítima ($\neg T$)". Ou seja, queremos analisar a validade de:
$\neg E\to \neg T$