2013.

CB 0661 - M ATEMTICA D ISCRETA (P ROF. FABRICIO )

L ISTA 1 (11/09/2013)
Cada denota um nvel de diculdade: fcil, mdio e difcil.

Introduo Lgica Matemtica

( ) 1. Qual o valor das seguintes sentenas lgicas. (a) Verdadeiro Verdadeiro Verdadeiro Falso (b) (Verdadeiro) Verdadeiro (c) (Verdadeiro Verdadeiro) (d) Verdadeiro (A A) ( ) 2. Prove ou desprove que os seguintes pares de frmulas lgicas so equivalentes. (a) (x y ) z (b) (x y ) e e (x z ) (y z ) e Verdadeiro (x y ) (x y )

(c) ((x y ) (y z )) (x z )

(d) (x y ) (x y ) y e Falso ( ) 3. Um nufrago chega em uma ilha onde convivem duas tribos A e B . Todos os nativos da tribo A sempre mentem. Todos os nativos da tribo B sempre falam a verdade. Ao se deparar com um nativo, o nufrago fez a seguinte pergunta: Existe ouro nesta ilha ? O nativo respondeu: Existe ouro na ilha se e somente se eu falo a verdade. Usando lgica matemtica para analisar a resposta do nativo, descubra se existe ou no ouro na ilha. ( ) 4. Prove as seguintes equivalncias lgicas (tente fazer de duas formas, uma usando a tabela verdade, outra usando equivalncias lgicas): (a) A B (A B ) (A B ) (b) A B A B (c) (x y ) z (x z ) (y z ) ( ) 5. Se P uma proposio lgica envolvendo n variveis, ento quantas linhas tem a tabela verdade de P ? ( ) 6. Uma tautologia uma proposio que sempre verdadeira, Prove que as proposies a seguir so tautologias. (a) (x y ) (x y ) (b) (x (x y )) y (c) ((x y ) (y z )) (x z ) ( ) 7. Uma contradio uma proposio que sempre falsa. Prove que as proposies a seguir so contradies. (a) (x y ) (x y ) (x) (b) x (x y ) (y ) (c) (x y ) ((x) y ) (y ) ( ) 8. Escreva as sentenas abaixo usando linguagem lgica. Em seguida, escreva suas negaes. (a) Todo inteiro primo. (b) H um inteiro que no primo nem composto. (c) Existe um inteiro cujo quadrado 2. 1

(d) Para todo inteiro x, existe um inteiro y tal que xy = 1. (e) Existe um inteiro que quando multiplicado por qualquer outro inteiro sempre resulta em 0. ( ) 9. As proposies abaixo so equivalentes? Argumente. (a) x, y, P (x, y ) (b) x, y, P (x, y ) (c) x, y, P (x, y ) e e e y, x, P (x, y ) y, x, P (x, y ) y, x, P (x, y )

Tcnicas bsicas de prova

10. Dizemos que uma armao do tipo A B vlida por vacuidade se A sempre falso (alternativamente, uma armao sobre elementos do conjunto vazio vlida por vacuidade). Quais das armaes abaixo so vlidas por vacuidade? Argumente. (a) (b) (c) (d) (e) (f) (g) Se A = , ento A B , para todo conjunto B . Se x um inteiro primo, ento x mpar. Se x um nmero primo par diferente de 2, ento x mpar. Se x um quadrado perfeito negativo, ento x divisvel por 4. Seja x um nmero inteiro. Tem-se: x divisvel por 4 se e somente se x divisvel por 2. Se A e B so conjuntos tais que A B = , ento A B tem pelo menos dois elementos. Se A e B so conjuntos tais que A B = , ento todo x A B primo.

11. As armaes da questo anterior que no so vlidas devido vacuidade so falsas. D um contraexemplo para cada tal armao. 12. Prove ou d um contra-exemplo: (a) (b) (c) (d) (e) (f) (g) (h) (i) Se a e b so inteiros e a | b, ento a b. Se a e b so inteiros no-negativos e a | b, ento a b. Se a, b e c so inteiros positivos e a | (bc), ento a | b e a | c. Dois tringulos retngulos tem mesma rea se e somente se os comprimentos de suas hipotenusas forem iguais. Se x mpar, ento x2 mpar. Se a e b so primos e a + b primo, ento a = 2 ou b = 2. (A B ) (B A) = . Se a e b so inteiros positivos, ento a b. Sejam T1 , T2 tringulos retngulos cujos catetos e hipotenusas tem valores c1 , c1 , c2 , c2 , h1 , h2 , respectivamente. Temos que se h1 = h2 , ento c1 = c2 e c1 = c2 .

13. Escreva as primeiras sentenas de uma prova por contradio nas armaes abaixo. (a) Se A B e B C , ento A C . (b) A soma de dois inteiros negativos um inteiro negativo. (c) Se o quadrado de um nmero racional um inteiro, ento o nmero racional deve ser tambm um inteiro. (d) Uma reta no pode interceptar os trs lados de um tringulo. (e) Crculos distintos interceptam-se no mximo em dois pontos. 14. Prove as seguintes armaes por contradio. (a) (b) (c) (d) (e) Se |A B | = |A| + |B |, ento |A B | = . H um nmero innito de nmeros primos. Se a | b e b | c, ento a | c. No existe um nmero que par e mpar ao mesmo tempo. Todo inteiro par ou mpar.