Vous êtes sur la page 1sur 47

Lgica de Proposies Quanticadas Clculo de Predicados

Fabiano C. Botelho
fabiano@decom.cefetmg.br http://www.dcc.ufmg.br/~fbotelho

Transp. cedidas pelo Prof. Antonio Alfredo Ferreira Loureiro


loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro

CEFET-MG/DECOM

MD

Conceitos

Introduo
J estudamos anlise de proposies compostas, i.e., proposies simples ligadas por conectivos , , , , . Este tipo de anlise no suciente 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 quanticadas. Clculo de proposies ou clculo proposicional: rea que trata da anlise de proposies compostas.
CEFET-MG/DECOM MD

Conceitos

Predicados e proposies quanticadas


Predicado [gramtica]: parte da sentena que fornece informao sobre o sujeito. Predicado [lgica]: pode ser obtido removendo substantivos de uma proposio. Sejam os seguintes predicados: P : um estudante na UFMG Q: um estudante no(a) P e Q so smbolos de predicados. que podem ser reescritos com variveis: P (x): x um estudante na UFMG Q(x, y ): x um estudante no(a) y x e y so variveis dos predicados.

CEFET-MG/DECOM

MD

Conceitos

Predicados e proposies quanticadas


Denio: Um predicado uma sentena que contm um nmero nito de variveis e se torna uma proposio quando as variveis so substitudas por valores especcos. Os valores das variveis de predicados so denidos por conjuntos chamados domnios. Por exemplo, R, Z, Q.

CEFET-MG/DECOM

MD

Conceitos

Predicados e proposies quanticadas


Denio: Se P (x) um predicado e x tem domnio D, o conjunto verdade de P (x) o conjunto de todos elementos de D que fazem P (x) verdadeiro quando substitudo por x. O conjunto verdade de P (x) denotado por {x D | P (x)} Exemplo 1: P (x): x um fator de 8 e o domnio de x o conjunto de todos os inteiros positivos. O conjunto verdade de P (x) {1, 2, 4, 8}.

CEFET-MG/DECOM

MD

Conceitos

Predicados e proposies quanticadas


Notao: Sejam P (x) e Q(x) predicados e suponha que o domnio comum de x D. A notao P (x) Q(x) signica que cada elemento no conjunto verdade de P (x) est no conjunto verdade de Q(x). A notao P (x) Q(x) signica que P (x) e Q(x) tm conjuntos verdade idnticos.

CEFET-MG/DECOM

MD

Conceitos

Predicados e proposies quanticadas


Exemplo 2: P (x): x um fator de 8; Q(x): x um fator de 4; R ( x) : x < 5 e x = 3 , e o domnio de x Z+. Que relaes podem ser expressas entre os trs predicados? O conjunto verdade de P (x) {1, 2, 4, 8}; O conjunto verdade de Q(x) {1, 2, 4}; O conjunto verdade de R(x) {1, 2, 4}; . . . Q(x) P (x); . . . R(x) P (x); . . . Q(x) R(x);

CEFET-MG/DECOM

MD

Conceitos

Quanticadores: e
Como transformar predicados em proposies? Atribuir valores especcos para todas variveis. Usar quanticadores. Denio: Quanticadores so palavras/expresses que referem a quantidades tais como todos e alguns e indicam para quantos elementos do domnio um dado predicado verdadeiro.

CEFET-MG/DECOM

MD

Conceitos

Quanticadores: e
: denota para todos e chamado de quanticador 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 quanticador 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.

CEFET-MG/DECOM

MD

Conceitos

Proposio universal
Denio: 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.

CEFET-MG/DECOM

MD

Conceitos

10

Proposio universal
Verique 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 1 1 2 ( ) = 2 4 2

. . . a proposio falsa.

CEFET-MG/DECOM

MD

Conceitos

11

Proposio existencial
Denio: 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. Verique se a proposio existencial verdadeira ou falsa: (a) m Z | m2 = m. 12 = 1 . . . . m2 = m para pelo menos um inteiro m e 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 = 5 62 = 36 = 6 72 = 49 = 7 82 = 64 = 8 92 = 81 = 9 102 = 100 = 10 . . . a proposio m E | m2 = m falsa.
CEFET-MG/DECOM MD

Conceitos

12

Traduo de linguagem formal para informal e vice-versa


x R, x2 0. Todos nmeros reais tm quadrados no-negativos. m Z | m2 = m. Existe um nmero inteiro cujo quadrado igual a ele mesmo. Todos os tringulos tm trs lados. tringulos t, t tem trs lados. Alguns programas so estruturados. um programa p tal que p estruturado.

CEFET-MG/DECOM

MD

Conceitos

13

Proposio condicional universal


Considera-se que a forma de proposio mais importante em Matemtica a proposio condicional universal. x, se P (x) ento Q(x) x R, se x > 2 ento x2 > 4. Se um nmero real maior que 2 ento seu quadrado maior que 4. Todos bytes tm oito bits. x, se x um byte, ento x tem oito bits. Denio de um argumento vlido como uma proposio condicional universal. todas combinaes de valores verdade das variveis de uma sentena se as premissas so todas verdadeiras ento a concluso tambm verdadeira.
CEFET-MG/DECOM MD

Conceitos

14

Formas equivalentes de proposies universal e lgica


As proposies nmeros reais x, se x um inteiro, ento x racional. inteiros x, x racional. signicam a mesma coisa, que tm a seguinte traduo: todos inteiros so racionais. x U se P (x) ento Q(x) x D, Q(x). Se restringirmos o domnio U ao domnio D temos a seguinte equivalncia. x D, Q(x) x, se x est em D ento Q(x) Exemplo 5: polgonos p, se p um quadrado, ento p um retngulo quadrados p, p um retngulo. x U tal que P (x) e Q(x) x D tal que Q(x) Neste caso, D consiste de todos elementos de U que fazem P (x) verdadeiro.
CEFET-MG/DECOM MD

Conceitos

15

Negaes de proposies quanticadas


Exemplo 6: P : Todos matemticos usam culos. P : Nenhum matemtico usa culos. (ERRADO) Um ou mais matemticos no usam culos. (ou) Alguns matemticos no usam culos. Teorema: A negao de uma proposio da forma x D, Q(x) equivalente logicamente a proposio da forma x D | Q(x) Simbolicamente temos: (x D, Q(x)) x D | Q(x)
CEFET-MG/DECOM MD

Conceitos

16

Negaes de proposies quanticadas


Exemplo 7: P : primos p, p mpar. P : um primo p | p no mpar. Exemplo 8: P : Todos os programas de computador so nitos. P : Alguns programas de computador no so nitos. Exemplo 9: P : polticos x, x no honesto. P : Alguns polticos so honestos.

CEFET-MG/DECOM

MD

Conceitos

17

Negaes de proposies existenciais


Exemplo 10: P : Alguns peixes respiram ar. P : Alguns peixes no respiram ar. (ERRADO) Nenhum peixe respira ar. Teorema: A negao de uma proposio da forma x D | Q(x) equivalente logicamente a proposio da forma x D, Q(x) Simbolicamente temos: (x D | Q(x)) x D, Q(x)
CEFET-MG/DECOM MD

Conceitos

18

Negaes de proposies existenciais


Exemplo 11: P : um tringulo tal que a soma dos ngulos de T igual a 200 graus. P : tringulos T , a soma dos ngulos de T no igual a 200 graus. Exemplo 12: P : Alguns hackers de computador tm mais de 40 anos. P : Todos os hackers de computador tm 40 anos ou menos.

CEFET-MG/DECOM

MD

Conceitos

19

Negaes de proposies condicionais universais


Pela denio da negao de uma proposio universal, temos: (x, P (x) Q(x)) x | (P (x) Q(x)) Sabe-se tambm que a negao de uma sentena condicional pode ser decomposta numa sentena conjuntiva: (P (x) Q(x)) P (x) Q(x) Fazendo a substituio temos: (x, P (x) Q(x)) x | (P (x) Q(x))

CEFET-MG/DECOM

MD

Conceitos

20

Negaes de proposies condicionais universais


Exemplo 13: P : pessoas p, se p loura ento p tem olhos azuis. P : uma pessoa p tal que p loura e p no tem olhos azuis. Exemplo 14: P : Se um programa de computador tem mais de 100.000 linhas ento o programa contm um erro. P : Existe pelo menos um programa de computador que tem mais de 100.000 linhas e o programa no contm um erro.

CEFET-MG/DECOM

MD

Conceitos

21

Verdade por default de proposies universais


Uma proposio da forma x D, se P (x) ento Q(x) chamada de verdade por default sse P (x) falso para cada x em D.

CEFET-MG/DECOM

MD

Conceitos

22

Verdade por default de proposies universais


Exemplo 15: Sejam cinco bolas azuis, cinco brancas e um prato. Cenrio 1: trs bolas azuis e uma branca so colocadas no prato. P : Todas as bolas no prato so azuis. P falso, j que possvel identicar uma bola branca no prato. Cenrio 2: o prato est vazio. P : Todas as bolas no prato so azuis. P verdadeiro ou falso? A proposio falsa sse sua negao for verdadeira. A negao : P : Existe pelo menos uma bola no prato que no azul. P s verdadeiro se houver no prato uma bola que no seja azul. Como no existe, a negao tambm falsa e, assim, a proposio verdadeira por default.
CEFET-MG/DECOM MD

Conceitos

23

Proposies contendo mltiplos quanticadores


Reescreva as sentenas abaixo formalmente usando quanticadores e variveis: (a) Todo mundo ama algum. pessoas x, uma pessoa y tal que x ama y . (b) Algum ama todo mundo. uma pessoa x tal que pessoas y , x ama y . As sentenas (a) e (b) so equivalentes logicamente? (a) (b) No. Em geral, ao se trocar a ordem dos quanticadores na sentena o sentido muda.
?

CEFET-MG/DECOM

MD

Conceitos

24

Proposies contendo mltiplos quanticadores


Denio do limite de uma seqncia an: lim a = L n n sse os valores de an tornam-se arbitrariamente perto de L, i.e., convergem para L medida que n cresce. > 0, um nmero inteiro n0 tal que inteiros n se n > n0 ento L < an < L +

L+

CEFET-MG/DECOM

MD

Conceitos

25

Negaes de proposies quanticadas multiplamente


Exemplo 16: Qual a negao da seguinte armao: P : pessoas x, uma pessoa y tal que x ama y . O que signica a sentena ser falsa? A propriedade no ser vlida para todas as pessoas. P : uma pessoa x tal que ( uma pessoa y tal que x ama y ) uma pessoa x tal que pessoas y , x no ama y

CEFET-MG/DECOM

MD

Conceitos

26

Negaes de proposies quanticadas multiplamente


Regra geral: P : x, y tal que C (x, y ). P : x tal que y , C (x, y ). Exemplo 17: P : inteiros n, um inteiro k tal que n = 2k. P : um inteiro n tal que inteiro k, n = 2k.

CEFET-MG/DECOM

MD

Conceitos

27

Negaes de proposies quanticadas multiplamente


Regra geral: P : x tal que y , C (x, y ). P : x, y tal que C (x, y ). Exemplo 18: P : uma pessoa x tal que pessoas y , x ama y . P : pessoas x uma pessoa y tal que x no ama y . Sumrio: Quanticador Anlogo a De Morgan.
CEFET-MG/DECOM MD

Negao
28

Conceitos

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)
CEFET-MG/DECOM MD

Conceitos

29

Variaes de proposies condicionais universais


Seja a proposio condicional universal (PCU): x D, se P (x) ento Q(x) Exemplo 21: x R, se x > 2 ento x2 > 4 As seguintes proposies podem ser denidas: Contrapositivo: x D, se Q(x) ento P (x) PCU Exemplo 22: x R, se x2 4 ento x 2 Recproca: x D, se Q(x) ento P (x) PCU Exemplo 23: x R, se x2 > 4 ento x > 2 Inverso: x D, se P (x) ento Q(x) PCU Exemplo 24: x R, se x 2 ento x2 4

CEFET-MG/DECOM

MD

Conceitos

30

Condies suciente e necessria


x, R(x) uma condio suciente para S (x) x, se R(x) ento S (x). Exemplo 25: Ser quadrado uma condio suciente para ser retangular. x, se x quadrado ento x retangular. x, R(x) uma condio necessria para S (x) x, se R(x) ento S (x) x, se S (x) ento R(x). Exemplo 26: Ter 35 anos uma condio necessria para ser presidente do Brasil. x, se x no tem 35 anos ento x no pode ser presidente do Brasil. x, se x presidente do Brasil ento x tem 35 anos.

CEFET-MG/DECOM

MD

Conceitos

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.

CEFET-MG/DECOM

MD

Conceitos

32

Argumentos com armaes quanticadas


Regra da Instanciao Universal: Se uma propriedade verdadeira para cada objeto no domnio Ento a propriedade verdadeira para um objeto em particular do domnio. A propriedade pode ser denida, por exemplo, em termos de uma frmula matemtica, denio ou teorema. Exemplo famoso de instanciao universal: Todos seres humanos so mortais; Scrates um ser humano; . . . Scrates mortal. Instanciao universal a ferramenta fundamental do raciocnio dedutivo.

CEFET-MG/DECOM

MD

Conceitos

33

Modus Ponens Universal


Regra de instanciao universal + modus ponens Verso informal: Se x faz com que P (x) seja verdadeiro ento x faz com que Q(x) seja verdadeiro. a faz com que P (a) seja verdadeiro; . . . a faz com que Q(a) seja verdadeiro; Verso formal: x, se P (x) ento Q(x); P (a) para a em particular; . . . Q(a). Silogismo: duas premissas (uma quanticada) e uma concluso: 1a premissa chamada de maior (major) 2 a premissa chamada de menor (minor)

CEFET-MG/DECOM

MD

Conceitos

34

Modus Ponens Universal


Exemplo 28: Se um [nmero par]=E (x) ento [seu quadrado par]=S (x); k um nmero que par; . . . k2 par. Reescrevendo com quanticadores, variveis e predicados: x, se E (x) ento S (x); E (k) para k em particular; . . . S (k ).

CEFET-MG/DECOM

MD

Conceitos

35

Modus Tollens Universal


Regra de instanciao universal + modus tollens Verso informal: Se x faz com que P (x) seja verdadeiro ento x faz com que Q(x) seja verdadeiro. a no faz com que Q(a) seja verdadeiro; . . . a no faz com que P (a) seja verdadeiro; Verso formal: x, se P (x) ento Q(x); Q(a) para a em particular; . . . P (a).

CEFET-MG/DECOM

MD

Conceitos

36

Modus Tollens Universal


Exemplo 29: Todos seres humanos so mortais; Zeus no mortal; . . . Zeus no humano. Reescrevendo com quanticadores, variveis e predicados e supondo: H (x): x humano, e M (x): x mortal. x, se H (x) ento M (x); M (z ) para z em particular; . . . H (z ) para z em particular.

CEFET-MG/DECOM

MD

Conceitos

37

Provando validade de argumentos com proposies quanticadas


Denio (forma de um argumento): A forma de um argumento vlida quando os smbolos dos predicados nas premissas forem substitudos por quaisquer predicados em particular, se as premissas resultantes forem verdadeiras ento a concluso tambm verdadeira. Um argumento vlido sse sua forma vlida. Prova de validade da regra do Modus Ponens Universal: x, se P (x) ento Q(x); P (a) para a em particular; . . . Q(a). Suponha que as premissas maior e menor so V. Mostre que Q(a) V (o que deve ser provado). Pela premissa menor P(a) V. Pela premissa maior e a regra de instanciao universal a armao se P (a) ento Q(a) V para o valor de a em particular. Se as proposies P (a) Q(a) e P (a) so V, ento por modus ponens a proposio Q(a) tambm V (o que devia ser provado).
CEFET-MG/DECOM MD

Conceitos

38

Usando diagramas para mostrar a validade de proposies


Idia: Represente a validade das premissas com diagramas. Analise os diagramas para saber se eles representam tambm a verdade da concluso. Exemplo 30: P: inteiros n, n um nmero racional.
nmeros racionais inteiros

. . . A forma do argumento vlida.

CEFET-MG/DECOM

MD

Conceitos

39

Usando diagramas para mostrar a validade de proposies


Exemplo 31: Todos seres humanos so mortais; Zeus no mortal; . . . Zeus no humano.
Premissa Maior mortais seres humanos Premissa Menor mortais

Zeus

mortais seres humanos

Zeus

. . . A forma do argumento vlida.


CEFET-MG/DECOM MD

Conceitos

40

Usando diagramas para mostrar a validade de proposies


Exemplo 32: Todos seres humanos so mortais; Felix mortal; . . . Felix um ser humano.

Premissa Maior

Premissa Menor

mortais

mortais

Felix seres humanos

CEFET-MG/DECOM

MD

Conceitos

41

Usando diagramas para mostrar a validade de proposies


Possveis situaes

mortais

Felix Felix seres humanos seres humanos

mortais

. . . A forma do argumento invlida.

CEFET-MG/DECOM

MD

Conceitos

42

Argumentos com proposies quanticadas: Formas invlidas


Erro recproco: Verso informal: Se x faz com que P (x) seja verdadeiro ento x faz com que Q(x) seja verdadeiro; a faz com que Q(a) seja verdadeiro; . . . a faz com que P (a) seja verdadeiro. Verso formal: x, se P (x) ento Q(x); Q(a) para a em particular; . . . P (a).

CEFET-MG/DECOM

MD

Conceitos

43

Argumentos com proposies quanticadas: Formas invlidas


Erro inverso: Verso informal: Se x faz com que P (x) seja verdadeiro ento x faz com que Q(x) seja verdadeiro; a no faz com que P (a) seja verdadeiro; . . . a no faz com que Q(a) seja verdadeiro. Verso formal: x, se P (x) ento Q(x); P (a) para a em particular; . . . Q(a).

CEFET-MG/DECOM

MD

Conceitos

44

Argumentos com proposies quanticadas: Argumentos com nenhum(a)/no


Testando a validade de um argumento com diagramas: Nenhuma funo polinomial tem assntota horizontal; Essa funo tem assntota horizontal; . . . Essa funo no polinomial.
funes polinomiais funes com assntotas horizontais

essa funo

. . . A forma do argumento vlida.

CEFET-MG/DECOM

MD

Conceitos

45

Argumentos com proposies quanticadas: Argumentos com nenhum(a)/no


Outra alternativa: P (x): x uma funo polinomial. Q(x): x no tem assntota horizontal. x, se P (x) ento Q(x); Q(a) para a em particular; . . . P (a).

CEFET-MG/DECOM

MD

Conceitos

46

Comentrios sobre erros recproco e inverso


Erro comum porque as pessoas assumem a premissa maior como bicondicional ao invs de uma sentena condicional simples. Variao do erro recproco pode ser uma ferramenta til se usada com critrio. x, se P (x) ento Q(x); (V) Q(a); (V) para a em particular Verique se P (a) tambm V. Exemplo 33: x, se x tem pneumonia ento [x tem febre e calafrios, tosse forte e sente cansado]. Se o mdico sabe sobre [ . . . ] ento existe uma forte possibilidade (mas no certeza) que a pessoa tem pneumonia. Forma de raciocnio chamada de abduo (abduction) em IA e muito usada em sistemas especialistas.
CEFET-MG/DECOM MD

Conceitos

47