Bases Matemticas

Aula 01 Linguagem Matemtica

Rodrigo Hausen

v. 2014-6-28 1/1
Proposies

Definio
Uma proposio uma sentena declarativa que verdadeira ou
falsa, mas no simultaneamente ambas.

Valor verdade: verdadeiro, falso.

v. 2014-6-28 2/1
Proposies

Definio
Uma proposio uma sentena declarativa que verdadeira ou
falsa, mas no simultaneamente ambas.

Valor verdade: verdadeiro, falso.

Hoje dia de aula.

v. 2014-6-28 2/1
Proposies

Definio
Uma proposio uma sentena declarativa que verdadeira ou
falsa, mas no simultaneamente ambas.

Valor verdade: verdadeiro, falso.

Hoje dia de aula. proposio, pois verdadeira

v. 2014-6-28 2/1
Proposies

Definio
Uma proposio uma sentena declarativa que verdadeira ou
falsa, mas no simultaneamente ambas.

Valor verdade: verdadeiro, falso.

Hoje dia de aula. proposio, pois verdadeira

Hoje feriado.

v. 2014-6-28 2/1
Proposies

Definio
Uma proposio uma sentena declarativa que verdadeira ou
falsa, mas no simultaneamente ambas.

Valor verdade: verdadeiro, falso.

Hoje dia de aula. proposio, pois verdadeira

Hoje feriado. proposio, pois falsa

v. 2014-6-28 2/1
Proposies

Definio
Uma proposio uma sentena declarativa que verdadeira ou
falsa, mas no simultaneamente ambas.

Valor verdade: verdadeiro, falso.

Hoje dia de aula. proposio, pois verdadeira

Hoje feriado. proposio, pois falsa
Hoje est quente.

v. 2014-6-28 2/1
Proposies

Definio
Uma proposio uma sentena declarativa que verdadeira ou
falsa, mas no simultaneamente ambas.

Valor verdade: verdadeiro, falso.

Hoje dia de aula. proposio, pois verdadeira

Hoje feriado. proposio, pois falsa
Hoje est quente. no proposio!
Quente para quem? subjetivo!
No podemos dizer que ela verdadeira nem falsa.

v. 2014-6-28 2/1
Proposies exemplos

As seguintes frases so exemplos de proposies:

2 + 5 = 7
A funo f (x ) = x uma funo crescente.
22 59 875 + 34 576 primo.

17 irracional.

v. 2014-6-28 3/1
Proposies no so exemplos

Nenhuma das seguintes frases proposio:

Hoje est quente.

v. 2014-6-28 4/1
Proposies no so exemplos

Nenhuma das seguintes frases proposio:

Hoje est quente.
subjetivo, no posso atribuir um nico valor verdade

v. 2014-6-28 4/1
Proposies no so exemplos

Nenhuma das seguintes frases proposio:

Hoje est quente.
subjetivo, no posso atribuir um nico valor verdade
Como voc est?

v. 2014-6-28 4/1
Proposies no so exemplos

Nenhuma das seguintes frases proposio:

Hoje est quente.
subjetivo, no posso atribuir um nico valor verdade
Como voc est?
Vamos danar!

v. 2014-6-28 4/1
Proposies no so exemplos

Nenhuma das seguintes frases proposio:

Hoje est quente.
subjetivo, no posso atribuir um nico valor verdade
Como voc est?
Vamos danar!
no so declaraes

v. 2014-6-28 4/1
Proposies no so exemplos

Nenhuma das seguintes frases proposio:

Hoje est quente.
subjetivo, no posso atribuir um nico valor verdade
Como voc est?
Vamos danar!
no so declaraes

v. 2014-6-28 4/1
Proposies no so exemplos

Nenhuma das seguintes frases proposio:

Hoje est quente.
subjetivo, no posso atribuir um nico valor verdade
Como voc est?
Vamos danar!
no so declaraes
Esta afirmao falsa.

v. 2014-6-28 4/1
Proposies no so exemplos

Nenhuma das seguintes frases proposio:

Hoje est quente.
subjetivo, no posso atribuir um nico valor verdade
Como voc est?
Vamos danar!
no so declaraes
Esta afirmao falsa.
no pode ser verdade nem falso, pois se contradiz (paradoxo)

v. 2014-6-28 4/1
proposies abertas

Definio
Proposio aberta: proposio que depende de algo que pode
mudar, ou seja, depende de uma varivel.

Notao: p(x ), q(x ), p(x ,y ), . . .

Exemplos
p(x ) = x par e x nmero primo

v. 2014-6-28 5/1
proposies abertas

Definio
Proposio aberta: proposio que depende de algo que pode
mudar, ou seja, depende de uma varivel.

Notao: p(x ), q(x ), p(x ,y ), . . .

Exemplos
p(x ) = x par e x nmero primo
ser verdade apenas se x = 2

v. 2014-6-28 5/1
proposies abertas

Definio
Proposio aberta: proposio que depende de algo que pode
mudar, ou seja, depende de uma varivel.

Notao: p(x ), q(x ), p(x ,y ), . . .

Exemplos
p(x ) = x par e x nmero primo
ser verdade apenas se x = 2
q(x ,y ) = x ,y so nmeros reais e x y = 0

v. 2014-6-28 5/1
proposies abertas

Definio
Proposio aberta: proposio que depende de algo que pode
mudar, ou seja, depende de uma varivel.

Notao: p(x ), q(x ), p(x ,y ), . . .

Exemplos
p(x ) = x par e x nmero primo
ser verdade apenas se x = 2
q(x ,y ) = x ,y so nmeros reais e x y = 0
ser verdade apenas quando um dos nmeros for nulo, ou
ambos

v. 2014-6-28 5/1
proposies abertas

Definio
Proposio aberta: proposio que depende de algo que pode
mudar, ou seja, depende de uma varivel.

Notao: p(x ), q(x ), p(x ,y ), . . .

Exemplos
p(x ) = x par e x nmero primo
ser verdade apenas se x = 2
q(x ,y ) = x ,y so nmeros reais e x y = 0
ser verdade apenas quando um dos nmeros for nulo, ou
ambos
Valor verdade de proposio aberta depende da(s) sua(s)
varivel(eis).
Ex.: p(x ) = x par e x primo; p(2) verdadeiro, p(3) falso.
v. 2014-6-28 5/1
Universo do discurso

Em uma proposio aberta, importante identificar o contexto no

qual as variveis esto definidas.

v. 2014-6-28 6/1
Universo do discurso

Em uma proposio aberta, importante identificar o contexto no

qual as variveis esto definidas.
Definio
Universo do discurso ou domnio do discurso: coleo de
objetos para qual vale uma determinada proposio.

v. 2014-6-28 6/1
Universo do discurso

Em uma proposio aberta, importante identificar o contexto no

qual as variveis esto definidas.
Definio
Universo do discurso ou domnio do discurso: coleo de
objetos para qual vale uma determinada proposio.

Exemplos
q(x ,y ) = x ,y so nmeros reais e x y = 0
universo do discurso:

v. 2014-6-28 6/1
Universo do discurso

Em uma proposio aberta, importante identificar o contexto no

qual as variveis esto definidas.
Definio
Universo do discurso ou domnio do discurso: coleo de
objetos para qual vale uma determinada proposio.

Exemplos
q(x ,y ) = x ,y so nmeros reais e x y = 0
universo do discurso: pares de nmeros reais (explcito)

v. 2014-6-28 6/1
Universo do discurso

Em uma proposio aberta, importante identificar o contexto no

qual as variveis esto definidas.
Definio
Universo do discurso ou domnio do discurso: coleo de
objetos para qual vale uma determinada proposio.

Exemplos
q(x ,y ) = x ,y so nmeros reais e x y = 0
universo do discurso: pares de nmeros reais (explcito)
p(x ) = x par e x nmero primo
universo do discurso:

v. 2014-6-28 6/1
Universo do discurso

Em uma proposio aberta, importante identificar o contexto no

qual as variveis esto definidas.
Definio
Universo do discurso ou domnio do discurso: coleo de
objetos para qual vale uma determinada proposio.

Exemplos
q(x ,y ) = x ,y so nmeros reais e x y = 0
universo do discurso: pares de nmeros reais (explcito)
p(x ) = x par e x nmero primo
universo do discurso: nmeros naturais (implcito)

v. 2014-6-28 6/1
Conjunto verdade

Dada uma proposio aberta p(x ) definimos. . .

Definio
Conjunto verdade: conjunto de todos os valores de x tal que
p(x ) verdadeira. verdadeira.

Exemplos
Conjunto verdade de x par e x nmero primo :

v. 2014-6-28 7/1
Conjunto verdade

Dada uma proposio aberta p(x ) definimos. . .

Definio
Conjunto verdade: conjunto de todos os valores de x tal que
p(x ) verdadeira. verdadeira.

Exemplos
Conjunto verdade de x par e x nmero primo :
{2}
Conjunto verdade de x primo e 3 < x < 14 :

v. 2014-6-28 7/1
Conjunto verdade

Dada uma proposio aberta p(x ) definimos. . .

Definio
Conjunto verdade: conjunto de todos os valores de x tal que
p(x ) verdadeira. verdadeira.

Exemplos
Conjunto verdade de x par e x nmero primo :
{2}
Conjunto verdade de x primo e 3 < x < 14 :
{5, 7, 11, 13}
Conjunto verdade de x real e x 2 + 1 = 5 :

v. 2014-6-28 7/1
Conjunto verdade

Dada uma proposio aberta p(x ) definimos. . .

Definio
Conjunto verdade: conjunto de todos os valores de x tal que
p(x ) verdadeira. verdadeira.

Exemplos
Conjunto verdade de x par e x nmero primo :
{2}
Conjunto verdade de x primo e 3 < x < 14 :
{5, 7, 11, 13}
Conjunto verdade de x real e x 2 + 1 = 5 :
{2, 2}

v. 2014-6-28 7/1
Quantificadores

Atravs de proposies abertas podemos fazer afirmaes sobre

todos os elementos de um conjunto usando os quantificadores:
, lido como para todo, ou qualquer que seja

v. 2014-6-28 8/1
Quantificadores

Atravs de proposies abertas podemos fazer afirmaes sobre

todos os elementos de um conjunto usando os quantificadores:
, lido como para todo, ou qualquer que seja
, lido como existe, existe algum ou
existe pelo menos um

v. 2014-6-28 8/1
Quantificadores

Atravs de proposies abertas podemos fazer afirmaes sobre

todos os elementos de um conjunto usando os quantificadores:
, lido como para todo, ou qualquer que seja
, lido como existe, existe algum ou
existe pelo menos um

chamado quantificador universal

chamado quantificador existencial

v. 2014-6-28 8/1
Quantificadores

Atravs de proposies abertas podemos fazer afirmaes sobre

todos os elementos de um conjunto usando os quantificadores:
, lido como para todo, ou qualquer que seja
, lido como existe, existe algum ou
existe pelo menos um

chamado quantificador universal

chamado quantificador existencial
Proposio universal: diz respeito a todos os objetos do universo
do discurso.
Proposio particular: aquela que no universal.

v. 2014-6-28 8/1
Quantificadores, proposies universais e particulares

Universo do discurso: nmeros naturais (N).

Todos os nmeros naturais so mpares
equivale a:

v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares

Universo do discurso: nmeros naturais (N).

Todos os nmeros naturais so mpares
equivale a: n N, n mpar

v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares

Universo do discurso: nmeros naturais (N).

Todos os nmeros naturais so mpares
equivale a: n N, n mpar
universal ou particular?

v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares

Universo do discurso: nmeros naturais (N).

Todos os nmeros naturais so mpares
equivale a: n N, n mpar
proposio universal
O nmero 2 par.

v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares

Universo do discurso: nmeros naturais (N).

Todos os nmeros naturais so mpares
equivale a: n N, n mpar
proposio universal
O nmero 2 par. universal ou particular?

v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares

Universo do discurso: nmeros naturais (N).

Todos os nmeros naturais so mpares
equivale a: n N, n mpar
proposio universal
O nmero 2 par. proposio particular

v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares

Universo do discurso: nmeros naturais (N).

Todos os nmeros naturais so mpares
equivale a: n N, n mpar
proposio universal
O nmero 2 par. proposio particular
Nenhum nmero natural primo.
equivale a:

v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares

Universo do discurso: nmeros naturais (N).

Todos os nmeros naturais so mpares
equivale a: n N, n mpar
proposio universal
O nmero 2 par. proposio particular
Nenhum nmero natural primo.
equivale a: n N, n no primo

v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares

Universo do discurso: nmeros naturais (N).

Todos os nmeros naturais so mpares
equivale a: n N, n mpar
proposio universal
O nmero 2 par. proposio particular
Nenhum nmero natural primo.
equivale a: n N, n no primo
universal ou particular?

v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares

Universo do discurso: nmeros naturais (N).

Todos os nmeros naturais so mpares
equivale a: n N, n mpar
proposio universal
O nmero 2 par. proposio particular
Nenhum nmero natural primo.
equivale a: n N, n no primo
proposio universal

v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares

Universo do discurso: nmeros naturais (N).

Todos os nmeros naturais so mpares
equivale a: n N, n mpar
proposio universal
O nmero 2 par. proposio particular
Nenhum nmero natural primo.
equivale a: n N, n no primo
proposio universal
H nmeros naturais pares.
equivale a:

v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares

Universo do discurso: nmeros naturais (N).

Todos os nmeros naturais so mpares
equivale a: n N, n mpar
proposio universal
O nmero 2 par. proposio particular
Nenhum nmero natural primo.
equivale a: n N, n no primo
proposio universal
H nmeros naturais pares.
equivale a: n N, n par

v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares

Universo do discurso: nmeros naturais (N).

Todos os nmeros naturais so mpares
equivale a: n N, n mpar
proposio universal
O nmero 2 par. proposio particular
Nenhum nmero natural primo.
equivale a: n N, n no primo
proposio universal
H nmeros naturais pares.
equivale a: n N, n par (proposio particular)

v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares

Universo do discurso: nmeros naturais (N).

Todos os nmeros naturais so mpares
equivale a: n N, n mpar
proposio universal
O nmero 2 par. proposio particular
Nenhum nmero natural primo.
equivale a: n N, n no primo
proposio universal
H nmeros naturais pares.
equivale a: n N, n par (proposio particular)
Ao menos dois nmeros naturais so pares.
equivale a:

v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares

Universo do discurso: nmeros naturais (N).

Todos os nmeros naturais so mpares
equivale a: n N, n mpar
proposio universal
O nmero 2 par. proposio particular
Nenhum nmero natural primo.
equivale a: n N, n no primo
proposio universal
H nmeros naturais pares.
equivale a: n N, n par (proposio particular)
Ao menos dois nmeros naturais so pares.
equivale a: n N e m N, n e m so pares

v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares

Universo do discurso: nmeros naturais (N).

Todos os nmeros naturais so mpares
equivale a: n N, n mpar
proposio universal
O nmero 2 par. proposio particular
Nenhum nmero natural primo.
equivale a: n N, n no primo
proposio universal
H nmeros naturais pares.
equivale a: n N, n par (proposio particular)
Ao menos dois nmeros naturais so pares.
equivale a: n N e m N, n e m so pares e n m

v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares

Universo do discurso: nmeros naturais (N).

Todos os nmeros naturais so mpares
equivale a: n N, n mpar
proposio universal
O nmero 2 par. proposio particular
Nenhum nmero natural primo.
equivale a: n N, n no primo
proposio universal
H nmeros naturais pares.
equivale a: n N, n par (proposio particular)
Ao menos dois nmeros naturais so pares.
equivale a: n N e m N, n e m so pares e n m
(proposio particular)

v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares
(continuando os exemplos)
Universo do discurso: nmeros naturais (N).
O nmero natural 0 menor ou igual do que qualquer outro
nmero natural.
universal ou particular?

v. 2014-6-28 10/1
Quantificadores, proposies universais e particulares
(continuando os exemplos)
Universo do discurso: nmeros naturais (N).
O nmero natural 0 menor ou igual do que qualquer outro
nmero natural.
proposio particular

v. 2014-6-28 10/1
Quantificadores, proposies universais e particulares
(continuando os exemplos)
Universo do discurso: nmeros naturais (N).
O nmero natural 0 menor ou igual do que qualquer outro
nmero natural.
proposio particular
Todo nmero natural maior ou igual do que o nmero
natural 0.

v. 2014-6-28 10/1
Quantificadores, proposies universais e particulares
(continuando os exemplos)
Universo do discurso: nmeros naturais (N).
O nmero natural 0 menor ou igual do que qualquer outro
nmero natural.
proposio particular
Todo nmero natural maior ou igual do que o nmero
natural 0. universal ou particular?

v. 2014-6-28 10/1
Quantificadores, proposies universais e particulares
(continuando os exemplos)
Universo do discurso: nmeros naturais (N).
O nmero natural 0 menor ou igual do que qualquer outro
nmero natural.
proposio particular
Todo nmero natural maior ou igual do que o nmero
natural 0. proposio universal

v. 2014-6-28 10/1
Quantificadores, proposies universais e particulares
(continuando os exemplos)
Universo do discurso: nmeros naturais (N).
O nmero natural 0 menor ou igual do que qualquer outro
nmero natural.
proposio particular
Todo nmero natural maior ou igual do que o nmero
natural 0. proposio universal
n < n + 1 n N

v. 2014-6-28 10/1
Quantificadores, proposies universais e particulares
(continuando os exemplos)
Universo do discurso: nmeros naturais (N).
O nmero natural 0 menor ou igual do que qualquer outro
nmero natural.
proposio particular
Todo nmero natural maior ou igual do que o nmero
natural 0. proposio universal
n < n + 1 n N proposio universal

v. 2014-6-28 10/1
Quantificadores, proposies universais e particulares
(continuando os exemplos)
Universo do discurso: nmeros naturais (N).
O nmero natural 0 menor ou igual do que qualquer outro
nmero natural.
proposio particular
Todo nmero natural maior ou igual do que o nmero
natural 0. proposio universal
n < n + 1 n N proposio universal
n N, n2 = n

v. 2014-6-28 10/1
Quantificadores, proposies universais e particulares
(continuando os exemplos)
Universo do discurso: nmeros naturais (N).
O nmero natural 0 menor ou igual do que qualquer outro
nmero natural.
proposio particular
Todo nmero natural maior ou igual do que o nmero
natural 0. proposio universal
n < n + 1 n N proposio universal
n N, n2 = n proposio particular

v. 2014-6-28 10/1
Quantificadores, proposies universais e particulares
(continuando os exemplos)
Universo do discurso: nmeros naturais (N).
O nmero natural 0 menor ou igual do que qualquer outro
nmero natural.
proposio particular
Todo nmero natural maior ou igual do que o nmero
natural 0. proposio universal
n < n + 1 n N proposio universal
n N, n2 = n proposio particular
Nem todo nmero natural maior ou igual a 0.
proposio

v. 2014-6-28 10/1
Quantificadores, proposies universais e particulares
(continuando os exemplos)
Universo do discurso: nmeros naturais (N).
O nmero natural 0 menor ou igual do que qualquer outro
nmero natural.
proposio particular
Todo nmero natural maior ou igual do que o nmero
natural 0. proposio universal
n < n + 1 n N proposio universal
n N, n2 = n proposio particular
Nem todo nmero natural maior ou igual a 0.
proposio particular

v. 2014-6-28 10/1
Quantificadores, proposies universais e particulares
(continuando os exemplos)
Universo do discurso: nmeros naturais (N).
O nmero natural 0 menor ou igual do que qualquer outro
nmero natural.
proposio particular
Todo nmero natural maior ou igual do que o nmero
natural 0. proposio universal
n < n + 1 n N proposio universal
n N, n2 = n proposio particular
Nem todo nmero natural maior ou igual a 0.
proposio particular pois equivale a
Existe algum nmero natural que no maior ou igual a 0.

v. 2014-6-28 10/1
Quantificadores, proposies universais e particulares
(continuando os exemplos)
Universo do discurso: nmeros naturais (N).
O nmero natural 0 menor ou igual do que qualquer outro
nmero natural.
proposio particular
Todo nmero natural maior ou igual do que o nmero
natural 0. proposio universal
n < n + 1 n N proposio universal
n N, n2 = n proposio particular
Nem todo nmero natural maior ou igual a 0.
proposio particular pois equivale a
Existe algum nmero natural que no maior ou igual a 0.
No existe nmero natural negativo. proposio

v. 2014-6-28 10/1
Quantificadores, proposies universais e particulares
(continuando os exemplos)
Universo do discurso: nmeros naturais (N).
O nmero natural 0 menor ou igual do que qualquer outro
nmero natural.
proposio particular
Todo nmero natural maior ou igual do que o nmero
natural 0. proposio universal
n < n + 1 n N proposio universal
n N, n2 = n proposio particular
Nem todo nmero natural maior ou igual a 0.
proposio particular pois equivale a
Existe algum nmero natural que no maior ou igual a 0.
No existe nmero natural negativo. proposio universal
pois equivale a Todo nmero natural no negativo.

v. 2014-6-28 10/1
Quantificadores, proposies universais e particulares
(continuando os exemplos)
Universo do discurso: nmeros naturais (N).
O nmero natural 0 menor ou igual do que qualquer outro
nmero natural.
proposio particular
Todo nmero natural maior ou igual do que o nmero
natural 0. proposio universal
n < n + 1 n N proposio universal
n N, n2 = n proposio particular
Nem todo nmero natural maior ou igual a 0.
proposio particular pois equivale a
Existe algum nmero natural que no maior ou igual a 0.
No existe nmero natural negativo. proposio universal
pois equivale a Todo nmero natural no negativo.
Veremos negao de proposies com quantificadores mais frente.
v. 2014-6-28 10/1
Exemplos e contra-exemplos

Considere uma proposio universal como

p = x U, p(x ) verdade.

ou uma proposio particular como

p = x U, p(x ) verdade.

Definio
Exemplo para p: elemento do universo U tal que p(x )
verdadeiro.
Contra-exemplo para p: elemento do universo U tal que
p(x ) falso.

v. 2014-6-28 11/1
Exemplos e contra-exemplos

Considere as proposies abaixo:

Para todo n N par, (n + 1)2 mpar.
Exemplos:

v. 2014-6-28 12/1
Exemplos e contra-exemplos

Considere as proposies abaixo:

Para todo n N par, (n + 1)2 mpar.
Exemplos: 2, 4, 6
(todo nmero par um exemplo? sim ou no? pense em casa)

v. 2014-6-28 12/1
Exemplos e contra-exemplos

Considere as proposies abaixo:

Para todo n N par, (n + 1)2 mpar.
Exemplos: 2, 4, 6
(todo nmero par um exemplo? sim ou no? pense em casa)
O nmero 3 exemplo ou contra-exemplo?

v. 2014-6-28 12/1
Exemplos e contra-exemplos

Considere as proposies abaixo:

Para todo n N par, (n + 1)2 mpar.
Exemplos: 2, 4, 6
(todo nmero par um exemplo? sim ou no? pense em casa)
O nmero 3 exemplo ou contra-exemplo?
Nenhum dos dois, pois 3 est fora do universo do discurso.

v. 2014-6-28 12/1
Exemplos e contra-exemplos

Considere as proposies abaixo:

Para todo n N par, (n + 1)2 mpar.
Exemplos: 2, 4, 6
(todo nmero par um exemplo? sim ou no? pense em casa)
O nmero 3 exemplo ou contra-exemplo?
Nenhum dos dois, pois 3 est fora do universo do discurso.
Existe contra-exemplo? Pense em casa.

v. 2014-6-28 12/1
Exemplos e contra-exemplos

Considere as proposies abaixo:

Para todo n N par, (n + 1)2 mpar.
Exemplos: 2, 4, 6
(todo nmero par um exemplo? sim ou no? pense em casa)
O nmero 3 exemplo ou contra-exemplo?
Nenhum dos dois, pois 3 est fora do universo do discurso.
Existe contra-exemplo? Pense em casa.
Para todo m N, m2 m + 41 primo.
Exemplos: 1,

v. 2014-6-28 12/1
Exemplos e contra-exemplos

Considere as proposies abaixo:

Para todo n N par, (n + 1)2 mpar.
Exemplos: 2, 4, 6
(todo nmero par um exemplo? sim ou no? pense em casa)
O nmero 3 exemplo ou contra-exemplo?
Nenhum dos dois, pois 3 est fora do universo do discurso.
Existe contra-exemplo? Pense em casa.
Para todo m N, m2 m + 41 primo.
Exemplos: 1, 2,

v. 2014-6-28 12/1
Exemplos e contra-exemplos

Considere as proposies abaixo:

Para todo n N par, (n + 1)2 mpar.
Exemplos: 2, 4, 6
(todo nmero par um exemplo? sim ou no? pense em casa)
O nmero 3 exemplo ou contra-exemplo?
Nenhum dos dois, pois 3 est fora do universo do discurso.
Existe contra-exemplo? Pense em casa.
Para todo m N, m2 m + 41 primo.
Exemplos: 1, 2, 3, . . . , 40

v. 2014-6-28 12/1
Exemplos e contra-exemplos

Considere as proposies abaixo:

Para todo n N par, (n + 1)2 mpar.
Exemplos: 2, 4, 6
(todo nmero par um exemplo? sim ou no? pense em casa)
O nmero 3 exemplo ou contra-exemplo?
Nenhum dos dois, pois 3 est fora do universo do discurso.
Existe contra-exemplo? Pense em casa.
Para todo m N, m2 m + 41 primo.
Exemplos: 1, 2, 3, . . . , 40
H contra-exemplo?

v. 2014-6-28 12/1
Exemplos e contra-exemplos

Considere as proposies abaixo:

Para todo n N par, (n + 1)2 mpar.
Exemplos: 2, 4, 6
(todo nmero par um exemplo? sim ou no? pense em casa)
O nmero 3 exemplo ou contra-exemplo?
Nenhum dos dois, pois 3 est fora do universo do discurso.
Existe contra-exemplo? Pense em casa.
Para todo m N, m2 m + 41 primo.
Exemplos: 1, 2, 3, . . . , 40
H contra-exemplo? Sim, o nmero 41.
412 41 + 41 = 412 , um nmero composto.

v. 2014-6-28 12/1
Exemplos e contra-exemplos

Considere as proposies abaixo:

Todo nmero natural mpar.
Exemplo:
Contra-exemplo:

v. 2014-6-28 13/1
Exemplos e contra-exemplos

Considere as proposies abaixo:

Todo nmero natural mpar.
Exemplo: 5
Contra-exemplo:

v. 2014-6-28 13/1
Exemplos e contra-exemplos

Considere as proposies abaixo:

Todo nmero natural mpar.
Exemplo: 5
Contra-exemplo: 2

v. 2014-6-28 13/1
Exemplos e contra-exemplos

Considere as proposies abaixo:

Todo nmero natural mpar.
Exemplo: 5
Contra-exemplo: 2
Nenhum nmero natural primo.

Exemplo:
Contra-exemplo:

v. 2014-6-28 13/1
Exemplos e contra-exemplos

Considere as proposies abaixo:

Todo nmero natural mpar.
Exemplo: 5
Contra-exemplo: 2
Nenhum nmero natural primo.
(equivale a: Todo nmero natural no primo.)
Exemplo: 4
Contra-exemplo:

v. 2014-6-28 13/1
Exemplos e contra-exemplos

Considere as proposies abaixo:

Todo nmero natural mpar.
Exemplo: 5
Contra-exemplo: 2
Nenhum nmero natural primo.
(equivale a: Todo nmero natural no primo.)
Exemplo: 4
Contra-exemplo: 2

v. 2014-6-28 13/1
Exemplos e contra-exemplos

Considere as proposies abaixo:

Todo nmero natural mpar.
Exemplo: 5
Contra-exemplo: 2
Nenhum nmero natural primo.
(equivale a: Todo nmero natural no primo.)
Exemplo: 4
Contra-exemplo: 2
O quadrado de todo nmero natural maior do que 4.
Exemplo:
Contra-exemplo:

v. 2014-6-28 13/1
Exemplos e contra-exemplos

Considere as proposies abaixo:

Todo nmero natural mpar.
Exemplo: 5
Contra-exemplo: 2
Nenhum nmero natural primo.
(equivale a: Todo nmero natural no primo.)
Exemplo: 4
Contra-exemplo: 2
O quadrado de todo nmero natural maior do que 4.
Exemplo: 8
Contra-exemplo:

v. 2014-6-28 13/1
Exemplos e contra-exemplos

Considere as proposies abaixo:

Todo nmero natural mpar.
Exemplo: 5
Contra-exemplo: 2
Nenhum nmero natural primo.
(equivale a: Todo nmero natural no primo.)
Exemplo: 4
Contra-exemplo: 2
O quadrado de todo nmero natural maior do que 4.
Exemplo: 8
Contra-exemplo: 1

v. 2014-6-28 13/1
Comportamento do valor verdade

para todo existe

existem exemplos inconclusivo verdadeira
nao existem exemplos falsa
existem contraexemplos falsa inconclusivo
nao existem contraexemplos verdadeira

v. 2014-6-28 14/1
Alterando e juntando proposies

Dadas duas proposies p, q:

disjuno de p e q: proposio p ou q

v. 2014-6-28 15/1
Alterando e juntando proposies

Dadas duas proposies p, q:

disjuno de p e q: proposio p ou q
A proposio p ou q verdadeira quando pelo menos uma
das proposies p ou q forem verdadeiras.

v. 2014-6-28 15/1
Alterando e juntando proposies

Dadas duas proposies p, q:

disjuno de p e q: proposio p ou q
A proposio p ou q verdadeira quando pelo menos uma
das proposies p ou q forem verdadeiras.
Caso contrrio, p ou q falsa.

v. 2014-6-28 15/1
Alterando e juntando proposies

Dadas duas proposies p, q:

disjuno de p e q: proposio p ou q
A proposio p ou q verdadeira quando pelo menos uma
das proposies p ou q forem verdadeiras.
Caso contrrio, p ou q falsa.
conjuno de p e q: proposio p e q

v. 2014-6-28 15/1
Alterando e juntando proposies

Dadas duas proposies p, q:

disjuno de p e q: proposio p ou q
A proposio p ou q verdadeira quando pelo menos uma
das proposies p ou q forem verdadeiras.
Caso contrrio, p ou q falsa.
conjuno de p e q: proposio p e q
A proposio p e q verdadeira quando ambas p e q forem
verdadeiras.

v. 2014-6-28 15/1
Alterando e juntando proposies

Dadas duas proposies p, q:

disjuno de p e q: proposio p ou q
A proposio p ou q verdadeira quando pelo menos uma
das proposies p ou q forem verdadeiras.
Caso contrrio, p ou q falsa.
conjuno de p e q: proposio p e q
A proposio p e q verdadeira quando ambas p e q forem
verdadeiras.
Caso contrrio, p ou q falsa.

v. 2014-6-28 15/1
Alterando e juntando proposies

Dadas duas proposies p, q:

disjuno de p e q: proposio p ou q
A proposio p ou q verdadeira quando pelo menos uma
das proposies p ou q forem verdadeiras.
Caso contrrio, p ou q falsa.
conjuno de p e q: proposio p e q
A proposio p e q verdadeira quando ambas p e q forem
verdadeiras.
Caso contrrio, p ou q falsa.
negao de p: proposio no p

v. 2014-6-28 15/1
Alterando e juntando proposies

Dadas duas proposies p, q:

disjuno de p e q: proposio p ou q
A proposio p ou q verdadeira quando pelo menos uma
das proposies p ou q forem verdadeiras.
Caso contrrio, p ou q falsa.
conjuno de p e q: proposio p e q
A proposio p e q verdadeira quando ambas p e q forem
verdadeiras.
Caso contrrio, p ou q falsa.
negao de p: proposio no p
A proposio no p verdadeira quando p falsa, e
vice-versa.

v. 2014-6-28 15/1
Negao da Disjuno e da Conjuno

no (p e q) = (no p)

v. 2014-6-28 16/1
Negao da Disjuno e da Conjuno

no (p e q) = (no p) ou (no q)

v. 2014-6-28 16/1
Negao da Disjuno e da Conjuno

no (p e q) = (no p) ou (no q)
no (p ou q) = (no p)

v. 2014-6-28 16/1
Negao da Disjuno e da Conjuno

no (p e q) = (no p) ou (no q)
no (p ou q) = (no p) e (no q)

v. 2014-6-28 16/1
Negao da Disjuno e da Conjuno

no (p e q) = (no p) ou (no q)
no (p ou q) = (no p) e (no q)
Cuidado ao se distribuir a negao:
e torna-se ou
ou torna-se e

v. 2014-6-28 16/1
Negao da Disjuno e da Conjuno

Negao da proposio x divisvel por 2 e 3

v. 2014-6-28 17/1
Negao da Disjuno e da Conjuno

Negao da proposio x divisvel por 2 e 3

x no divisvel por 2 ou x no divisvel por 3

v. 2014-6-28 17/1
Negao da Disjuno e da Conjuno

Negao da proposio x divisvel por 2 e 3

x no divisvel por 2 ou x no divisvel por 3
Negao da proposio x divisvel por 2 ou 3

v. 2014-6-28 17/1
Negao da Disjuno e da Conjuno

Negao da proposio x divisvel por 2 e 3

x no divisvel por 2 ou x no divisvel por 3
Negao da proposio x divisvel por 2 ou 3
x no divisvel por 2 e x no divisvel por 3

v. 2014-6-28 17/1
Negao da Disjuno e da Conjuno

Negao da proposio x divisvel por 2 e 3

x no divisvel por 2 ou x no divisvel por 3
Negao da proposio x divisvel por 2 ou 3
x no divisvel por 2 e x no divisvel por 3
Negao da proposio b soma de quadrados ou b
primo

v. 2014-6-28 17/1
Negao da Disjuno e da Conjuno

Negao da proposio x divisvel por 2 e 3

x no divisvel por 2 ou x no divisvel por 3
Negao da proposio x divisvel por 2 ou 3
x no divisvel por 2 e x no divisvel por 3
Negao da proposio b soma de quadrados ou b
primo b no soma de quadrados e b no primo

v. 2014-6-28 17/1
Negao da Disjuno e da Conjuno

Negao da proposio x divisvel por 2 e 3

x no divisvel por 2 ou x no divisvel por 3
Negao da proposio x divisvel por 2 ou 3
x no divisvel por 2 e x no divisvel por 3
Negao da proposio b soma de quadrados ou b
primo b no soma de quadrados e b no primo
Negao da proposio x > 2 ou x 1

v. 2014-6-28 17/1
Negao da Disjuno e da Conjuno

Negao da proposio x divisvel por 2 e 3

x no divisvel por 2 ou x no divisvel por 3
Negao da proposio x divisvel por 2 ou 3
x no divisvel por 2 e x no divisvel por 3
Negao da proposio b soma de quadrados ou b
primo b no soma de quadrados e b no primo
Negao da proposio x > 2 ou x 1
x 2 e x > 1

v. 2014-6-28 17/1
Negao da Disjuno e da Conjuno

Negao da proposio x divisvel por 2 e 3

x no divisvel por 2 ou x no divisvel por 3
Negao da proposio x divisvel por 2 ou 3
x no divisvel por 2 e x no divisvel por 3
Negao da proposio b soma de quadrados ou b
primo b no soma de quadrados e b no primo
Negao da proposio x > 2 ou x 1
x 2 e x > 1, ou seja, 1 < x 2

v. 2014-6-28 17/1
Negao do quantificador

Considere a proposio aberta p(x ).

negao de x U, p(x )

v. 2014-6-28 18/1
Negao do quantificador

Considere a proposio aberta p(x ).

negao de x U, p(x ) x U, no p(x )

v. 2014-6-28 18/1
Negao do quantificador

Considere a proposio aberta p(x ).

negao de x U, p(x ) x U, no p(x )
negao de x U, p(x )

v. 2014-6-28 18/1
Negao do quantificador

Considere a proposio aberta p(x ).

negao de x U, p(x ) x U, no p(x )
negao de x U, p(x ) x U, no p(x )

v. 2014-6-28 18/1
Negao do quantificador

Considere a proposio aberta p(x ).

negao de x U, p(x ) x U, no p(x )
negao de x U, p(x ) x U, no p(x )

Escreva as afirmaes abaixo na forma simblica e diga quais so

suas negaes:
Todo nmero natural pode ser decomposto como produto de
primos.
Existe inteiro n tal que n + 3 = 4

v. 2014-6-28 18/1
Implicao

Definio
Dadas duas proposies p, q podemos construir a proposio
p q, que pode ser lida como:
se p, ento q
p implica q
A implicao p q falsa somente quando p verdadeira e q
falsa. Ela verdadeira em todos os outros casos.
Numa implicao p q:
p chamada de hiptese
q chamada de tese, concluso ou consequente.

v. 2014-6-28 19/1
Tabela verdade da implicao

L em casa, meu quintal descoberto. Considere a proposio:

Se chove l em casa, ento o quintal estar molhado.
a implicao p q onde
p = chove em casa
q = quintal est molhado.
(considere que ambas esto bem definidas e no h ambiguidade)
p q pq
V V V

v. 2014-6-28 20/1
Tabela verdade da implicao

L em casa, meu quintal descoberto. Considere a proposio:

Se chove l em casa, ento o quintal estar molhado.
a implicao p q onde
p = chove em casa
q = quintal est molhado.
(considere que ambas esto bem definidas e no h ambiguidade)
p q pq
V V V
V F

v. 2014-6-28 20/1
Tabela verdade da implicao

L em casa, meu quintal descoberto. Considere a proposio:

Se chove l em casa, ento o quintal estar molhado.
a implicao p q onde
p = chove em casa
q = quintal est molhado.
(considere que ambas esto bem definidas e no h ambiguidade)
p q pq
V V V
V F F (no possvel chover sem molhar)
F V

v. 2014-6-28 20/1
Tabela verdade da implicao

L em casa, meu quintal descoberto. Considere a proposio:

Se chove l em casa, ento o quintal estar molhado.
a implicao p q onde
p = chove em casa
q = quintal est molhado.
(considere que ambas esto bem definidas e no h ambiguidade)
p q pq
V V V
V F F (no possvel chover sem molhar)
F V V (eu mesmo posso molhar o quintal)
F F

v. 2014-6-28 20/1
Tabela verdade da implicao

L em casa, meu quintal descoberto. Considere a proposio:

Se chove l em casa, ento o quintal estar molhado.
a implicao p q onde
p = chove em casa
q = quintal est molhado.
(considere que ambas esto bem definidas e no h ambiguidade)
p q pq
V V V
V F F (no possvel chover sem molhar)
F V V (eu mesmo posso molhar o quintal)
F F V (quando no chove quintal fica seco,
a menos que eu o molhe)

v. 2014-6-28 20/1
Tabela verdade da implicao

L em casa, meu quintal descoberto. Considere a proposio:

Se chove l em casa, ento o quintal estar molhado.
a implicao p q onde
p = chove em casa
q = quintal est molhado.
(considere que ambas esto bem definidas e no h ambiguidade)
p q pq
V V V
V F F (no possvel chover sem molhar)
F V V (eu mesmo posso molhar o quintal)
F F V (quando no chove quintal fica seco,
a menos que eu o molhe)

Note que p q equivale a (no p) ou q.

v. 2014-6-28 20/1
Implicao exemplos

Qual o valor verdade das implicaes abaixo?

Se 2 par, ento 3 mpar.

v. 2014-6-28 21/1
Implicao exemplos

Qual o valor verdade das implicaes abaixo?

Se 2 par, ento 3 mpar. verdadeiro

v. 2014-6-28 21/1
Implicao exemplos

Qual o valor verdade das implicaes abaixo?

Se 2 par, ento 3 mpar. verdadeiro
Se 2 par, ento 4 mpar.

v. 2014-6-28 21/1
Implicao exemplos

Qual o valor verdade das implicaes abaixo?

Se 2 par, ento 3 mpar. verdadeiro
Se 2 par, ento 4 mpar. falso

v. 2014-6-28 21/1
Implicao exemplos

Qual o valor verdade das implicaes abaixo?

Se 2 par, ento 3 mpar. verdadeiro
Se 2 par, ento 4 mpar. falso
Se 2 mpar, ento 3 par.

v. 2014-6-28 21/1
Implicao exemplos

Qual o valor verdade das implicaes abaixo?

Se 2 par, ento 3 mpar. verdadeiro
Se 2 par, ento 4 mpar. falso
Se 2 mpar, ento 3 par. verdadeiro

v. 2014-6-28 21/1
Implicao exemplos

Qual o valor verdade das implicaes abaixo?

Se 2 par, ento 3 mpar. verdadeiro
Se 2 par, ento 4 mpar. falso
Se 2 mpar, ento 3 par. verdadeiro
Se minha me um trator, ento eu sou uma motosserra.

v. 2014-6-28 21/1
Implicao exemplos

Qual o valor verdade das implicaes abaixo?

Se 2 par, ento 3 mpar. verdadeiro
Se 2 par, ento 4 mpar. falso
Se 2 mpar, ento 3 par. verdadeiro
Se minha me um trator, ento eu sou uma motosserra.
verdadeiro

v. 2014-6-28 21/1
Implicao exemplos

Qual o valor verdade das implicaes abaixo?

Se 2 par, ento 3 mpar. verdadeiro
Se 2 par, ento 4 mpar. falso
Se 2 mpar, ento 3 par. verdadeiro
Se minha me um trator, ento eu sou uma motosserra.
verdadeiro
Cuidado com a implicao! Se a hiptese falsa, o valor
verdade da implicao ser sempre verdadeiro.

v. 2014-6-28 21/1
Recproca, contrapositiva e inversa

Dada uma implicao p q

q p a recproca da implicao original
no q no p a contrapositiva da original
no p no q a inversa da original

Quais proposies so equivalentes?

uma implicao e sua contrapositiva

v. 2014-6-28 22/1
Recproca, contrapositiva e inversa

Dada uma implicao p q

q p a recproca da implicao original
no q no p a contrapositiva da original
no p no q a inversa da original

Quais proposies so equivalentes?

uma implicao e sua contrapositiva
a recproca e a inversa

v. 2014-6-28 22/1
Recproca, contrapositiva e inversa

Dada uma implicao p q

q p a recproca da implicao original
no q no p a contrapositiva da original
no p no q a inversa da original

Quais proposies so equivalentes?

uma implicao e sua contrapositiva
a recproca e a inversa

Cuidado! No confunda uma implicao com sua recproca. Elas

no so equivalentes!

v. 2014-6-28 22/1