Considerando "toda prova de Lógica é difícil" uma proposição verdadeira, é corre...

Questão de Raciocínio Lógico da banca FCC aplicada no concurso IPEA (2004). Confira a resolução completa abaixo:

Considerando "toda prova de Lógica é difícil" uma proposição verdadeira, é correto inferir que