LM Aula13 Unidade IV

Prévia do material em texto

Lógica Matemática
Unidade III – Forma Normal Conjuntiva e 
Forma Normal Disjuntiva
Aula 13
Profa Daisy Albuquerque
2Lógica Matemática- Unidade III – Profª Daisy Albuquerque 2
Lógica Matemática
 Forma Normal Conjuntiva - exemplos
 
Exercicios FNC:

3Lógica Matemática- Unidade III – Profª Daisy Albuquerque 3
Lógica Matemática
 Forma Normal Conjuntiva - exemplos
 
Exercicios:


4Lógica Matemática- Unidade III – Profª Daisy Albuquerque 4
Lógica Matemática
 Forma Normal Conjuntiva - exemplos
 
Exercicios:



5Lógica Matemática- Unidade III – Profª Daisy Albuquerque 5
Lógica Matemática
 Forma Normal Conjuntiva - exemplos
 
Exercicios :




6Lógica Matemática- Unidade III – Profª Daisy Albuquerque 6
Lógica Matemática
 Forma Normal Disjuntiva - exemplos
 
Exercicios (FND):

7Lógica Matemática- Unidade III – Profª Daisy Albuquerque 7
Lógica Matemática
 Forma Normal Disjuntiva - exemplos
 
Exercicios (FND):


8Lógica Matemática- Unidade III – Profª Daisy Albuquerque 8
Lógica Matemática
 Forma Normal Disjuntiva - exemplos
 
Exercicios (FND):



9Lógica Matemática- Unidade III – Profª Daisy Albuquerque 9
Lógica Matemática
 Forma Normal Disjuntiva - exemplos
 
Exercicios (FND):




10Lógica Matemática- Unidade III – Profª Daisy Albuquerque 10
Lógica Matemática
 Equivalência entre setenças lógicas
 
[(p q) (p r)] [p (q r)] → ∨ → ⇔ → ∨
(~p q) (~p r) ∨ ∨ ∨
(q ~p) (r ~p)∨ ∨ ∨
q (~p r) ~p ∨ ∨ ∨
q (r ~p) ~p ∨ ∨ ∨
(q r) (~p ~p)∨ ∨ ∨
( q r) ~p∨ ∨
~p (q r)∨ ∨
 p (q r) → ∨
11Lógica Matemática- Unidade III – Profª Daisy Albuquerque 11
Lógica Matemática
 Equivalência entre setenças lógicas
 
(p q) ~p (~q ~p)∧ ∨ ⇔ →
(p q) ~p ∧ ∨
~p (p q) ∨ ∧
(~p p) (~p q) ∨ ∧ ∨
T (~p q) ∧ ∨
~p q∨
q ~p ∨
~[(~q) p]∧
 (~q ~p) →
12Lógica Matemática- Unidade III – Profª Daisy Albuquerque 12
Equivalências Lógicas
13Lógica Matemática- Unidade III – Profª Daisy Albuquerque 13
Equivalências Lógicas
	Slide 1
	Slide 2
	Slide 3
	Slide 4
	Slide 5
	Slide 6
	Slide 7
	Slide 8
	Slide 9
	Slide 10
	Slide 11
	Slide 12
	Slide 13