This is page i Printer: Opaque this

1 Lgica
Este material se compe de exerccios de Lgica relacionadas as disciplinas de Fundamentos de Matemtica e Matemtica Discreta..

1.1 Tabela Verdade

1. (FM-2003) O conectivo tal que pt t e pc c, onde p uma proposio qualquer, t uma tautologia e c uma contradio. (a) Construa a tabela verdade de pq, para quaisquer proposies p e q. (b) O conectivo comutativo? (c) Verique se i) pp p ii) (p q) (pq qp). 2. (MD-2002) Determine, atravs de uma tabela-verdade, os valoresverdade da proposio (p q) r. Usando as proposies simples p, q, r, d um exemplo de proposio equivalente proposio dada. 3. (MD-2002) Construa a tabela-verdade da proposio abaixo e conclua, justicando, que ela equivalente proposio (q r p). (q r) (r p) (q p)

1.2 Mtodo Dedutivo

1. (MD-2002) Verique se as inferncias abaixo so vlidas (nesse caso apresente uma demonstrao) ou invlidas (nesse caso apresente um contra-exemplo): qp qp qp qp q p 2. (MD-2002) Verique se as inferncias abaixo so vlidas (nesse caso apresente uma demonstrao) ou invlidas (nesse caso apresente um contra-exemplo): qr qr qp qp r r pr p

ii

1. Lgica

3. (FM-2003) Mostre que o seguinte argumento vlido: H1 : A (B C) H3 : ( B D) F H4 : F T :A 4. (FM-2003) Mostre que o seguinte argumento vlido: P (Q R), Q S, P U, (R X), S (X Y ), U ` Y, onde P, Q, R, S, U, X e Y so proposies quaisquer. 5. (FM-2003) Verique se a proposio (p q) ( r p) q r uma tautologia. Caso o seja, demonstre pelo mtodo dedutivo e caso no seja apresente os valores lgicos de p, q e r que impedem de ser. 6. (MD-2001) Demonstre, justicando cada passo, a inferncia pqr p r q. 7. (FM-2002) Mostre que (p q) r [(p r) (q r)], utilizando o mtodo dedutivo. 8. (MD-2000) Valide o argumento A J = G, J = G, J B ` A = B. 9. Prove que os seguintes argumentos so vlidos: a) T, T = Q, Q = S ` S. b) S Q, T = Q, T = R ` R. c) A = B, B = C, C ` A. d) A = C, C = M, M R, R ` A. e) P = Q, R = Q, ( P S) ` R S. f) P Q = R S, R S ` P = Q. g) P Q, R Q ` P = R. 10. (MD-1997)Compare os argumentos abaixo. Quais so vlidos ? Explique e d exemplos: P Q P Q P Q P Q H2 : C (D E)

1. Lgica

iii

1.3 Quanticadores
1. (FM-2003) Considerando N como universo de discurso e a proposio (x)(y)(q(x, y) p(x)) responda: (a) Qual a negao da proposio acima? (b) Se p(x) : "x par" e q(x, y) :"x = 2y", qual o valor lgico da proposio do item (a)? 2. (FM-2003) Considere a seguinte proposio: (x)(p(x))[(x)(y)(q(x, y))]. (a) Apresente a sua negao. (b) Encontre o valor lgico da proposio obtida no item a), considereando o universo de discurso {1, 2, 3, 4}, as proposies p(x) : x < 5 e q(x, y) : x2 + 2y < 15. 3. (MD-2002) Escreva a negao da proposio abaixo e determine o valor-verdade da proposio obtida: (x)(y)(p(x, y) q(x)), onde, no universo dos nmeros inteiros, q(x) o predicado "x par" e p(x, y) o predicado "x = 2y". 4. (MD-2002) Escreva a negao da proposio abaixo: (x)(y)(q(x, y) p(x)). Sabendo que, no universo dos nmeros inteiros, p(x) o predicado "x par" e q(x, y) o predicado "x = 2y", determine o valor-verdade da proposio obtida. 5. Escreva (em portugus, no em linguagem lgica) a negao de cada sentena abaixo: (a) Todo nmero inteiro um nmero real. (b) Existe um nmero real que no inteiro. (c) Alguns naturais so primos. (d) Nem todos os naturais so primos. (e) Todas as casas so feitas de tijolos. (f) Nenhum natural primo. (g) Todo carro ou branco ou preto.

iv

1. Lgica

(h) Alguns carros so brancos por fora e pretos por dentro. (i) Existe um nmero natural que par ou um quadrado perfeito. (j) Todo natural mpar ou um quadrado perfeito. 6. No universo dos nmeros inteiros, considere o predicado s(x) : x3 = x. Qual das seguintes proposies so verdadeiras (justique): (a) s(o) (b) s(1) (c) s(1) (d) (x)(s(x)) (e) (x)(s(x)) (f) (!x)(s(x)) 7. Considere o mesmo predicado s do exerccio anterior, agora no universo {0, 1}, e determine os valores-verdade das seguintes proposies: (a) (x)(s(x)) (b) (!x)(s(x)) (c) (x)(s(x)) 8. No universo dos nmeros inteiros Z, determine o valor-verdade de cada proposio abaixo (justique a resposta): (a) (x)(y)(x = y)] (b) (x)(y)(xy = yx) (c) (x)(y)(xy = 1) (d) (x)(y)(xy = x) (e) (x)(y)(xy = y) (f) (x)(y)(z)(xy = z) (g) (x)(y)(z)(xy = z) 9. No universo dos nmeros naturais N, escreva (usando quanticadores e, se necessrio, conectivos lgicos) os seguintes predicados (siga o exemplo do item (a)): (a) p(n): n par. (soluo: (k)(n = 2k)) (b) i(n): n mpar. (c) d(n, m): n divide m. (d) r(n): n primo (use d(n, m) para indicar a propriedade do item anterior).

1. Lgica

(e) q(n): n um quadrado perfeito (isto , n o quadrado de um nmero natural). 10. Expresse a negao de cada predicado do exerccio anterior. 11. Usando os predicados p, i, d, r, q do exerccio acima (sem descrev-los novamente), conectivos lgicos e quanticadores, expresse cada uma das proposies abaixo (siga o primeiro exemplo): (a) Todo natural par ou mpar. (soluo: (n)(p(n) i(n))) (b) Se um quadrado perfeito par, ento ele divisvel por 4. (c) S existe um nmero primo par. (d) Se um primo divide o produto de dois nmeros, ento ele divide um dos dois nmeros. (e) H nmeros primos pares, mas no h quadrados perfeitos primos. (f) Alguns nmeros so divisveis por 3 mas no por 9 12. Ainda considerando os predicados p, i, d, r, q sobre N, determine os valores-verdade das seguintes proposies abaixo: (a) (n)([p(n) i(n + 1)]) (b) (n)(r(n) d(3, n)) (c) (n)(r(n) (d(n, 2) d(2, n)) (d) (n)(m)((m 6= 1) q(m) d(m, n)) (e) (n)(m)(q(m) d(n, m)) (g) (n)(q(n) q(n + 1)) 13. (MD-1997)Para cada das sentenas abaixo, determine valor verdade e faa as respectivas negaes sem usar o conectivo . a) b) yx[2x = y] (universo: inteiros) (universo: 1,2,3,...) x[(x 6= 1) (x2 > x + 1)] (f) (n)(m)[((n = m2 ) p(m)) q(m) p(n)]

14. (MD-1997)Esceva em notao lgica o enuncido :Todo nmero natural soma de 3 quadrados. Qual seu valor verdade( universo naturais: 0, 1, 2, 3, ....? E qual a sua negaco( sem usarr o conectivo ).

vi

1. Lgica

1.4 Induo Finita

1. (MD-2001) Enuncie o Princpio de Induo Finita. 2. Mostre, utilizando induo nita, que as seguintes proposies so verdadeiras. (a) (FM-2002) 1.2+2.3+3.4+. . .+n. (n + 1) = N. (b) (MD-1997) 3 + 6 + 9 + ... + 3n = (c) (MD-1997) 1 + 3 + 32 + ... + 3n = (d) (MD-1997) 7 divide 2
3 3 3n 3
n+1

n 3

(n + 1) . (n + 2) , n N.

3n(n+1) , n 2 2 1

(e) (MD-2001) 1 + 2 + + n3 = (g) (FM-2003) 24 divide 5

2

1, n N.

, n N.

(f) (MD-2001) 1 + 2 + + n =
2n

(h) (FM-2003) n > 2n + 1, para todo nmero n > n0 pertencente aos Naturais, determinando o valor de n0 .

1, n N.

n2 4 (n + n(n+1) , n 2

1)2 , n N. N.