I Lista de Exerccios Matemtica Discreta Lgica 1. Faa os seguintes clculos: a. V V V V F b. ( V ) V c. (V V ) d. (V V ) F e. V (V F ) 2. Prove: ( x y ) ( x y ) logicamente equivalente a x. 3.

valente a x. 3. Prove que x y logicamente equivalente a ( x ) ( y ) . 4. Prove que x y logicamente equivalente a ( x y ) ( y x ) . 5. Prove que x y logicamente equivalente a ( x y ) ( ( x ) ( y ) ) . 6. Prove que ( x y ) z logicamente equivalente a ( x z ) ( y z ) . 7. Responda seguinte pergunta, justificando sua resposta: Qual a relao dos valores lgicos de duas sentenas equivalentes? 8. Suponha que tenhamos duas expresses booleanas que envolvam dez variveis. Para provar que essas duas expresses so logicamente equivalentes, construmos uma tabela verdade. Quantas linhas, alm da linha do cabealho, essa tabela teria? 9. Como se refutaria uma equivalncia lgica? Mostre que: a. x y no logicamente equivalente a y x . b. x y no logicamente equivalente a x y . c. x y no logicamente equivalente a ( x y ) ( ( x ) y ) . 10. Prove que as expresses seguintes so tautologias: a. ( x y ) ( x ( y ) ) . b. ( x ( x y ) ) y . c. ( ( x ) ) x . d. x x . e. ( ( x y ) ( y z ) ) ( x z ) . f. F x . 11. Todas as sentenas tautolgicas so equivalentes? Por qu? 12. Prove que as expresses seguintes so contradies: a. ( x y ) ( x ( y ) ) x .

b. x ( x y ) ( y ) . c. ( x y ) ( ( x ) y ) y . 13. Todas as sentenas contraditrias so equivalentes? Por qu? 14. Eis outra operao booleana chamada ou-exclusivo. Denota-se pelo smbolo v e definido pela tabela seguinte: x V V F F y V F V F xvy F V V F

a. Prove que v verifica as propriedades comutativa e associativa; isto , prove as equivalncias lgicas x v y = y v x e (x v y) v z = x v (y v z). b. Prove que x v y logicamente equivalente a ( x y ) (( x) y ) . (Dessa maneira, v pode expressar-se em termos das operaes bsicas , , . ) c. Prove que x v y logicamente equivalente a ( x y ) ( ( x y )) . (Trata-se de outra maneira de expressar v em termos das operaes bsicas , , . ) d. Explique por que a operao v chamada ou-exclusivo. 15. Quais das frases a seguir so sentenas? a. A lua feita de queijo verde. b. Ele um homem alto. c. Dois um nmero primo. d. O jogo terminar logo? e. Que bom! f. x ( 4 ) = 0. 16. Construa as tabelas-verdade das sentenas: (P Q) R e P (Q R). Discuta a importncia da posio dos parnteses numa sentena. 17. Marque a alternativa correta: a. O conjunto B = { x R; ( x 2)( x 1) 0} pode ser representado na forma B = { x R; x 1 e x 2}. 1. B = { x R; x 1 ou x 2}. 2. Se A = { x R; 1 x < 1} e se x A, ento x R tal que x > 1 ou x < 1. 1. x 1 e x < 1. 2. x < 1 ou x 1. 3.

b.

18. Dados os valores-verdade A verdadeiro, B falso e C verdadeiro, qual o valor-verdade de cada uma das expresses booleanas? a. A ( B C ) b. ( A B ) C c. ( A B ) C d. A ( B C ) 19. Quais os valores-verdade das seguintes sentenas? a. 8 par ou 6 mpar. b. 8 par e 6 mpar. c. 8 mpar ou 6 mpar. d. 8 mpar e 6 mpar. e. Se 8 mpar, ento 6 mpar. f. Se 8 par, ento 6 mpar. g. Se 8 mpar, ento 6 par. h. h. Se 8 mpar e 6 par, ento 8 < 6. 20. Diversas negativas so dadas para cada uma das seguintes afirmaes. Quais so as certas? a. Mrio vai viajar e jogar futebol. 1. Mrio no vai jogar futebol, mas vai viajar. 2. Mrio no vai viajar ou no vai jogar futebol. 3. Mrio no vai viajar e nem jogar futebol. b. Luiz ir visitar seus tios ou seus avs. 1. Luiz no ir visitar seus tios ou seus avs. 2. Luiz no ir visitar seus tios e seus avs. 3. Luiz no ir visitar seus tios e nem seus avs. c. x < y e z mpar. 1. x > y e z par. 2. x y e z par. 3. x y ou z mpar. 4. x y ou z par. 21. Com o uso de letras para denotar as sentenas componentes, traduza as seguintes sentenas compostas para notao simblica: a. Tanto ir para cama como nadar condio suficiente para trocar de roupa; no entanto, trocar de roupa no significa que se vai nadar. b. Ou vai chover ou vai nevar, mas no ambos. c. Se Janet vencer ou perder, ela estar cansada. d. Ou Janet ir vencer ou, se perder, ficar cansada. 22. Explique por que 10 10 uma sentena verdadeira. 23. Seja p : est frio e seja q : est chovendo. Escreva uma sentena verbal que descreva cada proposio. a) p d) q p q b) p e) p q c) p q f) p

24. Seja p : ele alto e q : ele bonito. Escrever cada uma das proposies na forma simblica. a) Ele alto e bonito. b) Ele alto mas no bonito. c) falso que ele baixo e bonito. d) Ele no alto, nem bonito. e) Ele alto, ou ele baixo e bonito. 25. Dentre as afirmaes a seguir, detecte quais no representam a idia do que seja um nmero par. Um nmero par um nmero inteiro m tal que a. m = 2k , para algum k Z . b. m da forma 2k , para todo k Z . k Z , m = 2k. c. k Z , m = 2k. d. 26. Determine o valor lgico das seguintes sentenas, justificando sua resposta: a. Existem dois nmeros primos entre os nmeros 22 e 32, ou > 3. b. Se x um nmero real, ento x 3 1 > 0 e 2 x > 0. 3 > 9 e 5 < 3 , ou 25 > 3. c. 27. Sejam x, y R. Responda s seguintes perguntas, justificando sua resposta: a. Se voc no conhece os nmeros x e y, e algum afirma x > 0 ou y > 0, pode-se concluir que: 1. x pode ser negativo? 2. y pode ser zero? 3. x pode ser negativo ou zero? 4. y no pode ser negativo? b. 1. 2. 3. 4. E se essa pessoa diz x > 0 e y < 0, ento: x ou y podem ser nulos? x e y podem ser nulos? x ou y podem ser positivos? x pode ser negativo ou nulo ou y pode ser positivo?

28. Marque a alternativa correta para as seguintes questes. Sua resposta s vlida com a respectiva justificativa. a. O conjunto A = { x R; ( x 2)( x 1) = 0} pode ser representado na forma 1. 2. A = { x R; x = 2 e x = 1} A = { x R; x = 2 ou x = 1} b. 1. 2. 3. Se x, y R so tais que x < 0 ou y < 0 x < 0e y < 0 x > 0 ou y < 0 x < 0 , podemos afirmar: y x < 0 ou y > 0 4. 5. ( x > 0 e y < 0) ou ( x < 0 e y > 0)

6. ( x > 0 ou y < 0) e ( x < 0 ou y > 0) c. Se x, y R so tais que x. y > 0 , podemos afirmar: x > 0 ou y > 0 1. x > 0e y > 0 2.

3. ( x > 0 e y > 0) ou ( x < 0 e y < 0) 4. ( x > 0 ou y > 0) e ( x < 0 ou y < 0) 29. Ao resolverem uma equao algbrica do segundo grau na varivel x, quatro alunos escreveram suas respostas de maneiras distintas. Eles afirmaram que as razes eram: a. b. c. d. x = 2 e x = 3 x = 2 ou x = 3 x1 = 2 e x2 = 3 x1 = 2 ou x2 = 3

Quais das respostas esto formuladas se maneira correta? Por qu?