Você está na página 1de 47

Lgica de

Proposies Quantificadas
Clculo de Predicados
Renato Martins Assuno
assuncao@dcc.ufmg.br

Antonio Alfredo Ferreira Loureiro


loureiro@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

Predicados e proposies quantificadas


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

Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados

Predicados e proposies quantificadas


Definio: Um predicado uma sentena que contm um nmero finito de
variveis e se torna uma proposio quando as variveis so substitudas por
valores especficos.
Os valores das variveis de predicados so definidos por conjuntos chamados
domnios. Por exemplo, R, Z, Q.
Nota: O uso da letra Z vem do alemo zahl, que significa nmero.

UFMG/ICEx/DCC

MD

Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados

Predicados e proposies quantificadas


Definio: 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

Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados

Predicados e proposies quantificadas


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

UFMG/ICEx/DCC

MD

Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados

Predicados e proposies quantificadas


Exemplo 2:
P (x): x um fator de 8;
Q(x): x um fator de 4;
R(x): x < 5 e x 6= 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

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

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

Lo
gica de Proposic
o
es Quantificadas Ca
lculo 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.
Definio 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

Lo
gica de Proposic
o
es Quantificadas Ca
lculo 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.
significam 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

Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados

15

Negaes de proposies quantificadas


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

Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados

16

Negaes de proposies quantificadas


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

UFMG/ICEx/DCC

MD

Lo
gica de Proposic
o
es Quantificadas Ca
lculo 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

Lo
gica de Proposic
o
es Quantificadas Ca
lculo 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

Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados

19

Negaes de proposies condicionais universais


Pela definio 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

Lo
gica de Proposic
o
es Quantificadas Ca
lculo 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

Lo
gica de Proposic
o
es Quantificadas Ca
lculo 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

Lo
gica de Proposic
o
es Quantificadas Ca
lculo 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 identificar 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

Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados

23

Proposies contendo mltiplos quantificadores


Reescreva as sentenas abaixo formalmente usando quantificadores 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 quantificadores na sentena o sentido muda.

UFMG/ICEx/DCC

MD

Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados

24

Proposies contendo mltiplos quantificadores


Definio do limite de uma sequncia 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 +

UFMG/ICEx/DCC

MD

L+

Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados

25

Negaes de proposies quantificadas


multiplamente
Exemplo 16: Qual a negao da seguinte afirmao:
P : pessoas x, uma pessoa y tal que x ama y.
O que significa 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

Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados

26

Negaes de proposies quantificadas


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 6= 2k.

UFMG/ICEx/DCC

MD

Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados

27

Negaes de proposies quantificadas


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:
Quantificador

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

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 definidas:
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) 6 PCU
Exemplo 23: x R, se x2 > 4 ento x > 2
Inverso: x D, se P (x) ento Q(x) 6 PCU
Exemplo 24: x R, se x 2 ento x2 4

UFMG/ICEx/DCC

MD

Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados

30

Condies suficiente e necessria


x, R(x) uma condio suficiente para S(x)
x, se R(x) ento S(x).
Exemplo 25:
Ser quadrado uma condio suficiente 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

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

Argumentos com afirmaes quantificadas


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 definida, por exemplo, em termos de uma frmula
matemtica, definio 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

Lo
gica de Proposic
o
es Quantificadas Ca
lculo 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 quantificada) e uma concluso:
1a premissa chamada de maior (major)
2 a premissa chamada de menor (minor)

UFMG/ICEx/DCC

MD

Lo
gica de Proposic
o
es Quantificadas Ca
lculo 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 quantificadores, variveis e predicados:
x, se E(x) ento S(x);
E(k) para k em particular;
.
. . S(k).

UFMG/ICEx/DCC

MD

Lo
gica de Proposic
o
es Quantificadas Ca
lculo 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

Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados

36

Modus Tollens Universal


Exemplo 29:
Todos seres humanos so mortais;
Zeus no mortal;
.
. . Zeus no humano.
Reescrevendo com quantificadores, 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

Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados

37

Provando validade de argumentos com


proposies quantificadas
Definio (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 afirmao 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

Lo
gica de Proposic
o
es Quantificadas Ca
lculo 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

Lo
gica de Proposic
o
es Quantificadas Ca
lculo 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

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

Usando diagramas para mostrar a validade de


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

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

Usando diagramas para mostrar a validade de


proposies
Possveis situaes

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

Argumentos com proposies quantificadas:


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

Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados

43

Argumentos com proposies quantificadas:


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

Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados

44

Argumentos com proposies quantificadas:


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

Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados

45

Argumentos com proposies quantificadas:


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

Lo
gica de Proposic
o
es Quantificadas Ca
lculo 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
Verifique 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

Lo
gica de Proposic
o
es Quantificadas Ca
lculo de Predicados

47