Exercícios de Lógica Quantificada: Tradução e Validação de Proposições, Notas de aula de Lógica

Baixe Exercícios de Lógica Quantificada: Tradução e Validação de Proposições e outras Notas de aula em PDF para Lógica, somente na Docsity!

Lógica de Predicados

Rosen 47 6) Considere N(x) como o predicado “x visitou

Dakota do Norte”, em que o domínio são osestudantes de sua escola. Expresse cadauma dessas quantificações em português. a)

x N(x)

b)

x N(x)

Rosen 47 6) Considere N(x) como o predicado “x visitou

Dakota do Norte”, em que o domínio são osestudantes de sua escola. Expresse cadauma dessas quantificações em português. c) ~

x N(x)

Todos os estudantes da minha escola nãovisitaram Dakota do Norte.

Rosen 47 6) Considere N(x) como o predicado “x visitou

Dakota do Norte”, em que o domínio são osestudantes de sua escola. Expresse cadauma 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 osestudantes de sua escola. Expresse cadauma 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 osestudantes de sua escola. Expresse cadauma dessas quantificações em português. e) ~

x N(x)

Há pelo menos um estudante da minhaescola 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 osestudantes de sua escola. Expresse cadauma dessas quantificações em português. f)

x ~N(x) Todos os estudantes da minha escola nãovisitaram Dakota do Norte

Exercícios – Rosen(47) 11) Considere P(x) como o predicado “x =x

Se o domínio forem os números inteiros,quais serão os valores-verdade?

a) P(0)b) P(1)c) P(2)d)P(-1)e)

x P(x)

f)

x P(x)

{...,-2,-1,0,1,2,...}

Exercícios – Rosen(47) 11) Considere P(x) como o predicado “x =x

Se o domínio forem os números inteiros,quais serão os valores-verdade?

a) P(0) =

2 ” é Verdade

b) P(1) =

2 ” é Verdade

c) P(2)d)P(-1)e)

x P(x)

f)

x P(x)

Exercícios – Rosen(47) 11) Considere P(x) como o predicado “x =x

Se o domínio forem os números inteiros,quais serão os valores-verdade?

a) P(0) =

2 ” é Verdade

b) P(1) =

2 ” é Verdade

c) P(2) =

2 ” é Falso

d)P(-1)e)

x P(x)

f)

x P(x)

Exercícios – Rosen(47) 11) Considere P(x) como o predicado “x =x

Se o domínio forem os números inteiros,quais serão os valores-verdade?

a) P(0) =

2 ” é Verdade

b) P(1) =

2 ” é Verdade

c) P(2) =

2 ” é Falso

d)P(-1) =

2 ” é Falso

e)

x P(x)

a,b mostram que é Verdade

f)

x P(x)

Exercícios – Rosen(47) 11) Considere P(x) como o predicado “x =x

Se o domínio forem os números inteiros,quais serão os valores-verdade?

a) P(0) =

2 ” é Verdade

b) P(1) =

2 ” é Verdade

c) P(2) =

2 ” é Falso

d)P(-1) =

2 ” é Falso

e)

x P(x)

a,b mostram que é Verdade

f)

x P(x)

c,d são contra exemplos,Falso

Exercícios – Rosen(47) 12) Considere Q(x) como o predicado

“x+1>2x”. Se o domínio forem os númerosinteiros, quais serão os valores-verdade?

a) Q(0) =

x0” é Verdade

b) Q(-1)c) Q(2)d)

x Q(x)

e)

x Q(x)

f)

x ~Q(x)

g)

x ~Q(x)

Exercícios – Rosen(47) 12) Considere Q(x) como o predicado

“x+1>2x”. Se o domínio forem os númerosinteiros, quais serão os valores-verdade?

a) Q(0) =

x0” é Verdade

b) Q(-1) =

x-1” é Verdade

c) Q(2)d)

x Q(x)

e)

x Q(x)

f)

x ~Q(x)

g)

x ~Q(x)