1a Lista de L ogica Matem atica Profa Maysa

1. Em cada uma das frases abaixo, determine qual a condi c ao necess aria para a outra condi c ao, e qual a consi c ao suciente para a outra condi c ao, ou ambas necess aria e suciente. (a) Se ela zer aquilo, ela e maluca. Resposta: Se ela zer aquilo e condi c ao suciente para Ela ser maluca ou Ela ser maluca e condi c ao necess aria para ela fazer aquilo (b) Ele vir a, se n ao chover. (c) Ela vir a somente se n ao chover. (d) Quando ele a vir, ele vai avis a-la. (e) O ar est a quente somente quando o sol est a brilhando. (f) Toda vez que o telefone toca, ela corre para atend e-lo. 2. Escreva as senten cas a seguir, como formas sentenciais, usando formas at omicas, isto e, as senten cas que n ao podem ser constru das a partir de outras senten cas.

(a) Se o Z e est a feliz, a esposa do Z e n ao est a feliz, e se o Z e n ao est a feliz a esposa do Z e n ao est a feliz. Resposta: A Z e est a feliz. B A esposa do Z e est a feliz. (A B ) (A B ) (b) O Z e vir a` a festa e Jo ao n ao, ou o Z e n ao vir a` a festa e Jo ao se divertir a. (c) Uma condi c ao necess aria e suciente para o Sheik ser feliz e ele ter vinho, mulheres e m usica. (d) Z e vai ao cinema s o se o lme for uma com edia. (e) Uma condi c ao suciente para x ser mpar e x ser primo. 3. Dado o seguinte esquema: D ganho um carro C ganho uma moto F posso dirigir G estou saud avel H sou aprovado no exame Traduza as seguintes senten cas: (a) (D C ) (F (G H )) (b) F G (c) G F (d) F (D C ) (e) H F 1

(f) H (F (D C )) (g) H (G (D C )) (h) (F D) (G H ) 4. Dado o seguinte esquema: D Paulo diminui os erros cometidos C h a motiva c ao para o estudo F Paulo aprendeu a mat eria G O Professor e bom simbolizar: (a) Se o Professor e bom, Paulo aprende a mat eria. (b) Paulo n ao aprendeu a mat eria ; ele n ao diminuiu os erros cometidos. (c) Se o Professor e bom, ent ao, caso haja motiva c ao para estudar, Paulo aprende a mat eria. (d) Paulo diminuir a o n umero de erros cometidos se, e somente se, n ao ocorrer o seguinte: n ao deixa de haver motiva c ao para o estudo e Paulo n ao deixa de aprender a mat eria. 5. Leia as seguintes arma c oes: 1- Se um pol tico tem muito dinheiro, ent ao ele pode ganhar as elei c oes. 2- Um pol tico n ao pode ganhar as elei c oes se ele n ao tem muito dinheiro. Qual e a nega c ao da arma c ao (1) ? E sua rec proca? E a sua contrapositiva? Qual e a nega c ao da arma c ao (2) ? E sua rec proca? E a sua contrapositiva? 6. Construa tabelas-verdade para fbfs a seguir. Note quaisquer tautologias ou contradi c oes. (a) (A B ) [(A C ) (B C )] (b) A (B A) (c) A B B A (d) (A B ) (A B ) (e) [(A B ) C ] A C (f) (A) A (g) [B (A B )] A 7. A tabela-verdade para A B mostra que o valor de A B e verdadeiro se A for verdadeiro, se B for verdadeiro ou se ambos forem verdadeiros. Essa utiliza c ao da palavra ou , onde o resultado e verdadeiro ou se ambas as componentes forem verdadeiras, e chamada de ou inclusivo. esse ou inclusivo que se subentende na frase Teremos chuva ou garoa amanh E a.. Um outro uso da palavra ou na l ngua portuguesa e o ou exclusivo, algumas vezes denotado por XOU ou XOR, onde o resultado e falso se ambas as componentes forem verdadeiras. Esse ou exclusivo 2

est a subentendido na frase Em uma instersec c ao, devemos seguir ou para o norte ou para o sul.. Esse ou exclusivo e simbolizado por A B . (a) Construa a tabela-verdade para o ou exclusivo. (b) Mostre que A B (A B ) e uma tautologia.

8. Use l ogica proposicional para provar que o argumento e v alido. (a) A (B A) B (b) (A B ) [A (B C )] (A C ) (c) A (A B ) B (d) [A (B C )] (A D) B (D C ) (e) [A (B C )] [B (A C )] 9. Use l ogica proposicional para provar a validade dos argumentos abaixo. Esses argumentos tornase- ao regras de dedu c ao adicionais para a l ogica proposicional. (a) (P Q) P Q (b) (P Q) (Q P ) (c) (Q P ) (P Q) (d) P P P 10. Use l ogica proposicional para provar que os argumentos s ao v alidos e que ` a vontade para usar a tabela adicional de infer encias. (a) (A (A B ) (b) (P Q) (P Q) Q (c) (A B ) (A C ) (B C ) (d) (A B ) (C A) (C B ) A 11. Use l ogica proposicional para provar que os argumentos s ao v alidos e que ` a vontade para usar a tabela adicional de infer encias. Use as letras indicadas. (a) Se o programa e eciente, executa rapidamente : ou o programa e eciente ou tem algum bug. E, R, B (b) Se Jane e a mais popular, ela ser a eleita . Se Jane e a mais popular, ent ao Carlos vai renunciar. Portanto, se Jane e a mais popular, ela ser a eleita e Carlos renunciar a. J , E, C (c) N ao e verdade que, se as tarifas de energia el etrica subirem, ent ao o uso diminuir a, nem e verdade que novas usinas el etricas ser ao constru das ou as contas n ao ser ao pagas com atraso. Portanto, o uso n ao vai diminuir e as contas ser ao pagas com atraso. T, U, E, C