Mariangela de Oliveira Gomes Setti - Programa de Pós-Graduação ...

140
I.2- Avaliação Aplicada no Semestre 02/2007
PR
UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ
Ministério da Educação
Universidade Tecnológica Federal do Paraná
Diretoria do Campus Curitiba
Gerência de Ensino e Pesquisa
Departamento Acadêmico de Informática
Disciplina: Lógica de Programação – Profª. Mariângela Setti 20/09/07.
Aluno(a): _______________________________________________ Código: _________
OBS: Nota da prova = 8,0 + 2,0 referente às listas de exercícios e ao trabalho.
1. Encontre o antecedente e o consequente de cada uma das proposições a seguir.
a. O crescimento sadio das plantas é consequência da quantidade suficiente de água.
b. O aumento da disponibilidade de informação é uma condição necessária para um
maior desenvolvimento tecnológico.
c. Serão introduzidos erros apenas se forem feitas modificações no programa.
d. A economia de energia para aquecimento implica boa insulação ou vedação de
todas as janelas.
2. Sejam p, q e r as seguintes proposições:
p: Rosas são vermelhas.
q: Violetas são azuis.
r: Açúcar é doce.
Escreva as proposições compostas a seguir em notação simbólica:
a. Rosas são vermelhas e violetas são azuis.
b. Rosas são vermelhas, e ou bem violetas são azuis ou bem açúcar é doce.
c. Se violetas são azuis, rosas são vermelhas e açúcar é doce.
d. Rosas são vermelhas se somente se violetas não forem azuis e se açúcar for
amargo
e. Rosas são vermelhas e, se açúcar for amargo, então ou violetas não são azuis ou
açúcar é doce.
3. Use p, q e r conforme definido no exercício 2 (acima) para escrever as seguintes