Exercicios Aula 08 (Parte 2)

Prévia do material em texto

Universidade Tecnológica Federal do Paraná – UTFPR 
Departamento Acadêmico de Informática – DAINF 
Curso de Engenharia de Computação 
Disciplina de Lógica para Computação 
 
"As proposições da lógica (...) tornam-se, portanto, formas puras: simples 
tautologias, (...); ou seja,enunciados que não dizem absolutamente nada 
sobre o real mas que, por essa mesma razão, mantêm a sua validade, qualquer 
que seja o conteúdo concreto que neles seja instalado. Essa interpretação formal 
da lógica favorece o aparecimento de Lógicas Clássicas, ao mesmo tempo que 
essas, por uma ação recorrente, a vêm reforçar." 
Robert Blanché 
 
Exercícios – aula 8 (Parte 2) 
1. Prove que: Se João não plantou uma árvore então eu plantarei bananeira. João não 
plantou uma árvore. Concluo que, eu plantarei bananeira. 
2. Prove que: Se chover hoje, então não jogamos vôlei. Se não jogamos vôlei hoje, então 
jogaremos vôlei amanhã. Portanto, se chover hoje então jogaremos vôlei amanhã. 
3. Prove: Essa tarde não está ensolarada e está mais fria que ontem. Iremos nadar 
somente se estiver ensolarado. Se não formos nadar iremos ao cinema. Se formos ao 
cinema chegaremos em casa às 20h. Portanto, chegaremos em casa às 20h. 
4. Mostre, através das regras de equivalência, que: P  Q  ¬Q  ¬P. 
5. A afirmação “Alda é alta, ou Bino não é baixo, ou Ciro é calvo” é falsa. Segue-se, pois, 
que é verdade que: 
a) se Bino é baixo, Alda é alta, e se Bino não é baixo, Ciro não é calvo. 
b) se Alda é alta, Bino é baixo, e se Bino é baixo, Ciro é calvo. 
c) se Alda é alta, Bino é baixo, e se Bino não é baixo, Ciro não é calvo. 
d) se Bino não é baixo, Alda é alta, e se Bino é baixo, Ciro é calvo. 
e) se Alda não é alta, Bino não é baixo, e se Ciro é calvo, Bino não é baixo.