Considere a proposição P: “a menos que o sistema funcione, o servidor não entregará o trabalho”. Assinale a opção que apresente uma proposição equivalente a P.
- A)Se o sistema funcionar, o servidor entregará o trabalho.
Errada: essa frase afirma o condicional inverso, trocando a condição pela consequência, e não é equivalente à proposição dada.
- B)Se o sistema não funcionar, o servidor não entregará o trabalho.
Certa: “se o sistema não funcionar, o servidor não entregará o trabalho” é exatamente a tradução lógica de “a menos que o sistema funcione...”.
- C)O servidor entregará o trabalho a menos que o sistema não funcione.
Errada: muda o sentido para “o servidor entregará”, além de trocar a estrutura da relação lógica, então não equivale à frase original.
- D)O sistema funciona e o servidor entrega o trabalho.
Errada: transforma a ideia em uma conjunção, exigindo que as duas coisas ocorram ao mesmo tempo, o que não foi dito na proposição.
- E)Quanto mais o sistema funcionar, mais trabalho o servidor entregará.
Errada: estabelece uma relação de proporcionalidade entre as ações, sem correspondência com conectivos lógicos de condição.
Gabarito: B
Em questões de lógica, a expressão “a menos que” costuma indicar uma condição de exceção, e a leitura mais segura é: “se não acontecer X, então acontece Y”. Aqui, a frase diz que, a menos que o sistema funcione, o servidor não entregará o trabalho. Traduzindo para a forma lógica, fica: se o sistema não funcionar, o servidor não entregará o trabalho. Essa é a chave da questão: você troca o “a menos que” por “se não”. Não precisa inventar moda, nem fazer poesia lógica. Em prova, essa conversão costuma ser o atalho para achar a equivalência correta. Por isso o gabarito é a alternativa B. Ela repete exatamente a estrutura da proposição original, só que em linguagem mais direta: “Se o sistema não funcionar, o servidor não entregará o trabalho.” Vale lembrar o padrão clássico da lógica proposicional: a equivalência aqui é de forma, não de “ideia parecida”. Em concursos, especialmente no estilo CESPE/CEBRASPE, a banca adora testar a leitura precisa dos conectivos e confundir você com a conversa de contrário, inverso e coisas que parecem parecidas, mas não são.