Construa as seguintes tabelas verdades das seguintes fórmulas e identifique as que são tautologias ou contradições:
neg p wed>= r q vee neg r

Passo 1

O enunciado pede para construir a tabela-verdade da fórmula
(neg p wed>= r);;(q vee neg r)
e, a partir dela, decidir se essa fórmula é uma tautologia (sempre verdadeira) ou uma contradição (sempre falsa). Vamos usar definição de implicação lógica e operações bit a bit com as colunas auxiliares.

Passo 2

Primeiro listamos as subfórmulas que precisamos avaliar em cada combinação de valores de p, q e r:
  1. neg p
  2. neg r
  3. neg p wed>= r
  4. q vee neg r
  5. (neg p wed>= r)to(qveeneg r)

Passo 3

Agora montamos a tabela-verdade completa com todas as combinações de :
Explicando rapidamente a coluna final:
Para a implicação , o único caso em que ela é falsa é quando vale e vale . Note que isso ocorre só na sétima linha.

Passo 4

Observando a coluna
(neg p wed>= r)to(qveeneg r), vemos que há pelo menos um valor F (na linha 7) e também vários V.
Portanto, a fórmula não é sempre verdadeira nem sempre falsa.

Resposta

A fórmula ;( neg p wed>= r ) to ( q vee neg r ); não é tautologia nem contradição.

Exercícios relacionados