Quais das seguintes formas são tautologias, proposições logicamente falsas ou nenhuma das duas condições?
\sim p \rightarrow p

Passo 1

O enunciado pede para classificar a fórmula \lnot p \to p como uma tautologia (sempre verdadeira), uma contradição (sempre falsa) ou nenhuma das duas (contingente).

Passo 2

Construímos a tabela de verdade para \lnot p \to p:
Para p = \text{V}: \lnot p = \text{F}, \text{F} \to \text{V} = \text{V}. Para p = \text{F}: \lnot p = \text{V}, \text{V} \to \text{F} = \text{F}. Logo, a fórmula assume valor V em um caso e F no outro.

Passo 3

Como \lnot p \to p não é verdadeira em todas as linhas (logo, não é tautologia) e nem falsa em todas (logo, não é contradição), ela é uma proposição contingente.

Resposta

Nenhuma das duas condições.

Exercícios relacionados