Disciplina:
http://edmilsoncampos.net
Edmilson Campos, Prof. MsC.
Proposições e conceitos; Operações
AULA 01
Fundamentos de Lógica e Algoritmos
Proposições
Edmilson Campos ([email protected])9
Edmilson Campos ([email protected])10
▪ verdadeiro falso
▪ afirmam fatos ou exprimem juízos
▪
»
»
»
»
»
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 ([email protected])16
▪p : Carlos é careca
q : Pedro é estudante
▪
Edmilson Campos ([email protected])
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 ([email protected])
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 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 ([email protected])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 ([email protected])22
▪» ~
» p ~p
»
p: Jorge é Engenheiro
~p: Jorge não é Engenheiro
Edmilson Campos ([email protected])
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 ([email protected])
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 ([email protected])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 ([email protected])
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 ([email protected])27