Exerccios e Respostas Lgica Matemtica Prof. Jacson Rodrigues As respostas encontram-se em itlico. 1. Quais das frases a seguir so sentenas?

s? a. A lua feita de queijo verde. Verdadeira, pois uma afirmao falsa. b. Ele um homem alto. Falso, pois ele no est especificada. c. Dois um nmero primo. Verdadeiro, pois uma afirmao verdadeira. d. O jogo terminar logo? Falso, pois no uma afirmao. e. As taxas do ano que vem sero maiores. Verdadeiro, pois uma afirmao que verdadeira ou falsa. f. As taxas do ano que vem sero menores. Verdadeiro, pois uma afirmao que verdadeira ou falsa. g. x - 4 = 0 Falso, pois x no est especificado. 2. Dados os valores verdade: A verdadeiro, B falso e C verdadeiro. Qual o valor verdade de cada uma das seguintes fbfs? a. A (B C) Verdadeiro b. (A B) C Verdadeiro c. (A B)' C Verdadeiro d. A' (B' C)' Falso Obs.: Nessa questo, voc deve substituir cada letra por seu valor, por exemplo (letra a): Verdadeiro (Falso Verdadeiro) Aps isso, faa primeiro as negaes, logo aps as conjunes e depois as disjunes at chegar ao valor verdade final, lembre-se de efetuar primeiro o que est dentro dos parnteses. 3. Qual os valores verdade das seguintes sentenas? a. 8 par ou 6 mpar. Verdadeiro b. 8 par e 6 mpar. Falso c. 8 mpar ou 6 mpar. Falso d. 8 mpar e 6 mpar. Falso e. Se 8 mpar, ento 6 mpar. Verdadeiro f. Se 8 par, ento 6 mpar. Falso g. Se 8 mpar, ento 6 par. Verdadeiro h. Se 8 mpar e 6 par, ento 8 < 6. Verdadeiro

Obs.: Para este exerccio 3, substitua cada sentena por um smbolo proposicional e cada conectivo por um conectivo proposicional. Ex. letra a: 8 par A 6 mpar B ento, 8 par ou 6 mpar representado como A B Agora, com a utilizao do se, deve utilizar a implicao. Ex. letra h: 8 par e 6 mpar A B 8<6 C ento, representa-se: (A B) C 4. Indique o antecedente e o consequente de cada uma das seguintes sentenas: a. O crescimento sadio das plantas consequncia de quantidade suficiente de gua. Antecedente: quantidade suficiente de gua Consequente: crescimento sadio das plantas b. O crescimento da oferta de computadores uma condio necessria para o desenvolvimento cientfico. Antecedente: desenvolvimento cientfico Consequente: crescimento da oferta de computadores c. Haver novos erros apenas se o programa for alterado. Antecedente: haver novos erros Consequente: o programa foi alterado d. A economia de combustvel implica um bom isolamento, ou todas as janelas so janelas para tempestades. Antecedente: economia de combustvel Consequente: bom investimento ou todas as janelas so janelas para tempestades Obs.: Interprete cada uma das questes para obter a implicao correta. Exemplos: a) o crescimento sadio das plantas consequncia, ento, se consequncia, significa que a quantidade suficiente de gua que implica o crescimento sadio das plantas c) haver novos erros apenas, ento, se apenas, significa que se os novos erros implicam que o programa foi alterado, ou seja, geram essa concluso. 5. Diversas sentenas negativas so dadas para cada uma das seguintes afirmaes. Quais so as certas? a. A resposta 2 ou 3. 1. Nem 2 nem 3 so a resposta. CORRETA 2. A resposta no 2 ou no 3. 3. A resposta no 2 e no 3. CORRETA b. Pepinos so verdes e tm sementes. 1. Pepinos no so verdes e no tm sementes. 2. Pepinos no so verdes ou no tm sementes. CORRETA 3. Pepinos so verdes e no tm sementes. c. 2 < 7 e 3 mpar. 1. 2 > 7 e 3 par. 2. 2 >= 7 e 3 par. 3. 2 >= 7 ou 3 mpar. 4. 2 >= 7 ou 3 par. CORRETA Obs.: Crie, como na questo 3, sentenas completas com smbolos e conectivos proposicionais

para cada afirmativa, aps isso, faa as tabelas verdade e verifique as que tem os valores verdade opostos. Ex. letra c: 2<7 A assim, (2<7)' = (2>=7) = A' 3 impar B assim, (3 mpar) = B' ento: A B A B A' B' A' B' V V V F F V F F V F F F F F F V V F V V F V V V

6. Sejam A, B e C as seguintes sentenas: A: Rosas so vermelhas. B: Violetas so azuis. C: Acar doce. Traduza as seguintes sentenas compostas para notao simblica. a. Rosas so vermelhas e violetas so azuis. AB b. Rosas so vermelhas e, ou violetas so azuis ou acar doce. A (B C) c. Sempre que violetas so azuis, as rosas so vermelhas e o acar doce. B (A C) d. Rosas so vermelhas apenas se as violetas no forem azuis ou se o acar for azedo. A (B' C') e. Rosas so vermelhas e, se o acar for azedo, ento as violetas no so azuis ou o acar doce. A [ C' (B' C) ] Obs.: Basta seguir as explicaes dos exerccios 3 e 4 7. Com A, B e C como os definidos no Exerccio 6. traduza as seguintes fbfs para o portugus: a. B C ' Violetas so azuis e o acar azedo. b. B' (A C) Violetas no so azuis ou, se as rosas so vermelhas, ento o acar doce. c. (C A') B O acar doce e as rosas no so vermelhas se e somente se as violetas so azuis. d. C (A' B) O acar doce, e as rosas no so vermelhas se e somente se as violetas so azuis. e. (B C')' A Se falso que as violetas so azuis e que o acar azedo, ento as rosas so vermelhas. f. A (B C') As rosas so vermelhas, ou as violetas so azuis e o acar azedo. g. (A B) C' As rosas so vermelhas ou as violetas so azuis, e o acar azedo. Obs.: nesta questo, basta seguir os conectivos e troc-los por suas definies. Para os parnteses, utilize as vrgulas.

8. Construa tabelas verdade para cada fbf a seguir. Note quaisquer tautologias ou contradies. a. (A B) A' B A B A B A' B (A B) A' B V V V F F V F F uma Tautologia b. (A B) C A (B C) valores verdade finais: A B C (A B) C A (B C) V V V V V F V F V V F F F V V F V F F F V F F F V V V V F V F V V F V V V F V V V V V V

c. A (A' B')' valores verdade finais: A B A (A' B')' V V V F F V F F d. A B A' valores verdade finais: A B A B A' V V V F F V F F F T T T T F F F

e. (A B) [ (A C) (B C) ] valores verdade finais: A B C (A B) C A (B C) V V V V V F V F V V F F F V V F V F F F V F F F uma tautologia f. A (B A) valores verdade finais: A B A B A' V V V F F V F F uma tautologia g. A B B' A' valores verdade finais: A B A B B' A' V V V F F V F F uma contradio 9. Um chip de memria de um microcomputador tem 2 4 elementos com dois estados (ligado/desligado). Qual o nmero total de configuraes ligado/desligado possveis? Basta considerar a base como a quantidade de estados possveis (2) e elevando-a quantidade de elementos existentes (24): F F F F T T T T T T T T T T T T

2 2 = 2 16
10. Suponha que A, B e C representam proposies que sero verdadeiras ou falsas durante a execuo de um programa. Suponha ainda que voc deseje somente que o programa efetua uma determinada tarefa caso A ou B seja verdadeira (mas no ambos) e C seja falsa. Usando A, B e C e os conectivos OU, E e NO, formule uma proposio que ser verdadeira apenas nessas condies. Uma das possibilidades : (A OU B) E NO (A E B) E NO C

11. Em um determinado pas, todos os habitantes so ou um contador de verdade que sempre fala a verdade ou mentirosos que sempre mentem. Viajando neste pas, voc encontra dois habitantes, Percival e Joo. Percival diz "Se eu for um contador de verdades, Joo tambm um contador de verdades". Percival um mentiroso ou um contador de verdade? E Joo? Essa situao pode ser escrita como A B, onde A Percival um contador de verdades e B Joo um contador de verdades. Verificao: A B A B Discusso V V V F F V V F V Se os dois so verdadeiros, a frase de Percival verdadeira Se Joo mentiroso, a frase de Percival mentirosa, no se aplicando ao valor de A nessa combinao de nossa tabela verdade. Ou seja, combinao invlida.

Se Percival mentiroso, Joo pode ser verdadeiro ou mentiroso, o que implica esses dois casos. Porm, como voc pode ver, esses dois casos so considerados verdadeiros (A B), o que implica que Percival teria dito verdade, ou seja, seria verdadeiro e no mentiroso, no podendo se aplicar nenhuma dessas duas F F V combinaes. Ento, os dois so verdadeiros. 12. Reescreva o pseudocdigo a seguir com uma expresso condicional mais simples, onde a funo mpar(n) tem o valor lgico verdadeiro se n for mpar. se no ((valor1 < valor2) ou mpar(nmero)) ou (no(valor1 < valor2) e mpar(nmero)) ento proposicao1 caso contrrio proposio2 fim do se Resposta: (A B)' (A' B) (A' B') (A' B) A' (B' B) A' 1 A' (pela lei de De Morgan) (pela lei da Distributividade) (pela lei do Complemento) (pela lei dos elementos neutros)