CORRETA.

Para um melhor julgamento do item, vamos entender alguns pontos principais.

Primeiro:

Quais os conectivos lógicos?

São eles:

Onde P e Q são proposições simples, e juntas, através dos conectivos lógicos, formam proposições compostas.

Segundo:

Quais as características mais importantes dos conectivos lógicos na tabela-verdade?

São elas:

• Na bicondicional, com valoracões iguais nas proposições simples, ela sempre será verdadeira.

V ↔ V ou F ↔ F.

• Na conjunção, ela só será verdadeira se todas as proposições simples forem verdadeiras.

V ∧ V.

• Na disjunção inclusiva, ela só será falsa se todas as proposições simples forem falsas.

F ∨ F.

• Na disjunção exclusiva, ela só será falsa se tivermos valorações iguais para as proposições simples que a compõe.

V ⊻ V ou F ⊻ F.

• Na condicional, ela só será falsa se tivermos antecedente verdadeiro e consequente falso.

V → F.

Onde, Se P, Então Q. (P é o antecedente e Q o consequente).

Agora vamos à resolução!

Temos a seguinte sentença:

p → (q → p).

Temos uma condicional cujo consequente é outra condicional, que é a proposição entre parênteses.

Sabe-se que, para essa proposição ser sempre verdadeira, então ela não deve ser valorada como falsa na única situação que torna uma condicional falsa, que é:

Antecedente verdadeiro e consequente falso (V →F).

Com isso, vamos tentar torná-la falsa, caso NÃO funcione, então essa condicional é sempre verdadeira.

Considerando que p seja falsa (F) e q verdade (V), vamos analisar a sentença abaixo.

F → (V → F).

O consequente (V → F) será falso, logo, ficamos com:

F → F.

Uma condicional com antecedente e consequente falsos sempre será verdadeira.

Com isso, perceba que não é possível tornar essa sentença falsa, motivo que torna essa assertiva correta.

Ou seja, a proposição p → (q → p) é verdadeira, independentemente dos valores lógicos de p e q.

Caso o aluno quisesse montar uma tabela-verdade, teria:

Temos apenas valores lógicos verdadeiros (V) na última coluna dessa tabela-verdade.

Portanto, assertiva correta.