Lista de Exerccios 1a Avaliao 1.

. Dados os valores lgicos: A verdadeiro, B falso e C verdadeiro, qual o valor lgico de cada uma das fbfs a seguir? a. A ^ (B v C) b. (A ^ B) v C c. (A ^ B) v C d. A ^ (B v C) 2. Qual o valor lgico de cada uma das proposies a seguir? a . 8 par ou 6 mpar. b. 8 par e 6 mpar. c. 8 mpar ou 6 mpar. d. 8 impar e 6 mpar. 3. Encontre o antecedente e o conseqente da cada uma das proposies a seguir. a .Se o sistema no inicia porque a memria est ruim ou o HD com defeito b. O crescimento sadio das plantas conseqncia da quantidade suficiente de gua. c. O aumento da disponibilidade de informao uma condio necessria para um maior desenvolvimento tecnolgico. d. Sero introduzidos erros apenas se forem feitas modificaes no programa. e. A economia de energia para aquecimento implica boa insulao ou vedao de todas a janelas. 4 . Escreva a negao de cada fbf a seguir: a . Se a comida boa ento servio excelente. b. Ou a comida boa, ou o servio excelente. c. Ou a comida boa e o servio excelente, ou ento est caro. d. Nem a comida boa, nem o servio excelente. e. Se caro, ento a comida boa e o servio excelente. 5. Sejam A, B e C as seguintes proposies: A: Rosas so vermelhas. B: Violetas so azuis C: Acar doce a . Rosas so vermelhas e violetas so azuis. b. Rosas so vermelhas e, violetas so azuis ou acar doce. c. Sempre que violetas so azuis, rosas so vermelhas e acar doce. d. Rosas so vermelhas apenas se violetas no forem azuis e se acar no for doce. 6. Para cada uma das proposies a seguir, faa a representao simblica segundo a lgica proposicional. Use a: o salrio do nvel A; b: o salrio possui deduo; c: o salrio tem bnus. a . Se o salrio possui deduo ento ele do nvel A e tem bnus. b. O salrio tem bnus se e somente se no for no nvel A.

c. falso afirmar que: o salrio tem bnus e tambm tem deduo. d. necessrio que o salrio tenha deduo para que seja do nvel A. e. A condio suficiente para que o salrio tenha deduo que ele seja do nvel A. f. No verdade que: se o salrio tem deduo porque ele do nvel A. g. Ou o salrio do nvel A, ou ele no tem deduo, ou ele possui bnus. 7. Escreva cada uma das proposies compostas a seguir em notao simblica usando letras de proposio para denotar as componentes. a. Se o cavalo estiver descansado, o cavaleiro vencer. b. O cavaleiro vencer apenas se o cavalo estiver descansado e a armadura for forte. c. Um cavalo descansado uma condio necessria para o cavaleiro vencer. d. O cavaleiro vencer se e somente se a armadura for forte. e. Um condio suficiente para o cavaleiro vencer que a armadura seja forte ou o cavalo esteja descansado. 8. Construa tabelas verdades para as fbfs a seguir e classifique-as como tautologia, contradio ou contingncia.
a . A B A v B b. (p (q (q p)) c. c b a c d. (c b) a c ^ b e. ((a b) ^ b a)

9. A tabela verdade para A v B mostra que o valor de A v B verdadeiro se A for verdadeiro, se B for verdadeiro ou se ambos forem verdadeiros. Essa utilizao da palavra ou, onde o resultado verdadeiro se ambas as correspondentes forem verdadeiras, chamada de ou inclusivo. esse ou inclusivo que se subentende na frase Teremos chuva ou garoa amanh. Mas isto depende muito do contexto. Um outro uso da palavra ou na lngua portuguesa o ou exclusivo, algumas vezes denotado por XOR, onde o resultado falso se ambas as componentes forem verdadeiras. Esse ou exclusivo esta subentendido na frase Em uma interseo, devemos seguir ou para o norte ou para o sul. Esse operador ou simbolizado por A B.
a . Construa a tabela verdade para A B. b. Mostre que A B equivalente a (A B) 10. Diga qual o nome da regra de inferncia ou equivalncia notvel que foi usada em cada um dos argumentos a seguir: a . Se o drive est ruim ento o disquete est bom. Sabe-se que o drive est ruim. Ento o disquete est bom. b. Se o show deu muita gente ento porque fez sol. Mas, sabe-se que no fez sol. Portanto o show no deu muita gente. c. Ou a porta ou a janela esto abertas. A porta no est aberta. Conclui-se que a janela est aberta. d. O livro de programao Java tem 1000 pginas. Ento podemos afirmar que o livro de programao Java tem 1000 pginas ou ento programar Java fcil. e. A moqueca no pode ser feita nem de Baiacu e nem de Cao. Conclui-se que falso afirmar

que: a moqueca feita de Baiacu ou de Cao. f. Se chover a terra fica molhada. Se a terra ficar molhada as plantas gostam. Ento pode-se concluir que se chover a plantas gostam. g. Eu vou comer pastel com refrigerante ou caldo. Isto equivalente a falar que eu vou comer pastel com refrigerante, ou comer pastel com caldo.

11. Para cada argumento vlido a seguir, justifique cada passo de sua prova com o nome das regras de inferncias e equivalncias notveis usadas.
a . Argumento vlido: (a b) ^ b a v c Prova: 1. a b 2. b 3. a 4. a v c b. Argumento vlido: (a b) ^ a ^ (b v c) c Prova: 1. a b 2. a 3. b v c 4. b 5. c c. Argumento vlido: (b v c) ^ (a ^ c d) ^ (a v c b ^ c) (d ^ e) Prova: 1. b v c 2. a ^ c d 3. a v c b ^ c 4. (b ^ c) 5. (a v c) 6. a ^ c 7. d 8. d v e

9. (d ^ e)
12. Usando tabelas verdade, regras de inferncia e/ou equivalncias notveis prove a validade dos seguintes argumentos: a . (a b) ^ b a b. (a ^ c b) ^ a ^ c b c. (p q) ^ (r q) (r p) d. (r q) ^ t ^ (s q) (t v s r) e. (a v j g) ^ (j g ^ h) ^ (j v b) (a b)

f. (p q ^ r) ^ p ^ (t q) ^ (t v s) s