Post on 12-Aug-2020
Disciplina:
http://edmilsoncampos.net
edmilson.campos@ifrn.edu.br
Edmilson Campos, Prof. MsC.
Proposições e conceitos; Operações
AULA 01
Fundamentos de Lógica e Algoritmos
Edmilson Campos (edmilson.campos@ifrn.edu.br)2
▪
»
»
▪
▪
Edmilson Campos (edmilson.campos@ifrn.edu.br)3
▪
▪»
»
»
»
Edmilson Campos (edmilson.campos@ifrn.edu.br)4
▪
▪
▪
»−
−
−
Edmilson Campos (edmilson.campos@ifrn.edu.br)5
▪
»
»
−
−
Edmilson Campos (edmilson.campos@ifrn.edu.br)6
▪
»
»
»
Edmilson Campos (edmilson.campos@ifrn.edu.br)7
▪
»
▪
»
▪
Edmilson Campos (edmilson.campos@ifrn.edu.br)8
▪
▪
»
»
▪
»
»
»
»
Proposições
Edmilson Campos (edmilson.campos@ifrn.edu.br)9
Edmilson Campos (edmilson.campos@ifrn.edu.br)10
▪ verdadeiro falso
▪ afirmam fatos ou exprimem juízos
▪
»
»
»
»
»
▪ axiomas
»−
»−
Edmilson Campos (edmilson.campos@ifrn.edu.br)11
▪
»
»− p
− q
Edmilson Campos (edmilson.campos@ifrn.edu.br)12
▪
»
»− p
− q
− P (p, q)
Edmilson Campos (edmilson.campos@ifrn.edu.br)13
▪
»−
−
−
▪
»−
−
−
Edmilson Campos (edmilson.campos@ifrn.edu.br)14
▪»
▪»
»
»
»
»
Edmilson Campos (edmilson.campos@ifrn.edu.br)15
Conectivo Símbolo Exemplo
não ~ ou ¬ ~p , ¬p
e ^ ou . p ^ q
ou v ou + p v q
se... então p q
... se e somente se... p q
Edmilson Campos (edmilson.campos@ifrn.edu.br)16
▪p : Carlos é careca
q : Pedro é estudante
▪
Edmilson Campos (edmilson.campos@ifrn.edu.br)
Carlos não é careca
Carlos não é careca ou Pedro é estudante
Carlos é careca e Pedro não é estudante
Se Pedro é estudante então Carlos não é careca
Carlos não é cara se e somente se Pedro não é estudante
17
▪p: Gosto de viajar
q: Visitei a Austrália
▪
Edmilson Campos (edmilson.campos@ifrn.edu.br)
Gosto de viajar se e somente se Visitei a Austrália
Se gosto de viajar e não visitei Austrália então não gosto de viajar
Se não visitei a Austrália então não gosto de viajar
Visitei a Austrália e não gosto de viajar
Não gosto de viajar ou não visitei a Austrália
Gosto de viajar ou não visitei a Australia e Se não gosto
de viajar então visitei a Australia
18
▪
»
▪
»
▪ p
p
V
F
Edmilson Campos (edmilson.campos@ifrn.edu.br)19
▪
»
▪P (p, q)
» P
p q P
V V ?
V F ?
F V ?
F F ?
Edmilson Campos (edmilson.campos@ifrn.edu.br)20
▪» ^
» p q p ^ q
»
p: Jorge é Engenheiro
q: Jorge sabe matemática
p ^ q : Jorge é Engenheiro e Jorge sabe matemática
p q p ^ q
V V V
V F F
F V F
F F F
Edmilson Campos (edmilson.campos@ifrn.edu.br)21
▪» v
» p q p v q
»
p: Jorge é Engenheiro
q: Jorge sabe matemática
p v q : Jorge é Engenheiro ou Jorge sabe matemática
p q p v q
V V V
V F V
F V V
F F F
Edmilson Campos (edmilson.campos@ifrn.edu.br)22
▪» ~
» p ~p
»
p: Jorge é Engenheiro
~p: Jorge não é Engenheiro
Edmilson Campos (edmilson.campos@ifrn.edu.br)
p ~p
V F
F V
23
▪»
» p q p q
» p q
»
−
p: Jorge é Engenheiro
q: Jorge sabe matemática
p q: Se Jorge é Engenheiro
Então Jorge sabe matemática
Edmilson Campos (edmilson.campos@ifrn.edu.br)
p q p q
V V V
V F F
F V V
F F V
24
▪
»− p q
p: 7 é um número ímpar
q: Brasília é uma cidade
p q: 7 é um número ímpar Brasília é uma cidade
−
−
Edmilson Campos (edmilson.campos@ifrn.edu.br)25
▪»
» p q p q
»
»
−
p: Jorge é Engenheiro
q: Jorge sabe matemática
p q: Jorge é Engenheiro
Se e Somente Se
Jorge sabe matemática
Edmilson Campos (edmilson.campos@ifrn.edu.br)
p q p q
V V V
V F F
F V F
F F V
26
▪p: Carlos é careca (verdadeiro)
q: Pedro é estudante (falso)
▪
V F = F
~F ~V = V F = F
(V ^ ~F) v ~V = (V ^ V) v F = V v F = V
Edmilson Campos (edmilson.campos@ifrn.edu.br)27
1.p q
p q p
p q p q
p q p q
q p
p q p q p
Edmilson Campos (edmilson.campos@ifrn.edu.br)28
Edmilson Campos (edmilson.campos@ifrn.edu.br)29
1.
2.
3.
4.