Exercicios Tabela verdade

Planilha desenvolvida por Diego R Góes

Como usar?

1)

Clique na parte amarela mais clara, e defina quantas proposições serão nescessárias para o processo.

2)

Coloque o devido nome ás proposições posicionadas á esquerda.

3)
E completar a tabela conforme precisar
 Conectivos: ~ (Não) ∧ (E) v (Ou) ⊕ (Ou ... ou) Então (→) Se somente se (↔)

a) Qtd de proposições: 2
p q p ∧ q p ∨ q (p ∧ q)→(p ∨ q)
v v v v v
v f f v v
f v f v
f f f f

b) Qtd de proposições: 1
p ¬p pv¬p
v f v
f v v

c) Qtd de proposições: 2
p q ¬q pv¬q (pv¬q)→q
v v f v v
v f v v f
f v f f v
f f v v f

d) Qtd de proposições: 2
p q pvq p∧q (pvq)→(p∧q)
v v v v v
v f v f f
f v v f f
f f f f v
e) Qtd de proposições: 2
p q p→q ¬q ¬p ¬q→¬p (p→q)↔(¬q→¬p)
v v v f f v v
v f f v f f v
f v v f v v v
f f v v v v v

f) Qtd de proposições: 2
p q p→q q→p (p→q)↔(q→p)
v v v v v
v f f v f
f v v f f
f f v v v
Se somente se (↔)
 Conectivos: ~ (Não) ∧ (E) v (Ou) ⊕ (Ou ... ou) Então (→) Se somente se (↔)

a) Qtd de proposições: 1
p ¬p p→¬p
v f f
f v v

b) Qtd de proposições: 1
p ¬p p↔¬p
v f f
f v f

c) Qtd de proposições: 2
p q pvq p⊕(pvq)
v v v f
v f v f
f v v v
f f f f

d) Qtd de proposições: 2
p q p∧q pvq (p∧q)→(pvq)
v v v v v
v f f v v
f v f v v
f f f f v
e) Qtd de proposições: 2
p q ¬p q→¬p p↔q ( q → ¬p ) ↔ ( p ↔ q )
v v f f v f
v f f v f f
f v v v f f
f f v v v v

f) Qtd de proposições: 2
p q p↔q ¬q p↔¬q ( p ↔ q ) ⊕ ( p ↔ ¬q )
v v v f f v
v f f v v v
f v f f v v
f f v v f v
Se somente se (↔)
 Conectivos: ~ (Não) ∧ (E) v (Ou) ⊕ (Ou ... ou) Então (→) Se somente se (↔)

a) Qtd de proposições: 2
p q pvq p⊕q (pvq)→(p⊕q)
v v v f f
v f v v v
f v v v v
f f f f v

b) Qtd de proposições: 2
p q p⊕q p∧q (p⊕q)→(p∧q)
v v f v v
v f v f f
f v v f f
f f f f v

c) Qtd de proposições: 2
p q pvq p∧q (pvq)⊕(p∧q)
v v v v f
v f v f v
f v v f v
f f f f f

d) Qtd de proposições: 2
p q p↔q ¬p ¬p ↔ q ( p ↔ q ) ⊕ ( ¬p ↔ q )
v v v f f v
v f f f v v
f v f v v v
f f v v f v
e) Qtd de proposições: 3
p q r p↔q ¬p ¬r ¬p ↔ ¬r ( p ↔ q ) ⊕ ( ¬p ↔ ¬r )
v v v v f f v f
v v f v f v f v
v f v f f f v v
v f f f f v f f
f v v f v f f f
f v f f v v v v
f f v v v f f v
f f f v v v v f

f) Qtd de proposições: 2
p q p⊕q ¬q p ⊕ ¬q ( p ⊕ q ) → ( p ⊕ ¬q)
v v f f v v
v f v v f f
f v v f f f
f f f v v v
Se somente se (↔)
 Conectivos: ~ (Não) ∧ (E) v (Ou) ⊕ (Ou ... ou) Então (→) Se somente se (↔)

a) Qtd de proposições: 1
p p⊕p
v f
f f

b) Qtd de proposições: 1
p ¬p p ⊕ ¬p
v f v
f v v
f v v v
f f v v

c) Qtd de proposições: 2
p q ¬q p ⊕ ¬q
v v f v
v f v f
f v f f
f f v v

d) Qtd de proposições: 2
p q ¬p ¬q ¬p ⊕ ¬q
v v f f f
v f f v v
f v v f v
f f v v f
e) Qtd de proposições: 2
p q p⊕q ¬q p ⊕ ¬q ( p ⊕ q ) v ( p ⊕ ¬q )
v v f f v v
v f v v f v
f v v f f v
f f f v v v

f) Qtd de proposições: 2
p q p⊕q ¬q p ⊕ ¬q ( p ⊕ q) ∧ ( p ⊕ ¬q )
v v f f v f
v f v v f f
f v v f f f
f f f v v f
Se somente se (↔)
 Conectivos: ~ (Não) ∧ (E) v (Ou) ⊕ (Ou ... ou) Então (→) Se somente se (↔)

a) Qtd de proposições: 2
p q ¬q p → ¬q
v v f f
v f v v
f v f v
f f v v

b) Qtd de proposições: 2
p q ¬p ¬p ↔ q
v v f f
v f f v
f v v v
f f v f

c) Qtd de proposições: 2
p q p→q ¬p ¬p → q ( p → q ) v ( ¬p → q )
v v v f v v
v f f f v v
f v v v v v
f f v v f v

d) Qtd de proposições: 2
p q p→q ¬p ¬p → q ( p → q ) ∧ ( ¬p → q )
v v v f v v
v f f f v f
f v v v v v
f f v v f f
e) Qtd de proposições: 2
p q p↔q ¬p ¬p → q ( p ↔ q ) v ( ¬p → q )
v v v f v v
v f f f v v
f v f v v v
f f v v f v

f) Qtd de proposições: 2
p q ¬p ¬q ( ¬p ↔ ¬q ) p↔q ( ¬p ↔ ¬q ) ↔ ( p ↔ q )
v v f f v v v
v f f v f f v
f v v f f f v
f f v v v v v
Se somente se (↔)
 Conectivos: ~ (Não) ∧ (E) v (Ou) ⊕ (Ou ... ou) Então (→) Se somente se (↔)

a) Qtd de proposições: 3
p q r pvq (pvq)vr
v v v v v
v v f v v
v f v v v
v f f v v
f v v v v
f v f v v
f f v f v
f f f f f

b) Qtd de proposições: 3
p q r pvq (pvq)∧r
v v v v v
v v f v f
v f v v v
v f f v f
f v v v v
f v f v f
f f v f f
f f f f f

c) Qtd de proposições: 3
p q r p∧q (p∧q)vr
v v v v v
v v f v v
v f v f v
v f f f f
f v v f v
f v f f f
f f v f v
f f f f f

d) Qtd de proposições: 3
p q r p∧q (p∧q)∧r
v v v v v
v v f v f
v f v f f
v f f f f
f v v f f
f v f f f
f f v f f
f f f f f
e) Qtd de proposições: 3
p q r pvq ¬r ( p v q ) ∧ ¬r
v v v v f f
v v f v v v
v f v v f f
v f f v v v
f v v v f f
f v f v v v
f f v f f f
f f f f v f

f) Qtd de proposições: 3
p q r (p∧q) ¬r ( p ∧ q ) v ¬r
v v v v f v
v v f v v v
v f v f f f
v f f f v v
f v v f f f
f v f f v v
f f v f f f
f f f f v v
Se somente se (↔)
 Conectivos: ~ (Não) ∧ (E) v (Ou) ⊕ (Ou ... ou) Então (→) Se somente se (↔)

a) Qtd de proposições: 3
p q r ¬q ¬q v r p → ( ¬q v r )
v v v f v v
v v f f f f
v f v v v v
v f f v v v
f v v f v v
f v f f f v
f f v v v v
f f f v v v

b) Qtd de proposições: 3
p q r ¬p q→r ¬p → ( q → r )
v v v f v v
v v f f f v
v f v f v v
v f f f v v
f v v v v v
f v f v f f
f f v v v v
f f f v v v

c) Qtd de proposições: 3
p q r p→q ¬p ¬p → r ( p → q ) v ( ¬p → r )
v v v v f v v
v v f v f v v
v f v f f v v
v f f f f v v
f v v v v v v
f v f v v f v
f f v v v v v
f f f v v f v

d) Qtd de proposições: 3
p q r p→q ¬p ¬p → r ( p → q ) ∧ ( ¬p → r )
v v v v f v v
v v f v f v v
v f v f f v f
v f f f f v f
f v v v v v v
f v f v v f f
f f v v v v v
f f f v v f f
e) Qtd de proposições: 2
p q pvq
v v v
v f v
f v v
f f f
Se somente se (↔)

∧ ⊕

~ (Não ) (E) v (Ou) (Ou ... o u) Então

o u) Então (→) Se s om e nte s e (↔ )
 Material de apoio
https://www.todamateria.com.br/tabela-verdade/
https://www.calculadoraonline.com.br/tabela-verdade
https://calculode.com.br/calculadora-tabela-verdade-online-calculadora-logica/