Acerca da lógica sentencial, julgue o item que se segue. Se uma proposição na estrutura condicional — isto é, na forma P →Q , em que P e Q são proposições simples — for falsa, entã

Gabarito

Errado

Comentário do professor

A afirmação foi julgada ERRADO porque confunde a relação entre a verdade do condicional e a verdade do antecedente. Pela tabela-verdade do condicional, a fórmula \(P \to Q\) é **falsa** somente quando o **antecedente** é verdadeiro e o **consequente** é falso.

Ou seja, se \(P \to Q\) é falsa, temos \(P = V\) e \(Q = F\). Portanto o antecedente não é falso, pelo contrário, ele é verdadeiro nessa situação, logo a afirmação "se \(P \to Q\) for falsa, então o antecedente será necessariamente falso" está incorreta.

Além disso, quando o antecedente é falso, o condicional é sempre verdadeiro, independentemente do consequente, mostrando que antecedente falso não produz condicional falsa.