Montar a tabela-verdade de (p ∧ q) ∨ r.

Solução

pqrp ∧ q(p ∧ q) ∨ r
VVVVV
VVFVV
VFVFV
VFFFF
FVVFV
FVFFF
FFVFV
FFFFF

Montar a tabela-verdade de p → (q ∨ ~ p).

Solução

pq~pq ∨ ~ pp → (q ∨ ~ p)
VVFVV
VFFFF
FVVVV
FFVVV

Montar a tabela-verdade de (r ∨ s) ↔ (r ∧ ~ s).

Solução

rs~sr ∨ sr ∧ ~ s(r ∨ s) ↔ (r ∧ ~ s)
VVFVFF
VFVVVV
FVFVFF
FFVFFV

Montar a tabela-verdade de a ∧ (b → ~ c).

Solução

abc~cb → ~ ca ∧ (b → ~ c)
VVVFFF
VVFVVV
VFVFVV
VFFVVV
FVVFFF
FVFVVF
FFVFVF
FFFVVF

Apresente o valor lógico da proposição: 2 × 8 = 15 ↔ 15 ÷ 6 = 2.

Solução

2 × 8 = 15 ↔ 15 ÷ 6 = 2

F ↔ F

V

Apresente o valor lógico da proposição: ~ (3 × 4 = 12) → 19 é número primo.

Solução

~ (3 × 4 = 12) → 19 é número primo

~ (V) → V

F → V

V

Apresente o valor lógico da proposição: 4 é divisor de 8 ou fevereiro tem 30 dias.

Solução

4 é divisor de 8 ou fevereiro tem 30 dias

V ou F

V

Apresente o valor lógico da proposição: 12 × 3 > 19 e mdc(28,35) = 7.

Solução

12 × 3 > 19 e mdc(28,35) = 7

V e V

V

Apresente o valor lógico da proposição: ~ (3 é múltiplo de 12).

Solução

~ (3 é múltiplo de 12)

~ (F)

V

Apresente o valor lógico da proposição: ~[~(4 é múltiplo de 16)].

Solução

~[~(4 é múltiplo de 16)]

~[~(F)]

~[V]

F

Até aqui, as proposições apresentavam parênteses. Observe as seguintes proposições compostas.

  • a) a → b ∨ c
  • b) a ∧ b → c
  • c) a ↔ b ∧ ~ c
  • d) a ∨ b ↔ c
  • e) ~ a ∧ b

E agora, como proceder?

E estas cinco últimas não apresentam parênteses.

Os conectivos ∧ e ∨ tem prioridade sobre os conectivos → e ↔. Ou seja, a conjunção e a disjunção tem prioridade sobre a condicional e a bicondicional.

Já o conetivo ~ tem prioridade sobre os demais. Assim:

  • a) a → b ∨ c equivale à a → (b ∨ c)
  • b) a ∧ b → c equivale à (a ∧ b) → c
  • c) a ↔ b ∧ ~ c equivale à a ↔ (b ∧ ~ c)
  • d) a ∨ b ↔ c equivale à (a ∨ b) ↔ c
  • e) ~ a ∧ b equivale à (~ a) ∧ b

Esta foi uma demonstração gratuita.

Logue para ter acesso a todo conteúdo interativo.

Hum, ainda não criou conta!?

Crie sua conta e ative-a para ter acesso a todo conteúdo interativo.

Criar conta Login