Lógica de Predicados
Conteúdo Correção Exercícios Quantificadores Agrupados; (Rosen 50) Traduzindo sentenças.
Exercícios Quais as negações de: 1) Existe um político honesto 2) Todos os brasileiros comem churrasco
Exercício 1) 1) Existe um político honesto H(x) = x é honesto Domínio = {todos os políticos} Como fica a proposição???
Exercício 1) 1) Existe um político honesto H(x) = x é honesto Domínio = {todos os políticos} x H(x)
Exercício 1) 1) Existe um político honesto H(x) = x é honesto Domínio = {todos os políticos} x H(x) negando ~x H(x)
Exercício 1) 1) Existe um político honesto H(x) = x é honesto Domínio = {todos os políticos} x H(x) negando ~x H(x) Sabemos que ~x H(x) x ~P(x) Então podemos dizer que:...
Exercício 1) 1) Existe um político honesto H(x) = x é honesto Domínio = {todos os políticos} x H(x) negando ~x H(x) Sabemos que ~x H(x) x ~P(x) Então podemos dizer que: Todos os políticos são desonestos.
Exercício 2) 2) Todos os brasileiros comem churrasco C(x) = x como churrasco Domínio = {todos os brasileiros} Como fica a proposição???
Exercício 2) 2) Todos os brasileiros comem churrasco C(x) = x como churrasco Domínio = {todos os brasileiros} x P(x)
Exercício 2) 2) Todos os brasileiros comem churrasco C(x) = x como churrasco Domínio = {todos os brasileiros} x P(x) ~x P(x)
Exercício 2) 2) Todos os brasileiros comem churrasco C(x) = x como churrasco Domínio = {todos os brasileiros} x P(x) ~x P(x) x ~P(x)
Exercício 2) 2) Todos os brasileiros comem churrasco C(x) = x como churrasco Domínio = {todos os brasileiros} x P(x) ~x P(x) x ~P(x) Existe pelo menos um brasileiro que não come churrasco. Algum brasileiro não come churrasco.
Exercícios 3) Negar x (x 2 > x)
Exercícios 3) Negar x (x 2 > x) ~x (x 2 > x)????
Exercícios 3) Negar x (x 2 > x) ~x (x 2 > x) x ~ (x 2 > x)????
Exercícios 3) Negar x (x 2 > x) ~x (x 2 > x) x ~ (x 2 > x) x (x 2 x) Qual????
Exercícios Negar x (x 2 = x)
Exercícios Negar x (x 2 = x) ~x (x 2 = x)????
Exercícios Negar x (x 2 = x) ~x (x 2 = x) x ~(x 2 = x)????
Exercícios Negar x (x 2 = x) ~x (x 2 = x) x ~(x 2 = x) x (x 2 x) É Verdade?
Exercícios Mostre que ~x (P(x)Q(x)) x (P(x) ^ ~Q(x)) ~x (P(x)Q(x)) x ~(P(x) Q(x))
Exercícios Mostre que ~x (P(x)Q(x)) x (P(x) ^ ~Q(x)) ~x (P(x)Q(x)) x ~(P(x) Q(x)) x ~(~P(x) v Q(x))
Exercícios Mostre que ~x (P(x)Q(x)) x (P(x) ^ ~Q(x)) ~x (P(x)Q(x)) x ~(P(x) Q(x)) x ~(~P(x) v Q(x)) x (P(x) ^ ~Q(x))
Rosen 47 6) Considere N(x) como o predicado x visitou Dakota do Norte, em que o domínio são os estudantes de sua escola. Expresse cada uma dessas quantificações em português. c) ~ x N(x)
Rosen 47 6) Considere N(x) como o predicado x visitou Dakota do Norte, em que o domínio são os estudantes de sua escola. Expresse cada uma dessas quantificações em português. c) ~ x N(x) Todos os estudantes da minha escola não visitaram Dakota do Norte.
Rosen 47 6) Considere N(x) como o predicado x visitou Dakota do Norte, em que o domínio são os estudantes de sua escola. Expresse cada uma dessas quantificações em português. d) x ~N(x)
Rosen 47 6) Considere N(x) como o predicado x visitou Dakota do Norte, em que o domínio são os estudantes de sua escola. Expresse cada uma dessas quantificações em português. d) x ~N(x) Há pelo menos um estudantes da minha escola que não visitou Dakota do Norte.
Rosen 47 6) Considere N(x) como o predicado x visitou Dakota do Norte, em que o domínio são os estudantes de sua escola. Expresse cada uma dessas quantificações em português. e) ~ x N(x)
Rosen 47 6) Considere N(x) como o predicado x visitou Dakota do Norte, em que o domínio são os estudantes de sua escola. Expresse cada uma dessas quantificações em português. e) ~ x N(x) Há pelo menos um estudante da minha escola que não visitou Dakota do Norte.
Rosen 47 6) Considere N(x) como o predicado x visitou Dakota do Norte, em que o domínio são os estudantes de sua escola. Expresse cada uma dessas quantificações em português. f) x ~N(x)
Rosen 47 6) Considere N(x) como o predicado x visitou Dakota do Norte, em que o domínio são os estudantes de sua escola. Expresse cada uma dessas quantificações em português. f) x ~N(x) Todos os estudantes da minha escola não visitaram Dakota do Norte
Rosen 48 34) Expresse a negação das proposições abaixo usando quantificadores e depois expresse a negação em português. a) Alguns motoristas não obedecem ao limites de velocidade. L(x) = x obedece ao limite de velocidade Domínio = {motoristas}
Rosen 48 34) Expresse a negação das proposições abaixo usando quantificadores e depois expresse a negação em português. a) Alguns motoristas não obedecem ao limites de velocidade. L(x) = x obedece ao limite de velocidade Domínio = {motoristas} x ~L(x)
Rosen 48 34) Expresse a negação das proposições abaixo usando quantificadores e depois expresse a negação em português. a) Alguns motoristas não obedecem ao limites de velocidade. L(x) = x obedece ao limite de velocidade Domínio = {motoristas} x ~L(x) negando ~x ~L(x)
Rosen 48 34) Expresse a negação das proposições abaixo usando quantificadores e depois expresse a negação em português. a) Alguns motoristas não obedecem ao limites de velocidade. L(x) = x obedece ao limite de velocidade Domínio = {motoristas} x ~L(x) negando ~x ~L(x) x ~~L(x) Em português...
Rosen 48 34) Expresse a negação das proposições abaixo usando quantificadores e depois expresse a negação em português. b) Todos os filmes suíços são sérios S(x) = x é sério Domínio = {filmes suíços}
Rosen 48 34) Expresse a negação das proposições abaixo usando quantificadores e depois expresse a negação em português. b) Todos os filmes suíços são sérios S(x) = x é sério Domínio = {filmes suíços} x S(x) negando ~x S(x)???
Rosen 48 34) Expresse a negação das proposições abaixo usando quantificadores e depois expresse a negação em português. b) Todos os filmes suíços são sérios S(x) = x é sério Domínio = {filmes suíços} x S(x) negando ~x S(x) x ~S(x) em português...
Rosen 48 34) Expresse a negação das proposições abaixo usando quantificadores e depois expresse a negação em português. b) Todos os filmes suíços são sérios S(x) = x é sério Domínio = {filmes suíços} x S(x) negando ~x S(x) x ~S(x) Existe pelo menos um filme suíço que não é sério
Rosen 48 34) Expresse a negação das proposições abaixo usando quantificadores e depois expresse a negação em português. c) Ninguém pode guardar um segredo S(x) x pode guardar um segredo Domínio = {todas as pessoas}
Rosen 48 34) Expresse a negação das proposições abaixo usando quantificadores e depois expresse a negação em português. c) Ninguém pode guardar um segredo S(x) x pode guardar um segredo Domínio = {todas as pessoas} ~x S(x) negando...
Rosen 48 34) Expresse a negação das proposições abaixo usando quantificadores e depois expresse a negação em português. c) Ninguém pode guardar um segredo S(x) x pode guardar um segredo Domínio = {todas as pessoas} ~x S(x) negando ~~x S(x) em português...
Rosen 48 34) Expresse a negação das proposições abaixo usando quantificadores e depois expresse a negação em português. c) Ninguém pode guardar um segredo S(x) x pode guardar um segredo Domínio = {todas as pessoas} ~x S(x) negando ~~x S(x) em português Existe alguém que pode guardar um segredo
Rosen 48 34) Expresse a negação das proposições abaixo usando quantificadores e depois expresse a negação em português. d) Há alguém nesta sala que não tem uma boa atitude. A(x) = x tem boa atitude Domínio = {pessoas nesta sala}
Rosen 48 34) Expresse a negação das proposições abaixo usando quantificadores e depois expresse a negação em português. d) Há alguém nesta sala que não tem uma boa atitude. A(x) = x tem boa atitude Domínio = {pessoas nesta sala} x ~A(x) negando...
Rosen 48 34) Expresse a negação das proposições abaixo usando quantificadores e depois expresse a negação em português. d) Há alguém nesta sala que não tem uma boa atitude. A(x) = x tem boa atitude Domínio = {pessoas nesta sala} x ~A(x) negando ~x ~A(x)????
Rosen 48 34) Expresse a negação das proposições abaixo usando quantificadores e depois expresse a negação em português. d) Há alguém nesta sala que não tem uma boa atitude. A(x) = x tem boa atitude Domínio = {pessoas nesta sala} x ~A(x) negando ~x ~A(x) x ~~A(x) em português...
Rosen 48 34) Expresse a negação das proposições abaixo usando quantificadores e depois expresse a negação em português. d) Há alguém nesta sala que não tem uma boa atitude. A(x) = x tem boa atitude Domínio = {pessoas nesta sala} x ~A(x) negando ~x ~A(x) x ~~A(x) Todos desta sala possuem uma boa atitude.
Lógica de Predicados Concluímos o 1.3 do Rosen e estamos aptos a fazer todos os exercícios das páginas 47 a 50
Quantificadores Agrupados x (P(x) ^ Q(x)) v x R(x) Escopo não se sobrepõe. Escopo Escopo Relembrando o que é escopo de um quantificador.
Quantificadores Agrupados Dois quantificadores são agrupados se um está no escopo do outro. x y (x+y = 0)
Quantificadores Agrupados Dois quantificadores são agrupados se um está no escopo do outro. x y (x+y = 0) x Q(x) onde Tudo que está no escopo pode ser considerado uma função proposicional Q(x) = yp(x,y) P(x,y) = (x+y = 0)
Quantificadores Agrupados Dois quantificadores são agrupados se um está no escopo do outro. x y (x+y = 0) É difícil de se x Q(x) onde entender!!!! Q(x) = yp(x,y) P(x,y) = (x+y = 0)
Pensando em quantificações como um laço x {1,2,3 } e y {a,b,c} x y P(x,y) 1 2 a b c a b c = V = V = V = V = V = V Todas as combinações devem ser verdadeiras 3 a b c = V = V = V
Pensando em quantificações como um laço x {1,2,3 } e y {a,b,c} x y P(x,y) 1 2 a b c a b c =? =? =? =? =? =? Pelo menos um de cada deve ser verdadeiro 3 a b c =? =? =?
Pensando em quantificações como um laço x {1,2,3 } e y {a,b,c} xy P(x,y) 1 2 3 a b c a b c a b c = V = V = V =? =? =? =? =? =? Em um grupo tem que dar tudo Verdade
Pensando em quantificações como um laço x {1,2,3 } e y {a,b,c} x y P(x,y) 1 2 3 a b c a b c a b c = V =? =? =? =? =? =? =? =? Basta que um resultado seja Verdade
Quantificadores Agrupados Como vimos a ordem dos quantificadores agrupados é importante, a menos que todos sejam iguais ( ou ).
Quantificadores Agrupados Como vimos a ordem dos quantificadores agrupados é importante, a menos que sejam todos sejam todos ou. Exemplo: Q(x,y) = x+y=0 Domínio = {números reais} y x Q(x,y) Falso ou Verdadeiro?
Pensando... x,y R y x (x+y = 0) 1 2 3 Existe um número real y para todo numero real x -1-2 -3-1 -2-3 -1-2 -3 = V = F = F = F = V = F = F = F = V Deveria ser o mesmo y para todo x
Pensando... x,y R y x (x+y = 0) 1 2-1 -2-3 -1-2 -3 = V = F = F = F = V = F Deveria ser o mesmo y para todo x, logo é... 3-1 -2-3 = F = F = V FALSO
Quantificadores Agrupados Como vimos a ordem dos quantificadores agrupados é importante, a menos que sejam todos ou. Exemplo: Q(x,y) = x+y=0 Domínio = {números reais} y x Q(x,y) Falso!!!! x y Q(x,y) Falso ou Verdadeiro?
Pensando... x,y R x y (x+y = 0) 1 2-1 -2-3 -1-2 -3 = V = F = F = F = V = F Sempre tem um V no conjunto logo é... 3-1 -2-3 = F = F = V
Pensando... x,y R x y (x+y = 0) 1 2-1 -2-3 -1-2 -3 = V = F = F = F = V = F Sempre tem um V no conjunto logo é... 3-1 -2-3 = F = F = V Verdade
Quantificadores Agrupados Como vimos a ordem dos quantificadores agrupados é importante, a menos que sejam todos ou. Exemplo: Q(x,y) = x+y=0 Domínio = {números reais} y x Q(x,y) Falso!!!! x y Q(x,y) ENTÃO... A ORDEM IMPORTA!!! Verdadeiro!!!!
Quantificadores Agrupados Como vimos a ordem dos quantificadores agrupados é importante, a menos que sejam todos ou. Exemplo: Q(x,y) = x+y=0 Domínio = {números reais} Podemos ter quantificações com mais de duas variáveis!!! y x Q(x,y) Falso!!!! x y Q(x,y) Verdadeiro!!!!
Traduzindo sentenças da matemática A soma de dois números inteiros positivos é sempre positiva Domínio = Z +
Traduzindo sentenças da matemática A soma de dois números inteiros positivos é sempre positiva Domínio = Z + x y (x+y > 0)
Traduzindo sentenças da matemática A soma de dois números inteiros positivos é sempre positiva Domínio = Z + x y (x+y > 0) Domínio = Z
Traduzindo sentenças da matemática A soma de dois números inteiros positivos é sempre positiva Domínio = Z + x y (x+y > 0) Domínio = Z xy (((x>0)^(y>0))(x+y > 0))
Traduzindo do Português Se uma pessoa é do sexo feminino e tem filhos, então ela é mãe de alguém Domínio = { todas as pessoas} F(x) = x é do sexo feminino P(x) = x tem filho M(x,y) = x é mãe de y
Traduzindo do Português Se uma pessoa é do sexo feminino e tem filhos, então ela é mãe de alguém Domínio = { todas as pessoas} F(x) = x é do sexo feminino P(x) = x tem filho M(x,y) = x é mãe de y?????????
Traduzindo do Português Se uma pessoa é do sexo feminino e tem filhos, então ela é mãe de alguém Domínio = { todas as pessoas} F(x) = x é do sexo feminino P(x) = x tem filho M(x,y) = x é mãe de y (F(x) ^ P(x))????
Traduzindo do Português Se uma pessoa é do sexo feminino e tem filhos, então ela é mãe de alguém Domínio = { todas as pessoas} F(x) = x é do sexo feminino P(x) = x tem filho M(x,y) = x é mãe de y (F(x) ^ P(x)) M(x,y) e os quantificadores?
Traduzindo do Português Se uma pessoa é do sexo feminino e tem filhos, então ela é mãe de alguém Domínio = { todas as pessoas} F(x) = x é do sexo feminino P(x) = x tem filho M(x,y) = x é mãe de y x((f(x) ^ P(x)) M(x,y)) Todas as pessoas que são do sexo feminino e tem filhos.
Traduzindo do Português Se uma pessoa é do sexo feminino e tem filhos, então ela é mãe de alguém Domínio = { todas as pessoas} F(x) = x é do sexo feminino P(x) = x tem filho M(x,y) = x é mãe de y Para todos os x s existe um y. x((f(x) ^ P(x)) ym(x,y))
Traduzindo do Português Se uma pessoa é do sexo feminino e tem filhos, então ela é mãe de alguém Domínio = { todas as pessoas} F(x) = x é do sexo feminino P(x) = x tem filho M(x,y) = x é mãe de y Podemos por do lado de fora xy ((F(x) ^ P(x)) M(x,y))
Exercícios Rosen pg 59 9 a) 9 b) 9 c) 9 i) 11 a) 11 b) Rosen pg 61 exercício 26