Rodrigo Hausen
v. 2014-6-28 1/1
Proposies
Definio
Uma proposio uma sentena declarativa que verdadeira ou
falsa, mas no simultaneamente ambas.
v. 2014-6-28 2/1
Proposies
Definio
Uma proposio uma sentena declarativa que verdadeira ou
falsa, mas no simultaneamente ambas.
v. 2014-6-28 2/1
Proposies
Definio
Uma proposio uma sentena declarativa que verdadeira ou
falsa, mas no simultaneamente ambas.
v. 2014-6-28 2/1
Proposies
Definio
Uma proposio uma sentena declarativa que verdadeira ou
falsa, mas no simultaneamente ambas.
v. 2014-6-28 2/1
Proposies
Definio
Uma proposio uma sentena declarativa que verdadeira ou
falsa, mas no simultaneamente ambas.
v. 2014-6-28 2/1
Proposies
Definio
Uma proposio uma sentena declarativa que verdadeira ou
falsa, mas no simultaneamente ambas.
v. 2014-6-28 2/1
Proposies
Definio
Uma proposio uma sentena declarativa que verdadeira ou
falsa, mas no simultaneamente ambas.
v. 2014-6-28 2/1
Proposies exemplos
v. 2014-6-28 3/1
Proposies no so exemplos
v. 2014-6-28 4/1
Proposies no so exemplos
v. 2014-6-28 4/1
Proposies no so exemplos
v. 2014-6-28 4/1
Proposies no so exemplos
v. 2014-6-28 4/1
Proposies no so exemplos
v. 2014-6-28 4/1
Proposies no so exemplos
v. 2014-6-28 4/1
Proposies no so exemplos
v. 2014-6-28 4/1
Proposies no so exemplos
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.
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.
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.
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.
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.
v. 2014-6-28 6/1
Universo do discurso
v. 2014-6-28 6/1
Universo do discurso
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
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
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
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
Exemplos
Conjunto verdade de x par e x nmero primo :
v. 2014-6-28 7/1
Conjunto verdade
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
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
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
v. 2014-6-28 8/1
Quantificadores
v. 2014-6-28 8/1
Quantificadores
v. 2014-6-28 8/1
Quantificadores
v. 2014-6-28 8/1
Quantificadores, proposies universais e particulares
v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares
v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares
v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares
v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares
v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares
v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares
v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares
v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares
v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares
v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares
v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares
v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares
v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares
v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares
v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares
v. 2014-6-28 9/1
Quantificadores, proposies universais e particulares
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
p = x U, p(x ) verdade.
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
v. 2014-6-28 12/1
Exemplos e contra-exemplos
v. 2014-6-28 12/1
Exemplos e contra-exemplos
v. 2014-6-28 12/1
Exemplos e contra-exemplos
v. 2014-6-28 12/1
Exemplos e contra-exemplos
v. 2014-6-28 12/1
Exemplos e contra-exemplos
v. 2014-6-28 12/1
Exemplos e contra-exemplos
v. 2014-6-28 12/1
Exemplos e contra-exemplos
v. 2014-6-28 12/1
Exemplos e contra-exemplos
v. 2014-6-28 12/1
Exemplos e contra-exemplos
v. 2014-6-28 12/1
Exemplos e contra-exemplos
v. 2014-6-28 13/1
Exemplos e contra-exemplos
v. 2014-6-28 13/1
Exemplos e contra-exemplos
v. 2014-6-28 13/1
Exemplos e contra-exemplos
Exemplo:
Contra-exemplo:
v. 2014-6-28 13/1
Exemplos e contra-exemplos
v. 2014-6-28 13/1
Exemplos e contra-exemplos
v. 2014-6-28 13/1
Exemplos e contra-exemplos
v. 2014-6-28 13/1
Exemplos e contra-exemplos
v. 2014-6-28 13/1
Exemplos e contra-exemplos
v. 2014-6-28 13/1
Comportamento do valor verdade
v. 2014-6-28 14/1
Alterando e juntando proposies
v. 2014-6-28 15/1
Alterando e juntando proposies
v. 2014-6-28 15/1
Alterando e juntando proposies
v. 2014-6-28 15/1
Alterando e juntando proposies
v. 2014-6-28 15/1
Alterando e juntando proposies
v. 2014-6-28 15/1
Alterando e juntando proposies
v. 2014-6-28 15/1
Alterando e juntando proposies
v. 2014-6-28 15/1
Alterando e juntando proposies
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
v. 2014-6-28 17/1
Negao da Disjuno e da Conjuno
v. 2014-6-28 17/1
Negao da Disjuno e da Conjuno
v. 2014-6-28 17/1
Negao da Disjuno e da Conjuno
v. 2014-6-28 17/1
Negao da Disjuno e da Conjuno
v. 2014-6-28 17/1
Negao da Disjuno e da Conjuno
v. 2014-6-28 17/1
Negao da Disjuno e da Conjuno
v. 2014-6-28 17/1
Negao da Disjuno e da Conjuno
v. 2014-6-28 17/1
Negao da Disjuno e da Conjuno
v. 2014-6-28 17/1
Negao do quantificador
v. 2014-6-28 18/1
Negao do quantificador
v. 2014-6-28 18/1
Negao do quantificador
v. 2014-6-28 18/1
Negao do quantificador
v. 2014-6-28 18/1
Negao do quantificador
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
v. 2014-6-28 20/1
Tabela verdade da implicao
v. 2014-6-28 20/1
Tabela verdade da implicao
v. 2014-6-28 20/1
Tabela verdade da implicao
v. 2014-6-28 20/1
Tabela verdade da implicao
v. 2014-6-28 20/1
Tabela verdade da implicao
v. 2014-6-28 20/1
Implicao exemplos
v. 2014-6-28 21/1
Implicao exemplos
v. 2014-6-28 21/1
Implicao exemplos
v. 2014-6-28 21/1
Implicao exemplos
v. 2014-6-28 21/1
Implicao exemplos
v. 2014-6-28 21/1
Implicao exemplos
v. 2014-6-28 21/1
Implicao exemplos
v. 2014-6-28 21/1
Implicao exemplos
v. 2014-6-28 21/1
Implicao exemplos
v. 2014-6-28 21/1
Recproca, contrapositiva e inversa
v. 2014-6-28 22/1
Recproca, contrapositiva e inversa
v. 2014-6-28 22/1
Recproca, contrapositiva e inversa
v. 2014-6-28 22/1