You are on page 1of 5

I Lista de Exercícios – Matemática Discreta Lógica 1. Faça os seguintes cálculos: 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.

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 relação dos valores lógicos de duas sentenças equivalentes?” 8. Suponha que tenhamos duas expressões booleanas que envolvam dez variáveis. Para provar que essas duas expressões são logicamente equivalentes, construímos uma tabela verdade. Quantas linhas, além da linha do cabeçalho, essa tabela teria? 9. Como se refutaria uma equivalência lógica? Mostre que: a. x → y não é logicamente equivalente a y → x . b. x → y não é logicamente equivalente a x ↔ y . c. x ∨ y não é logicamente equivalente a ( x ∨ ¬y ) ∨ ( ( ¬ x ) ∧ y ) . 10. Prove que as expressões seguintes são 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 sentenças tautológicas são equivalentes? Por quê? 12. Prove que as expressões seguintes são contradições: a. ( x ∨ y ) ∧ ( x ∨ ( ¬y ) ) ∧ ¬x .

1

2. então x ∈ R é tal que x > 1 ou x < −1. Construa as tabelas-verdade das sentenças: “(P ∨ Q) → R” e “P ∨ (Q → R)”. 13. − 1 ≤ x < 1} e se x ∉ A. 1. B = { x ∈ R. ) c. Prove que v verifica as propriedades comutativa e associativa. Se A = { x ∈ R. c. ( x − 2)( x − 1) ≠ 0} pode ser representado na forma B = { x ∈ R. Ele é um homem alto. (Dessa maneira. Quais das frases a seguir são sentenças? a. x < −1 ou x ≥ 1. prove as equivalências lógicas x v y = y v x e (x v y) v z = x v (y v z). ) d. x –(– 4 ) = 0. Eis outra operação booleana chamada ou-exclusivo. 15. ∨. (Trata-se de outra maneira de expressar v em termos das operações básicas ∧. b. b. Denota-se pelo símbolo v e é definido pela tabela seguinte: x V V F F y V F V F xvy F V V F a. Dois é um número primo. ¬. x ≠ 1 ou x ≠ 2}. Explique por que a operação v é chamada ou-exclusivo. A lua é feita de queijo verde. Que bom! f.b. isto é. c. Prove que x v y é logicamente equivalente a ( x ∧ ¬y ) ∨ ((¬ x) ∧ y ) . O jogo terminará logo? e. 2. 3. Todas as sentenças contraditórias são equivalentes? Por quê? 14. 1. d. Discuta a importância da posição dos parênteses numa sentença. ¬. 17. v pode expressar-se em termos das operações básicas ∧. 2 . x ∧ ( x → y ) ∧ ( ¬y ) . ( x → y ) ∧ ( ( ¬ x ) → y ) ∧ ¬y . O conjunto B = { x ∈ R. Marque a alternativa correta: a. x ≠ 1 e x ≠ 2}. b. x ≥ 1 e x < −1. Prove que x v y é logicamente equivalente a ( x ∨ y ) ∧ (¬ ( x ∧ y )) . 16. ∨.

3. 22. ¬A ∨ ¬( ¬B ∧ C ) 19. 4. então 6 é ímpar. Se 8 é ímpar. Mário vai viajar e jogar futebol. Luiz não irá visitar seus tios e seus avós. então 8 < 6. A ∧ ( B ∨ C ) b. trocar de roupa não significa que se vai nadar. 2. Mário não vai viajar ou não vai jogar futebol. Diversas negativas são dadas para cada uma das seguintes afirmações. então 6 é ímpar. Seja p : “está frio” e seja q : “está chovendo”. c. Ou vai chover ou vai nevar. 23. ( A ∧ B ) ∨ C c. Explique por que “10 ≥ 10 ” é uma sentença verdadeira. x ≥ y e z é par. 21. Quais são as certas? a. Mário não vai viajar e nem jogar futebol. f. x ≥ y ou z é par. Luiz irá visitar seus tios ou seus avós. 1. x < y e z é ímpar. e. Se 8 é ímpar. c. Se 8 é par. 8 é par ou 6 é ímpar. Se Janet vencer ou perder. Mário não vai jogar futebol. b.18. Se 8 é ímpar e 6 é par. Quais os valores-verdade das seguintes sentenças? a. h. traduza as seguintes sentenças compostas para notação simbólica: a. Com o uso de letras para denotar as sentenças componentes. x > y e z é par. 8 é par e 6 é ímpar. 1. c. mas vai viajar. no entanto. se perder. x ≥ y ou z é ímpar. B falso e C verdadeiro. d. ela estará cansada. b. 3. Luiz não irá visitar seus tios e nem seus avós. 2. Ou Janet irá vencer ou. 8 é ímpar e 6 é ímpar. b. Tanto ir para cama como nadar é condição suficiente para trocar de roupa. Luiz não irá visitar seus tios ou seus avós. então 6 é par. ficará cansada. 2. ¬( A ∧ B ) ∨ C d. a) ¬ p d) q ∨ ¬ p ∧q b) p e) ¬ p ∧ ¬ q c) p ∨ q f) ¬ ¬ p 3 . 8 é ímpar ou 6 é ímpar. Dados os valores-verdade A verdadeiro. qual o valor-verdade de cada uma das expressões booleanas? a. 20. Escreva uma sentença verbal que descreva cada proposição. 3. d. 1. g. mas não ambos. h.

4. para algum k ∈ Z . b) Ele é alto mas não bonito. para todo k ∈ Z . y ∈ R. 26. pode-se concluir que: 1. A = { x ∈ R. Se x é um número real. 2. justificando sua resposta: a. Sua resposta só é válida com a respectiva justificativa. e) Ele é alto. ∃k∈ Z .24. Se x. m = 2k . detecte quais não representam a idéia do que seja um número par. 2. c. m = 2k. justificando sua resposta: a. e alguém afirma “x > 0 ou y > 0”. 3. 25. O conjunto A = { x ∈ R. Se você não conhece os números x e y. ∀k∈ Z . x pode ser negativo ou zero? 4. x pode ser negativo? 2. nem bonito. y não pode ser negativo? b. E se essa pessoa diz “x > 0 e y < 0”. Escrever cada uma das proposições na forma simbólica. ( x − 2)( x − 1) = 0} pode ser representado na forma 1. Marque a alternativa correta para as seguintes questões. c) É falso que ele é baixo e bonito. a. podemos afirmar: y x < 0 ou y > 0 4. c. então: 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. x = 2 ou x = 1} b. Sejam x. b. ou π > 3. 1. ( x > 0 e y < 0) ou ( x < 0 e y > 0) 4 . 1. y pode ser zero? 3. b. Seja p : “ele é alto” e q : “ele é bonito”. d. então x 3 − 1 > 0 e 2 x > 0. m = 2k. a) Ele é alto e bonito. − 3 > 9 e 5 < 3 . Existem dois números primos entre os números 22 e 32. Responda às seguintes perguntas. ou 25 > 3. Determine o valor lógico das seguintes sentenças. ou ele é baixo e bonito. x = 2 e x = 1} A = { x ∈ R. d) Ele não é alto. Dentre as afirmações a seguir. y ∈ R são tais que x < 0 ou y < 0 x < 0e y < 0 x > 0 ou y < 0 x < 0 . 27. 5. 3. m é da forma 2k . 2. Um número par é um número inteiro m tal que a.

3. quatro alunos escreveram suas respostas de maneiras distintas. ( x > 0 ou y < 0) e ( x < 0 ou y > 0) c. ( x > 0 ou y > 0) e ( x < 0 ou y < 0) 29. podemos afirmar: x > 0 ou y > 0 1. c. Ao resolverem uma equação algébrica do segundo grau na variável x. d. “x = 2 e x = 3” “x = 2 ou x = 3” “x1 = 2 e x2 = 3” “x1 = 2 ou x2 = 3” Quais das respostas estão formuladas se maneira correta? Por quê? 5 .6. y > 0 . x > 0e y > 0 2. Eles afirmaram que as raízes eram: a. Se x. ( x > 0 e y > 0) ou ( x < 0 e y < 0) 4. b. y ∈ R são tais que x.