Exercícios Lógica Matemática

Lista 04
Método Dedutivo
Data : ___/___/___
Aluno 1: _____________________________________________

Aluno 2: _____________________________________________

Competências:
09-(N) Fazer demonstrações pelo método dedutivo.

Negação de proposições – usar Lei de De Morgan

1) Escreva a negação das proposições abaixo:

(a) Está frio e não está chovendo.

-----------------------------------------------------------------------------------------------------------------------

(b) João não estuda ou não é aprovado

-----------------------------------------------------------------------------------------------------------------------

(c) João estuda e é aprovado.

-----------------------------------------------------------------------------------------------------------------------

(d) uma proposição é uma definição ou sua recíproca não é verdadeira.

-----------------------------------------------------------------------------------------------------------------------

(e) uma função é derivável e contínua, ou a função não é derivável e contínua

-----------------------------------------------------------------------------------------------------------------------

-----------------------------------------------------------------------------------------------------------------------

(e) João não estuda e não é aprovado, ou Carlos estuda e é aprovado.

-----------------------------------------------------------------------------------------------------------------------

-----------------------------------------------------------------------------------------------------------------------

1
Método Dedutivo

2) Simplifique as proposições abaixo

(a) ~(p ∨ q) ∨ ( p ∧ ∼q )

(b) (∼p ∨ q) ∧ p

(c) ∼ ( ( (p ∨ q) ∧ ∼ q )∨ ( q ∧ r ) )

(d) ∼ ( (∼ p →∼ q)∨ ( ( q ∧ p ) ↔ ∼ p) )

(e) (p∨q) →((p∧q) ∨(p∧∼q) ∨(∼p∧q))

2
3) Determinar a FNC (Forma Normal Conjuntiva) e FND (Forma normal Disjuntiva) das
proposições abaixo
(a) ~(((p ∨ q) ∧ ∼ q) ∨ ( q ∧ r ))

(b) (∼q ∨ p) ∧ q

(c) ∼ ( ( (p ∨ q) ∧ ∼ p )∨ ( p ∧ r ) )

(d) ∼ ( (∼ q →∼ p) ∨ ( q ↔ ∼ p) )

(e) (p∨q) →((p∧q) ∨(p∧∼q) ∨(∼p∧q))