INE5403

F UNDAMENTOS DE
M ATEMTICA D ISCRETA
PARA A C OMPUTAO
M ATERIAL

EXTRAI DO DOS LIVROS - TEXTOS

(KOLMAN /R OSEN )

UFSC - CTC - INE

UFSC/CTC/INE p. 1

2 - M TODOS DE P ROVA
2.1) Proposies
2.2) Predicados e quantificadores
2.3) Provas matemticas com predicados

UFSC/CTC/INE p. 2

P REDICADOS E QUANTIFICADORES
Servem para declaraes da forma:
x > 3
x = y + 3
x + y = z
Nem V nem F enquanto valores das variveis no so especificados.

Como produzir proposies a partir destas declaraes??

UFSC/CTC/INE p. 3

P REDICADOS
A declarao x maior do que 3 tem duas partes:
a varivel x (= sujeito)
maior do que 3 (= predicado)
Predicado: propriedade que o sujeito da declarao pode ter.
Podemos denotar x maior do que 3 por P (x):
P o predicado
x a varivel
P (x) o valor da funo proposicional P em x.
Quando um valor atribudo a x, P (x) se torna uma proposio
e tem valor verdade.

UFSC/CTC/INE p. 4

P REDICADOS
Exemplo: seja P (x) a declarao x > 3.
Quais so os valores verdade de P (4) e P (2)?

UFSC/CTC/INE p. 5

P REDICADOS
Tambm podemos ter declaraes com mais de uma varivel.
Exemplo: x = y + 3.
Pode ser denotado por Q(x, y)
Quando se atribui valores para x e para y, Q(x, y) passa a ter
um valor verdade.
Quais so os valores verdade de Q(1, 2) e Q(3, 0)?

Exemplo: seja R(x, y, z) dado por x + y = z.

Quais os valores verdade de R(1, 2, 3) e R(0, 0, 1)?

UFSC/CTC/INE p. 6

P REDICADOS
Em geral, uma declarao envolvendo as n variveis x1 , x2 , . . . , xn
pode ser denotada por:
P (x1 , x2 , . . . , xn )
que o valor da funo proposicional P para a tupla:
(x1 , x2 , . . . , xn )
P tambm chamado de predicado

UFSC/CTC/INE p. 7

Q UANTIFICADORES
Atribuindo valores a todas as variveis em uma funo proposicional,
o resultado uma proposio com valor verdade determinado.
Outra forma de criar uma proposio a partir de uma funo
proposicional:
a quantificao
Discutiremos quantificao universal e quantificao existencial.

UFSC/CTC/INE p. 8

Q UANTIFICADOR U NIVERSAL
Muitas declaraes afirmam que uma propriedade V ou F para
todos os valores de uma varivel em um domnio em particular
ou seja, em um universo de discurso
So expressas com um quantificador universal:
P (x) V para todos os valores de x
o universo de discurso que especifica os possveis valores da
varivel x.

UFSC/CTC/INE p. 9

Q UANTIFICADOR U NIVERSAL
A quantificao universal de P (x) a proposio:
P (x) V para todos os valores de x no universo de discurso.
Denotada por: x P (x)
o quantificador universal
para todo x, P (x)
para todos os x, P (x)

UFSC/CTC/INE p. 10

Q UANTIFICADOR U NIVERSAL
Exemplo: Seja P (x) dado por x + 1 > x.
Qual o valor verdade da quantificao x P (x), sendo que o
universo de discurso consiste de todos os nros reais?

Exemplo: Seja Q(x) a declarao x < 2.

Qual o valor verdade da quantificao x Q(x)?
O universo de discurso consiste de todos os nros reais.

UFSC/CTC/INE p. 11

Q UANTIFICADOR U NIVERSAL
Quando todos os elementos do universo de discurso podem ser
listados:
x1 , x2 , . . . , xn
a quantificao universal fica o mesmo que a conjuno:
P (x1 ) P (x2 ) . . . P (xn )
a qual V sse:
P (x1 ), P (x2 ), . . . , P (xn ) so todos V

UFSC/CTC/INE p. 12

Q UANTIFICADOR U NIVERSAL
Exemplo: qual o valor verdade de x P (x), onde:
P (x) x2 < 10
o UD so os inteiros positivos no maiores do que 4?

UFSC/CTC/INE p. 13

Q UANTIFICADOR U NIVERSAL
Especificar bem o UD importante quando se usa quantificadores.
O valor verdade de uma declarao quantificada frequentemente
depende de quais elementos esto neste universo...

UFSC/CTC/INE p. 14

Q UANTIFICADOR U NIVERSAL
Exemplo: Qual o valor verdade de x (x2 x) se:
o universo de discurso consiste de todos os nros reais?
o UD consiste de todos os nros inteiros?
Resposta:
note que x2 x sse x.(x 1) 0
ou seja: sse x 0 ou x 1
logo: ??

UFSC/CTC/INE p. 15

Q UANTIFICADOR U NIVERSAL
Para mostrar que uma declarao da forma x P (x) F:
s preciso encontrar um valor de x no UD para o qual P (x) F
este valor chamado de contra-exemplo da declarao x P (x)
Exemplo: Seja P (x) dado por x2 > 0.
Vemos que x = 0 um contra-exemplo

UFSC/CTC/INE p. 16

Q UANTIFICADOR E XISTENCIAL
Muitas declaraes matemticas estabelecem que existe um
elemento com uma certa propriedade.
So expressas usando quantificao existencial.
Forma-se uma proposio que V se e somente se P (x) V para
pelo menos um valor de x no universo de discurso.

UFSC/CTC/INE p. 17

Q UANTIFICADOR E XISTENCIAL
A quantificao existencial de P (x) a proposio:
existe um elemento x no universo de discurso tal que P (x) V
usa-se a notao: x P (x)
o quantificador existencial
significa:
existe um x tal que P (x)
existe pelo menos um x tal que P (x)
para algum x, P (x)

UFSC/CTC/INE p. 18

Q UANTIFICADOR E XISTENCIAL
Exemplo: Seja P (x) a declarao x > 3.
Qual o valor verdade da quantificao x P (x) ?
O UD consiste de todos os nmeros reais.
Resposta: x P (x) ??

UFSC/CTC/INE p. 19

Q UANTIFICADOR E XISTENCIAL
Exemplo: Seja Q(x) a declarao x = x + 1. Qual o valor
verdade de x Q(x), se o UD consiste de todos os reais?
Resposta: x Q(x) ??

UFSC/CTC/INE p. 20

Q UANTIFICADOR E XISTENCIAL
Se todos os elementos do universo de discurso podem ser listados:
por exemplo: x1 , x2 , . . . , xn
segue que a quantificao existencial o mesmo que a disjuno:
P (x1 ) P (x2 ) . . . P (xn )
a qual V sse pelo menos um entre P (x1 ), P (x2 ), . . . , P (xn ) for V

UFSC/CTC/INE p. 21

Q UANTIFICADOR E XISTENCIAL
Exemplo: Qual o valor verdade de x P (x), onde:
P (x) a declarao x2 > 10
o UD consiste dos inteiros positivos no maiores do que 4?
Resposta:
Como o UD {1, 2, 3, 4}, x P (x) o mesmo que a disjuno:
P (1) P (2) P (3) P (4)
Como P (4) V, segue que x P (x) V

UFSC/CTC/INE p. 22

Q UANTIFICADORES - R ESUMO
Declarao

Quando V?

Quando F?

x P (x)

P (x) V para todo x

Existe um x
para o qual P (x) F

x P (x)

Existe um x

P (x) F para todo x

para o qual P (x) V

UFSC/CTC/INE p. 23

L IGANDO VARIVEIS
Quando:
um quantificador usado sobre a varivel x
ou: quando atribumos um valor a esta varivel
dizemos que esta ocorrncia da varivel est ligada (ou amarrada).

Uma ocorrncia de varivel que no est ligada a um quantificador

ou fixa em um valor particular chamada de livre.

UFSC/CTC/INE p. 24

L IGANDO VARIVEIS
Todas as variveis que ocorrem em uma funo proposicional devem
estar ligadas, para que ela seja considerada uma proposio.
Isto pode ser feito com uma combinao de:
quantificadores universais
quantificadores existenciais
atribuies de valores

UFSC/CTC/INE p. 25

L IGANDO VARIVEIS
A parte de uma expresso lgica qual um quantificador aplicado
o seu escopo.
Uma varivel livre se estiver fora do escopo de todos os
quantificadores na frmula que a especifica.
Exemplo: na declarao x Q(x, y):
a varivel x est ligada quantificao x
mas a varivel y est livre:
no est ligada a nenhum quantificador
nenhum valor lhe est sendo atribudo.

UFSC/CTC/INE p. 26

L IGANDO VARIVEIS
Exemplo: na declarao x (P (x) Q(x)) x R(x):
Todas as variveis esto ligadas.
O escopo de x a expresso:
P (x) Q(x)
O escopo do quantificador x R(x)
Note que esta expresso pode ser escrita como:
x (P (x) Q(x)) y R(y)

UFSC/CTC/INE p. 27

N EGAES
Exemplo: Considere a sentena:
Todo aluno nesta sala j fez um curso de Clculo
Quantificao universal: x P (x)
onde P (x) x j cursou Clculo
A negao desta sentena :
No verdade que todo aluno nesta sala j tenha feito Clculo
Note que isto equivalente a:
Existe algum estudante em sala que no cursou Clculo
ou seja: x P (x)

UFSC/CTC/INE p. 28

N EGAES
Este exemplo ilustra a seguinte equivalncia:

x P (x) x P (x)
Isto pode ser provado generalizando a lei de De Morgan:
(P (x1 ) P (x2 ) P (xn ))) (P (x1 ) P (x2 ) P (xn )))

UFSC/CTC/INE p. 29

N EGAES
Exemplo: Agora queremos negar:
Existe um estudante nesta sala que j cursou Clculo
Trata-se de uma quantificao existencial: x Q(x)
onde Q(x) x j cursou Clculo
A negao desta declarao :
No verdade que exista nesta sala um estudante que j tenha
cursado Clculo
O que equivalente a:
Todo estudante desta sala ainda no cursou Clculo
ou seja: x Q(x)

UFSC/CTC/INE p. 30

N EGAES
Este exemplo ilustra a seguinte equivalncia:

x Q(x) x Q(x)
Isto pode ser provado generalizando a outra lei de De Morgan:
(P (x1 ) P (x2 ) P (xn ))) (P (x1 ) P (x2 ) P (xn )))

UFSC/CTC/INE p. 31

N EGAES - R ESUMO
Negao

Declarao

Quando V?

Quando F?

Para todo x,

Existe um x para o qual

P (x) F

P (x) V

Existe um x para o qual

Para todo x,

P (x) F

P (x) V

Equivalente
x P (x)
x P (x)

x P (x)
x P (x)

UFSC/CTC/INE p. 32

N EGAES
Exemplo: Qual a negao de: Existe um poltico honesto?
Seja H(x): x honesto
Ento a declarao acima : x H(x)
onde o UD consiste de todos os polticos
A negao disto :

x H(x)

a qual equivalente a:

x H(x)

a qual pode ser expressa como:

Todos os polticos no so honestos
ou: Todos os polticos so desonestos

UFSC/CTC/INE p. 33

N EGAES
Exemplo: Qual a negao de: Todos os americanos comem
hambrguers?
Seja C(x): x come hambrguers
Ento a declarao acima : x C(x)
onde o UD consiste de todos os americanos
A negao disto : x C(x)
que equivalente a: x C(x)
que pode ser expressa como:
Alguns americanos no comem hambrguers
ou: Existe pelo menos um americano que no come
hambrguers
2

UFSC/CTC/INE p. 34

N EGAES
Exemplo: A negao de x (x2 > x)
a declarao:

x (x2 > x)

que equivalente a:

x (x2 > x)

a qual pode ser reescrita como:

x (x2 x)

Note que o valor-verdade desta declarao depende do UD.

UFSC/CTC/INE p. 35

N EGAES
Exemplo: A negao de x (x2 = 2)
a declarao:

x (x2 = 2)

que equivalente a:

x (x2 = 2)

a qual pode ser reescrita como:

x (x2 6= 2)

Note que o valor-verdade desta declarao depende do UD.

UFSC/CTC/INE p. 36

I NFERNCIAS NA L GICA DE P REDICADOS (1/6)

Regra de Inferncia
xP (x)
. . P (c)
P (c) para um c arbitrrio

Nome

Observao

Instanciao

c especfico

Universal
Generalizao

c arbitrrio

. . xP (x)

Universal

xP (x)
. . P (c) para algum elemento c

Instanciao
Existencial

c especfico
(no conhecido)

Generalizao

c especfico

Existencial

e conhecido

P (c) para algum elemento c

. . xP (x)

UFSC/CTC/INE p. 37

I NFERNCIAS NA L GICA DE P REDICADOS (2/6)

Exemplo 1: Mostre que as premissas Todos nesta
turma de Fundamentos j cursaram Clculo e Manoel
um estudante nesta turma implicam na concluso
Manoel j cursou Clculo.
Declaraes bsicas:
F (x): x est nesta turma de Fundamentos
C(x): x j cursou Clculo

Premissas:
x(F (x) C(x))
F (Manoel)
UFSC/CTC/INE p. 38

I NFERNCIAS NA L GICA DE P REDICADOS (2/6)

Exemplo 1:
Premissas:

x(F (x) C(x))

F (Manoel)

Estabelecendo a concluso a partir das premissas:

Passo

Justificativa

1. x(F (x) C(x))

Premissa

2. F (Manoel) C(Manoel)

Instanciao universal de (1)

UFSC/CTC/INE p. 39

I NFERNCIAS NA L GICA DE P REDICADOS (2/6)

Exemplo 1:
Premissas:

x(F (x) C(x))

F (Manoel)

Estabelecendo a concluso a partir das premissas:

Passo

Justificativa

1. x(F (x) C(x))

Premissa

2. F (Manoel) C(Manoel)

Instanciao universal de (1)

3. F (Manoel)

Premissa

UFSC/CTC/INE p. 40

I NFERNCIAS NA L GICA DE P REDICADOS (2/6)

Exemplo 1:
Premissas:

x(F (x) C(x))

F (Manoel)

Estabelecendo a concluso a partir das premissas:

Passo

Justificativa

1. x(F (x) C(x))

Premissa

2. F (Manoel) C(Manoel)

Instanciao universal de (1)

3. F (Manoel)

Premissa

4. C(Manoel)

(2), (3), Modus Ponens

UFSC/CTC/INE p. 41

I NFERNCIAS NA L GICA DE P REDICADOS (3/6)

Exemplo 2 (1/10): Mostre que as premissas Tem um estudante
nesta turma que no leu o livro-texto e Todos nesta turma se
saram bem na primeira prova implicam na concluso Algum que
se saiu bem na primeira prova no leu o livro-texto.
Declaraes bsicas:
T (x): x est nesta turma
L(x): x leu o livro-texto
P (x): x se saiu bem na primeira prova
Premissas:

x(T (x) L(x))

x(T (x) P (x))

Concluso:

x(P (x) L(x))

UFSC/CTC/INE p. 42

I NFERNCIAS NA L GICA DE P REDICADOS (4/6)

Exemplo 2 (2/10):
Premissas: x(T (x) L(x)) e x(T (x) P (x))
Concluso: x(P (x) L(x))
Passo

Justificativa

1. x(T (x) L(x))

Premissa

UFSC/CTC/INE p. 43

I NFERNCIAS NA L GICA DE P REDICADOS (4/6)

Exemplo 2 (3/10):
Premissas: x(T (x) L(x)) e x(T (x) P (x))
Concluso: x(P (x) L(x))
Passo

Justificativa

1. x(T (x) L(x))

Premissa

2. T (a) L(a)

Instanciao existencial de (1)

UFSC/CTC/INE p. 44

I NFERNCIAS NA L GICA DE P REDICADOS (4/6)

Exemplo 2 (4/10):
Premissas: x(T (x) L(x)) e x(T (x) P (x))
Concluso: x(P (x) L(x))
Passo

Justificativa

1. x(T (x) L(x))

Premissa

2. T (a) L(a)

Instanciao existencial de (1)

3. T (a)

Simplificao de (2)

UFSC/CTC/INE p. 45

I NFERNCIAS NA L GICA DE P REDICADOS (4/6)

Exemplo 2 (5/10):
Premissas: x(T (x) L(x)) e x(T (x) P (x))
Concluso: x(P (x) L(x))
Passo

Justificativa

1. x(T (x) L(x))

Premissa

2. T (a) L(a)

Instanciao existencial de (1)

3. T (a)

Simplificao de (2)

4. ??

??

UFSC/CTC/INE p. 46

I NFERNCIAS NA L GICA DE P REDICADOS (5/6)

Nota 1: comum que apaream tanto uma regra de inferncia
proposicional quanto uma para quantificadores.
Por exemplo, Instanciao Universal e Modus Ponens so
frequentemente usadas juntas:
combinando x(P (x) Q(x)) e P (c),
onde c um elemento do UD
obtemos que Q(c) Verdadeiro.

UFSC/CTC/INE p. 47

I NFERNCIAS NA L GICA DE P REDICADOS (6/6)

Nota 2: Muitos teoremas omitem o quantificador ao definir que uma
propriedade vale para todos os elementos de um conjunto.
Por exemplo, o real significado de:
Se x > y, onde x e y so reais positivos, ento x2 > y 2
: Para todos os reais positivos x e y, se x > y, ento x2 > y 2 .

comum a lei de generalizao universal ser usada implicitamente:

no incio da prova, seleciona-se um elemento geral do UD
passos subseqentes mostram que este elemento tem a
propriedade em questo
conclui-se que o teorema vale para todos os elementos do UD.
UFSC/CTC/INE p. 48

L EITURAS SOBRE P REDICADOS E Q UANTIFICADORES

Rosen6: itens 1.3 e 1.5

UFSC/CTC/INE p. 49