Raciocínio Lógico

Aula ao vivo 3
Lista de exercícios

EXERCÍCIOS

1) Verifique quais das proposições abaixo configuram implicações lógicas

utilizando tabelas verdade.

a) (p ^ q)  (p v q)

b) (p v q)  (p ^ q)

c) p ^ q  (p ↔ q)

2) Verifique quais das proposições abaixo configuram equivalências lógicas

utilizando tabelas verdade.

a) (p ↔ p ^ q)  p  q

b) (p  q) ^ (q  r)  p  q ^ r

c) p ^ (p v q)  p

3) Utilizando as propriedades das operações lógicas simplifique as proposições

abaixo.

a) (p v (p ^ q)) ^ ~(p ^ q)

b) P v ((p  q) ^ (p  ~q))

Escola Superior Politécnica 1