Universidade Federal de Santa Catarina - UFSC

Departamento de Informatica e de Estatstica - CTC - INE

INE5381 - Fundamentos Matematicos para a Informatica
Prof. Mauro Roisenberg
Lista de Exerc
cios

Data de Entrega: 19/11/1998

1. Simplique as seguintes express~oes logicas:

(A _ B ) ^ (A _ :B )
A ^ B _ A ^ :B
A ^ (A _ B )
A ^ (A _ B ) ^ (A _ :B )
A _ A _ A ^ B _ A ^ (B _ C _ D ^ (A _ B ))
2. Verique se os argumentos a seguir constituem argumentos validos.
(a) Se este animal for um passaro, ent~ao ele tem sangue-quente.
Se este animal for um reptil, ent~ao ele tera sangue-frio.
Este animal possui ou sangue-quente ou sangue-frio.
Logo, este animal e um passaro ou um reptil.
(b) Se Jo~ao esta em casa, ent~ao a porta esta aberta.
A porta esta aberta.
Logo, Jo~ao esta em casa.
(c) Se voc^es dois carem em casa, ent~ao poderei sair sossegado.
Voc^es dois v~ao car em casa.
Logo, poderei sair sossegado.
3. Determine se as seguintes formas s~ao validas ou invalidas:
(a) P ! Q; R ! : Q; R ` : P .
(b) A ! (B _ C ); B ! : A; D ! : C ` A ! : D.
(c) B ^ C; (B $ C ) ! (H _ G) ` H _ G.
(d) (Q ^ R) ! P; : Q; : R ` : P .
(e) P ! Q; (: Q _ R) ^ : R; :(: P _ S ) ` : S .
4. Determine se a conclus~ao C pode ser logicamente obtida atraves das premissas
H1eH2.
(a) H1 : P ! Q; H2 : P; C : Q
(b) H1 : P ! Q; H2 : :P; C : Q
(c) H1 : P ! Q; H2 : :(P ^ Q); C : :P
(d) H1 : :P; H2 : P $ Q; C : :(P ^ Q)
(e) H1 : P ! Q; H2 : Q; C : P
5. Mostre que:
(a) 9 x P (x) ^ 8 x Q(x) ` 9 x (P (x) ^ Q(x))
(b) 8 x (: P (x) ! Q(x)); 8 x : Q(x) ` P (a)
6. Verique se as seguintes formas s~ao validas ou invalidas.
(a) 9 x (P (x) ^ Q(x)) ` 9 x P (x) ^ 9 x Q(x)
(b) 9 x P (x) ^ 9 x Q(x) ` 9 x (P (x) ^ Q(x))
7. Considerando as seguintes informac~oes:
- Toda atriz e bonita.
- As avos n~ao s~ao bonitas.
- Algumas avos s~ao inteligentes.
Provar que:
- V~ao existir mulheres que s~ao inteligentes e n~ao s~ao atrizes.