Você está na página 1de 47

Lgica de Proposies Quanticadas Clculo de Predicados

Antonio Alfredo Ferreira Loureiro


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

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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.
UFMG/ICEx/DCC MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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.

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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.

uso da letra Z vem do alemo zahl, que signica nmero.


MD

UFMG/ICEx/DCC

Logica de Proposicoes Quanticadas Calculo de Predicados

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}.

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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.

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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+ (inteiros positivos). 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);

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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.

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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.

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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.

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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 2 . . . a proposio falsa.
2

1 1 = 4 2

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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.
UFMG/ICEx/DCC MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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. programas p tal que p estruturado.

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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.
UFMG/ICEx/DCC MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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.
UFMG/ICEx/DCC MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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)
UFMG/ICEx/DCC MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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.

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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)
UFMG/ICEx/DCC MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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.

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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))

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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.

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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.

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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 (existir) no prato uma bola que no seja azul. Como no existe, a negao falsa e, assim, a proposio verdadeira por default.
UFMG/ICEx/DCC MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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.
?

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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+

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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.

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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.
UFMG/ICEx/DCC MD

Negao
28

Logica de Proposicoes Quanticadas Calculo de Predicados

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

Logica de Proposicoes Quanticadas Calculo de Predicados

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

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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.

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo 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

Logica de Proposicoes Quanticadas Calculo de Predicados

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.

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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)

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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).

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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).

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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.

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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).
UFMG/ICEx/DCC MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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.

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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.


UFMG/ICEx/DCC MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

41

Usando diagramas para mostrar a validade de proposies


Possveis situaes

mortais

Felix Felix seres humanos seres humanos

mortais

. . . A forma do argumento invlida.

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

42

Argumentos com proposies quanticadas: Formas invlidas


Erro oposto: 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).

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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).

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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.

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

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).

UFMG/ICEx/DCC

MD

Logica de Proposicoes Quanticadas Calculo de Predicados

46

Comentrios sobre erros oposto e inverso


Erro comum porque as pessoas assumem a premissa maior como bicondicional ao invs de uma sentena condicional simples. Variao do erro oposto 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.
UFMG/ICEx/DCC MD

Logica de Proposicoes Quanticadas Calculo de Predicados

47