Os advogados Miguel e Lucas conversam sobre determinado processo que vão receber. – Miguel: Se esse processo é de “danos morais” então tem 100 páginas ou mais. – Lucas: Não é verda

Gabarito

Errado

Comentário do professor

A afirmação de Miguel é um condicional, que podemos escrever como \(A \to B\).

A: "esse processo é de danos morais".
B: "esse processo tem 100 páginas ou mais".

Lucas disse que a proposição de Miguel é falsa — ou seja, ele nega o condicional: \(\neg(A \to B)\).

Na tabela-verdade, um condicional só é falso em uma situação: quando o antecedente é verdadeiro e o consequente é falso. Assim, \(\neg(A \to B)\) é logicamente equivalente a \(A \land \neg B\).

Portanto, o que Lucas afirmou equivale a afirmar simultaneamente que esse processo é de danos morais
e que tem menos de 100 páginas.