29/10/2011

Aula 10

Algumas sentenas so chamadas abertas porque so passveis de interpretao para que possam ser julgadas como verdadeiras (V) ou falsas (F). Se a sentena aberta for uma expresso da forma x P (x), lida como para todo x, P(x), em que x um elemento qualquer de um conjunto U, e P(x) uma propriedade a respeito dos elementos de U, ento preciso explicitar U e P para que seja possvel fazer o julgamento como V ou como F.

29/10/2011

A partir das definies acima, julgue os itens a seguir. 01- Se U for o conjunto de todos os funcionrios pblicos e P(x) for a propriedade x funcionrio do INSS, ento falsa a sentena xP(x). ( ) Certo ( )Errado

02-Considere-se que U seja o conjunto dos funcionrios do INSS, P(x) seja a propriedade x funcionrio do INSS e Q(x) seja a propriedade x tem mais de 35 anos de idade. Desse modo, correto afirmar que duas das formas apresentadas na lista abaixo simbolizam a proposio Todos os funcionrios do INSS tm mais de 35 anos de idade. (i) x(se Q(x) ento P(x)) (ii) x (P(x) ou Q(x)) (iii)P (se P(x) ento Q(x))

29/10/2011

03. (FCC) Considerando "todo livro instrutivo" uma proposio verdadeira, correto inferir que: (A) "Nenhum livro instrutivo" uma proposio necessariamente verdadeira. (B) "Algum livro no instrutivo" uma proposio verdadeira ou falsa. (C) "Algum livro instrutivo" uma proposio verdadeira ou falsa. (D) "Algum livro instrutivo" uma proposio necessariamente verdadeira. (E) "Algum livro no instrutivo" uma proposio necessariamente verdadeira.

04. Considerando "toda prova de Lgica difcil" uma proposio verdadeira, correto inferir que (A) "nenhuma prova de Lgica difcil" uma proposio necessariamente verdadeira. (B) "alguma prova de Lgica difcil" uma proposio necessariamente verdadeira. (E) "alguma prova de Lgica difcil" uma proposio verdadeira ou falsa.

29/10/2011

(D) "alguma prova de Lgica no difcil" uma proposio necessariamente verdadeira. (E) "alguma prova de Lgica no difcil" uma proposio verdadeira ou falsa.

"toda prova de Lgica difcil

29/10/2011

01.- A proposio funcional Existem nmeros que so divisveis por 2 e por 3 verdadeira para elementos do conjunto {2, 3, 9, 10, 15, 16 }

2.(CESPE) Se Q o conjunto dos nmeros racionais, ento a proposio x)(xE Q)(x = ( 2) valorada como V.

29/10/2011

3. (CESPE) Se R o conjunto dos nmeros reais, ento a proposio ( x)(xE R)( y) (y E R)(x + y = x) valorada como V

4. Considere as seguintes proposies: A: ( x)(x R e 0 < x < 1)(1/x > 1) B: ( x)(x R e -1 x 1)(x > 1) C: Se 5 par, ento algum clube do Acre disputa a srie A do campeonato brasileiro de futebol. D: Se 4 primo, ento Chico Mendes foi um defensor da floresta amaznica. Nesse caso, entre essas 4 proposies, apenas uma F.

29/10/2011

A: ( x)(x R e 0 < x < 1)(1/x > 1)

B: ( x)(x R e -1< x <1)(x > 1)

29/10/2011

C: Se 5 par, ento algum clube do Acre disputa a srie A do campeonato brasileiro de futebol.

D: Se 4 primo, ento Chico Mendes foi um defensor da floresta amaznica. Nesse caso, entre essas 4 proposies, apenas uma F.

29/10/2011

05.(CESPE) Considerando que ( x)A(x) e ( x)A(x) so proposies, correto afirmar que a proposio ( x)A(x) ( x)A(x) avaliada como V em qualquer conjunto em que x assuma valores.

06.A proposio para cada x, (x + 2) > 7 interpretada como V para x pertencente ao conjunto {6, 7, 8, 9}.

29/10/2011

07. (CESPE) A proposio Nenhum pavo misterioso est corretamente simbolizada por ( x)(P(x) M(x)), se P(x) representa x um pavo e M(x) representa x misterioso.

08. (CESPE) A proposio funcional Para qualquer x, tem-se que x > x verdadeira para todos os valores de x que esto no conjunto {5, 5/2 ,3 ,3/2 ,2 ,1/2 }

10

29/10/2011

09. (CESPE) Se Q o conjunto dos nmeros racionais, ento a proposio ( x)(x Q e x > 0)(x > x) valorada como F.

11