Se Maria é tia de Augusto, então Ana é dentista. Se Enzo não é sobrinho de Maria, então Lucas não é professor. Sabendo que Ana é engenheira e tem apenas essa profissão e que Lucas

Gabarito

Certo

Comentário do professor

Temos as premissas principais: Se Maria é tia de Augusto, então Ana é dentista (\(M \rightarrow D\)); Ana é engenheira e possui apenas essa profissão, portanto não é dentista.

Como Ana não é dentista, a parte consequente \(D\) da condicional \(M \rightarrow D\) é falsa.

Sabe-se que uma condicional \(P \rightarrow Q\) é falsa somente quando \(P\) é verdadeira e \(Q\) é falsa. Aqui a condicional é uma premissa considerada verdadeira; portanto, se seu consequente é falso, seu antecedente deve ser falso.

Logo, o antecedente \(M\) ("Maria é tia de Augusto") é falso. Conclui-se corretamente que Maria não é tia de Augusto.