Adoramos começar a semana com uma questão de Lógica, pois você já vê o estudo como algo interessante e divertido. Não, Lógica não é fácil, mas se você começa a encará-la como um delicioso desafio, tudo se torna mais prazeroso e, portanto, mais fácil de assimilar. Vamos à diversão então!

(MPOG/2001) Dizer que “André é artista ou Bernardo não é engenheiro” é logicamente

equivalente a dizer que:

a) André é artista se e somente se Bernardo não é engenheiro.

b) Se André é artista, então Bernardo não é engenheiro.

c) Se André não é artista, então Bernardo é engenheiro

d) Se Bernardo é engenheiro, então André é artista.

e) André não é artista e Bernardo é engenheiro

Solução: Aqui temos uma questão mais bonita! Teremos que usar as duas equivalências da condicional para resolvê-la. Vejamos: o enunciado nos trouxe uma disjunção. Replicando a tabela 39, temos que…

p → q = ~q → ~p

p → q = ~p ou q

… a segunda linha da equivalência da condicional resulta numa disjunção! Ora, podemos tentar começar a desenvolver nosso raciocínio por aí. Invertendo a ordem desta segunda linha da tabela acima, concluímos que: ~p ou q = p → q.

Daí, chamaremos André é artista ou Bernardo não é engenheiro de  ~p ou q.

Assim:

André é artista = ~p e Bernardo não é engenheiro = q.

Encontrando agora a estrutura equivalente p → q, teremos:

“Se André não é artista, então Bernardo não é engenheiro”.

Ocorre que esta sentença acima não figura entre as opções de resposta. Isso nos leva a concluir que teremos ainda que mexer com essa condicional, encontrando uma condicional equivalente a ela. Daí, usaremos a equivalência da primeira linha da tabela acima: p → q = ~q→~p. Teremos, pois que:

“Se André não é artista, então Bernardo não é engenheiro” é o mesmo que:

“Se Bernardo é engenheiro, então André é artista”

Resposta! (Letra D)

Cedido pelo professor auxiliar Bruno Casimiro