Questão de Raciocínio Lógico · FGV TRF1 2024 (nº 16)

Uma sentença condicional (do tipo "Se P, então Q") só é falsa em um único caso: quando a primeira parte (P, chamada de antecedente) é verdadeira e a segunda parte (Q, chamada de consequente) é falsa. Em todos os outros casos, a sentença condicional é verdadeira.

A sentença dada é "Se (a calça é verde e a camisa é rosa), então (o sapato é branco ou o cinto é marrom)".
Para que esta sentença seja FALSA, devemos ter:

1. O antecedente "a calça é verde e a camisa é rosa" é VERDADEIRO.
   • Isso implica que "a calça é verde" é VERDADEIRO e "a camisa é rosa" é VERDADEIRO.
2. O consequente "o sapato é branco ou o cinto é marrom" é FALSO.
   • Isso implica que "o sapato é branco" é FALSO (ou seja, "o sapato não é branco" é VERDADEIRO) e "o cinto é marrom" é FALSO (ou seja, "o cinto não é marrom" é VERDADEIRO).

Resumindo as verdades que podemos concluir:

• A calça é verde (V)
• A camisa é rosa (V)
• O sapato não é branco (V)
• O cinto não é marrom (V)

(A) Incorreta: a camisa não é rosa ou o cinto é marrom;
"A camisa não é rosa" é FALSO (pois a camisa é rosa). "O cinto é marrom" é FALSO. FALSO ou FALSO resulta em FALSO.

(B) Incorreta: a calça é verde e o sapato é branco;
"A calça é verde" é VERDADEIRO. "O sapato é branco" é FALSO. VERDADEIRO e FALSO resulta em FALSO.

(C) Incorreta: se o sapato não é branco, então a camisa não é rosa;
"O sapato não é branco" é VERDADEIRO. "A camisa não é rosa" é FALSO. Uma condicional com antecedente VERDADEIRO e consequente FALSO resulta em FALSO. Armadilha: Esta alternativa é uma condicional que também é falsa. A pergunta pede o que é "correto concluir", ou seja, qual afirmação é verdadeira dadas as informações. Confundir uma conclusão falsa com uma "conclusão correta" (que deve ser verdadeira) é o erro aqui.

(D) Incorreta: se o cinto não é marrom, então o sapato é branco;
"O cinto não é marrom" é VERDADEIRO. "O sapato é branco" é FALSO. Uma condicional com antecedente VERDADEIRO e consequente FALSO resulta em FALSO.

(E) Correta: se a calça não é verde, então o cinto é marrom.
"A calça não é verde" é FALSO (pois a calça é verde). "O cinto é marrom" é FALSO. Uma condicional cujo antecedente é FALSO (FALSO $\rightarrow$ FALSO) é sempre VERDADEIRA, independentemente do valor do consequente.