Ana, Bárbara e Clarice acabaram de se conhecer em uma festa e conversaram sobre vários assuntos. Elas concluíram que Ana e Bárbara são advogadas e Clarice não é advogada. Assim, de

Gabarito

Certo

Comentário do professor

A premissa do enunciado diz que Ana e Bárbara são advogadas e que Clarice não é advogada. A alternativa correta é uma condicional: “Se Clarice é advogada, então Ana não é advogada”.

Chamando p = “Clarice é advogada” e q = “Ana não é advogada”, a fórmula é \(p \to q\). Pelos dados, p é falso (Clarice não é advogada) e q também é falso (Ana é advogada).

Na lógica proposicional, uma implicação é falsa apenas quando o antecedente é verdadeiro e o consequente é falso. Como aqui o antecedente é falso, a implicação é vacuamente verdadeira. Em termos simples: \(F \to F = V\).

Portanto, a sentença “Se Clarice é advogada, então Ana não é advogada” é verdadeira diante das informações fornecidas.