A Tabela da Verdade

  Jéssica Vilela Xavier – 23157 Turma: B Sistemas de Informação

Matemática Discreta

Exercícios

1. Verifique, por meio da tabela-verdade, a validade das proposições abaixo, classificando em tautologia ou contradição, quando for o caso:

1. ~p ᴧ q → p v ~q

 

p	q	~p	~q	~p ᴧ q	p v ~q	~p ᴧ q → p v ~q
V	V	F	F	F	V	V
V	F	F	V	F	V	V
F	V	V	F	V	F	F
F	F	V	V	F	V	V

 

• Contingência

1. ~(p ᴧ q) → ~p v q

p	q	~p	p ᴧ q	~(p ᴧ q)	~p v q	~(p ᴧ q) → ~p v q
V	V	F	V	F	V	V
V	F	F	F	V	F	F
F	V	V	F	V	V	V
F	F	V	F	V	V	V

• Contingência

1. (p ∧ ~ q) → (~ p ∨ q)

p	q	~p	~q	p ∧ ~ q	~ p ∨ q	(p ∧ ~ q) → (~ p ∨ q)
V	V	F	F	F	V	V
V	F	F	V	V	F	F
F	V	V	F	F	V	V
F	F	V	V	F	V	V

• Contingência

1.  (p ᴧ p) → ~(p v q)

p	q	p ∧ p	p ∨ q	~(p v q)	(p ∧ p) → (~ p v q)
V	V	V	V	F	F
V	F	V	V	F	F
F	V	F	V	F	V
F	F	F	F	V	V

• Contingência

1. (p v q) ᴧ (p v ~q) ↔ ~p

p	q	~p	~q	p v q	p v ~q	(p v q) ᴧ (p v ~q)	(p v q) ᴧ (p v ~q) ↔ ~p
V	V	F	F	V	V	V	F
V	F	F	V	V	V	V	F
F	V	V	F	V	F	F	F
F	F	V	V	F	V	F	F

•  Contradição

1. ~(~p v q) ↔ (~p ᴧ q)

p	q	~p	~p v q	~(~p v q)	(~ p ᴧ q)	~(~p v q) ↔ (~p ᴧ q)
V	V	F	V	F	F	V
V	F	F	F	V	F	F
F	V	V	V	F	V	F
F	F	V	V	F	F	V

...