Use a tabela-verdade para verificar estas equivalências.
p \vee \mathbf{V} \equiv \mathbf{V}

Passo 1

O enunciado pede para verificar, usando tabela-verdade, a equivalência
p \vee \mathbf{V} \;\equiv\; \mathbf{V}
Aqui o conteúdo é lógica proposicional, mais precisamente disjunção e tabelas-verdade.

Passo 2

Vamos avaliar p \vee \mathbf{V} para os dois possíveis valores de p:
Quando p=\mathbf{V}:
p \vee \mathbf{V} = \mathbf{V}\vee \mathbf{V} = \mathbf{V}.
Quando p=\mathbf{F}:
p \vee \mathbf{V} = \mathbf{F}\vee \mathbf{V} = \mathbf{V}.

Passo 3

Observamos que, em ambos os casos, a expressão p \vee \mathbf{V} resulta em \mathbf{V}, ou seja, a coluna de p \vee \mathbf{V} coincide integralmente com a coluna de \mathbf{V}. Logo, a equivalência está verificada.

Resposta

A equivalência
p \vee \mathbf{V} \equiv \mathbf{V}
é verdadeira.

Exercícios de Livros Relacionados