Curso: Tecnologia em Sistemas de Informao. Disciplina: Lgica Matemtica. Professor: Ney Barros. Braslia-DF, sexta-feira, 20 de setembro de 2013.

Simulado da prova NP1

Nome do Aluno:

Registro Acadmico:

Assinatura:

Prezado Estudante, Esta avaliao contm 9 (nove) questes, valendo um total de 13,0 pontos. No cmputo dos pontos, caso o somatrio ultrapasse 10,0, ser atribuda nota 10,0 ao estudante. Abaixo seguem outras regras e informaes para a realizao desta prova: 1. A prova INDIVIDUAL. 2. A prova SEM CONSULTA. 3. O TEMPO de prova de 2 (duas) horas. 4. C ONFIRA se a prova contm 9 (nove) questes. 5. O BSERVE a PONTUAO no incio de cada questo. 6. L EIA atentamente cada questo ANTES de comear a resolv-la. 7. Escreva sua RESPOSTA de forma LEGVEL, para que ela possa ser corrigida. 8. Para obter pontuao mxima no item, certique-se de que sua RESPOSTA esteja correta e plenamente DETALHADA. 9. Quando necessrio, UTILIZE o VERSO de cada pgina E PGINAS EXISTENTES AO FINAL da prova para responder as questes.

Questo 1
(Pontuao: 0,5 por item correto. Pontuao mxima possvel na questo: 1,0) Marque X na(s) sentena(s) que seja(m) proposio(es). ( ( ) O ombro esquerdo pertence ao conjunto de ombros! ) Genival Oliveira Gonalves, o GOG, pertence ao conjunto dos rappers brasileiros.

Questo 2
(Pontuao: 0,75 por item correto. Pontuao mxima possvel na questo: 1,5) Para cada proposio a seguir, marque V se o valor lgico da proposio for verdadeiro e F se o valor lgico da proposio for falso. ( ( ) Se 200 for par, ento 300 mpar. ) 200 par se, e somente se, 300 mpar.

Questo 3
(Pontuao: 0,75 por item correto. Pontuao mxima possvel na questo: 1,5) Para cada proposio a seguir, explicite o antecedente e o consequente. a) Realizar bastante exerccios condio necessria para obter boa nota na prova de Lgica Matemtica. b) Engravidar condio suciente para ser me.

Questo 4
(Pontuao: 0,75 por item correto. Pontuao mxima possvel na questo: 1,5) Para cada proposio a seguir, so dadas formas de negao. Marque X na forma de negao correta. a) Siriguelas so amarelas e tm caroos. ( ( ( ) Siriguelas no so amarelas e no tm caroos. ) Siriguelas no so amarelas ou no tm caroos. ) Siriguelas so amarelas ou no tm caroos.

b) 100 < 200 e 300 mpar. ( ( ( ( ) 100 > 200 e 300 par. ) 100 200 e 300 par. ) 100 200 ou 300 mpar. ) 100 200 ou 300 par.

Questo 5
(Pontuao: 0,75 por item correto. Pontuao mxima possvel na questo: 1,5) Para cada proposio composta a seguir, escreva-a em notao simblica, utilizando letras de proposio e conectivos lgicos. a) Rosas so vermelhas e, ou violetas so azuis, ou acar doce. b) Rosas so vermelhas apenas se violetas no forem azuis ou se acar for amargo.

Questo 6
(Pontuao: 0,75 por item correto. Pontuao mxima possvel na questo: 1,5) Escreva cada proposio composta a seguir em portugus. Considere que A = Pascal uma linguagem de programao estruturada, B = Java uma linguagem de programao orientada objetos, C = Prolog uma linguagem de programao declarativa. a) (C A ) B b) A (B C )

Questo 7
(Pontuao: 0,75 por item correto. Pontuao mxima possvel na questo: 1,5) Para cada proposio a seguir, marque V se o valor lgico for verdadeiro e F se o valor lgico for falso, considerando que A verdadeira, B falsa e C verdadeira. 1. ( 2. ( ) ) (A B ) C A (B C )

Questo 8
(Pontuao: 0,75 por item correto. Pontuao mxima possvel na questo: 1,5) Construa tabelas-verdade para as frmulas-bem-formadas (fbfs) a seguir. a) (A B ) A B b) (A B ) [(A C ) (B C )]

Questo 9
(Pontuao: 0,75 por item correto. Pontuao mxima possvel na questo: 1,5) Prove, utilizando tabelas-verdade, que as frmulas-bem-formadas (fbfs) a seguir so tautologias. a) (A B ) (A B ) (B A) b) A (B C ) (A B ) (A C )

Utilize este espao e o verso da prova para suas respostas

Utilize este espao e o verso da prova para suas respostas