Академический Документы
Профессиональный Документы
Культура Документы
Proposies Quantificadas
Clculo de Predicados
Renato Martins Assuno
assuncao@dcc.ufmg.br
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
Introduo
J estudamos anlise de proposies compostas, i.e., proposies simples
ligadas por conectivos , , , , .
Este tipo de anlise no suficiente para determinar a validade da maioria
das situaes matemticas e do dia-a-dia.
Todos seres humanos so mortais;
Scrates um ser humano;
.
. . Scrates mortal.
Argumento intuitivamente correto.
Validade no pode ser obtida usando os mtodos j vistos.
Validade determinada separando as proposies em partes.
Vocbulos que denotam quantidades (TODOS e ALGUNS) tm uma funo
especial na anlise.
Clculo de predicados: rea que trata da anlise simblica de predicados e
proposies quantificadas.
Clculo de proposies ou clculo proposicional: rea que trata da anlise de
proposies compostas.
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
Quantificadores: e
Como transformar predicados em proposies?
Atribuir valores especficos para todas variveis.
Usar quantificadores.
Definio: Quantificadores so palavras/expresses que referem a quantidades tais como todos e alguns e indicam para quantos elementos do domnio um dado predicado verdadeiro.
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
Quantificadores: e
: denota para todos e chamado de quantificador universal.
Exemplo 3:
seres humanos x, x mortal.
x S, x mortal
onde S o conjunto de todos seres humanos.
: denota existe e chamado de quantificador existencial.
Exemplo 4:
uma pessoa s | s um estudante de AEDS I.
s S | s um estudante de AEDS I.
onde S o conjunto de todas as pessoas.
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
Proposio universal
Definio: Seja Q(x) um predicado e D o domnio de x. Uma proposio
universal uma proposio da forma x D, Q(x).
A proposio universal verdadeira sse Q(x) verdadeiro para todo x em
D.
A proposio universal falsa sse Q(x) falso para pelo menos um x em
D.
O valor de x para o qual Q(x) falso chamado de contra-exemplo
para a proposio universal.
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
10
Proposio universal
Verifique se a proposio universal verdadeira ou falsa:
(a) Seja D = {1, 2, 3, 4, 5} e a proposio x D, x2 x.
12 1, 22 2, 32 3, 42 4, 52 5
.
. . a proposio x D, x2 x verdadeira.
Mtodo da exausto.
(b) x R, x2 x.
1
2
!2
1
1
= 6
4
2
.
. . a proposio falsa.
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
11
Proposio existencial
Definio: Seja Q(x) um predicado e D o domnio de x. Uma proposio
existencial uma proposio da forma x D | Q(x).
A proposio existencial verdadeira sse Q(x) verdadeiro para pelo menos um x em D.
A proposio existencial falsa sse Q(x) falso para todo x em D.
Verifique se a proposio existencial verdadeira ou falsa:
(a) m Z | m2 = m.
12 = 1.
.
. . m2 = m para pelo menos um inteiro m; logo, a proposio m
Z | m2 = m verdadeira.
(b) Seja E = {5, 6, 7, 8, 9, 10} e a proposio
m E | m2 = m.
52 = 25 6= 5 62 = 36 6= 6 72 = 49 6= 7
82 = 64 6= 8 92 = 81 6= 9 102 = 100 6= 10
.
. . a proposio m E | m2 = m falsa.
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
12
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
13
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
14
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
15
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
16
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
17
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
18
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
19
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
20
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
21
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
22
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
23
(a) (b)
No. Em geral, ao se trocar a ordem dos quantificadores na sentena o sentido muda.
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
24
UFMG/ICEx/DCC
MD
L+
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
25
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
26
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
27
Anlogo a De Morgan.
UFMG/ICEx/DCC
MD
Negao
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
28
A relao entre , , ,
Seja o predicado Q(x),
onde x tem domnio D = {x1, x2, . . . , xn}.
Proposio universal uma generalizao da conjuno ():
x D, Q(x) Q(x1) Q(x2) . . . Q(xn)
Exemplo 19: Q(x) : x x, D = {0, 1}
x D, Q(x) Q(0) Q(1)
Proposio existencial uma generalizao da disjuno ():
x D tal que Q(x) Q(x1) Q(x2) . . . Q(xn)
Exemplo 20: Q(x) : x + x, D = {0, 1}
x D tal que Q(x) Q(0) Q(1)
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
29
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
30
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
31
Condio somente se
x, R(x) somente se S(x)
x, se S(x) ento R(x)
x, se R(x) ento S(x).
Exemplo 27:
O produto de dois nmeros zero somente se um dos nmeros zero.
x, se os dois nmeros so diferentes de zero ento o produto dos dois
nmeros diferente de zero.
x, se o produto de dois nmeros zero ento um dos nmeros zero.
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
32
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
33
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
34
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
35
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
36
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
37
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
38
.
. . A forma do argumento vlida.
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
39
Premissa Menor
mortais
mortais
Zeus
seres humanos
mortais
Zeus
seres humanos
.
. . A forma do argumento vlida.
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
40
Premissa Maior
mortais
Premissa Menor
mortais
Felix
seres humanos
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
41
mortais
mortais
Felix
Felix
seres humanos
seres humanos
.
. . A forma do argumento invlida.
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
42
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
43
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
44
funes com
assntotas horizontais
essa funo
.
. . A forma do argumento vlida.
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
45
UFMG/ICEx/DCC
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
46
MD
Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados
47