Vamos resolver mais uma questão de lógica? Sim, vocês sabem como é importante praticar, então não percamos mais tempo e vamos direto à questão. Ah, e bons estudos.

(SERPRO/96) Uma sentença logicamente equivalente a “Pedro é economista, então Luísa é solteira” é:

a) Pedro é economista ou Luísa é solteira.

b) Pedro é economista ou Luísa não é solteira.

c) Se Luísa é solteira,Pedro é economista;

d) Se Pedro não é economista, então Luísa não é solteira;

e) Se Luísa não é solteira, então Pedro não é economista.

Solução: A questão nos trouxe uma condicional e pediu uma proposição equivalente. Podemos testar as duas equivalências da condicional que conhecemos.

Comecemos pela seguinte: p → q = ~q → ~p

Daí, considerando que:

Pedro é economista = p e

Luísa é solteira = q

Sua condicional equivalente será:

Se Luísa não é solteira, então Pedro não é economista.

Resposta! (Letra E)

Cedido pelo professor auxiliar Bruno Casimiro.