Exerccios

Prove que cada concluso nos exerccios abaixo vlida:

1. Se o programa eficiente, executa rapidamente. O programa eficiente ou tem algum bug.
No entanto, o programa no executa rapidamente. Logo, ele tem um bug.
2. Se Jane a mais popular, ela ser eleita. Se Jane a mais popular, ento Carlos vai
renunciar. Portanto, se Jane a mais popular, ela ser eleita e Carlos renunciar.
3. A colheita boa, mas no h gua suficiente. Se houver muita chuva ou se no houver muito
sol, ento haver gua suficiente. Portanto, a colheita boa e h muito sol.
4. Se o anncio for bom, o volume de vendas aumentar. O anncio bom, ou a loja vai
fechar. O volume de vendas no vai aumentar. Portanto, a loja vai fechar.
5. A Rssia era uma potncia superior e, a Frana no era suficientemente poderosa ou
Napoleo fez um erro. Napoleo no fez um erro, mas se o exrcito no perdeu, ento a
Frana era poderosa. Portanto, o exrcito perdeu e a Rssia era uma potncia superior.

Respostas
1. Se o programa eficiente, executa rapidamente. O programa eficiente ou tem algum bug. No
entanto, o programa no executa rapidamente. Logo, ele tem um bug.
Sentena lgica:
(E R) (E B) ~R B
Demonstrao:
1. E R
hip
2. E B
hip
3. ~R
hip
4. ~R ~E
cont 1
5. ~E
mp 3, 4
6. ~~(E B)
dn 2
7. ~(~E) B
de morgan 6
8. ~E B
cond 7
9. B
mp 5, 8
2. Se Jane a mais popular, ela ser eleita. Se Jane a mais popular, ento Carlos vai renunciar.
Portanto, se Jane a mais popular, ela ser eleita e Carlos renunciar.
Sentena lgica:
(J A) (J C) (J (A C))
Pela regra da importao-exportao, obtemos a seguinte sentena equivalente:
(J A) (J C) J (A C)
Ento, demonstremos:
1. J A
hip
2. J C
hip
3. J
hip
4. A
mp 3, 1
5. C
mp 3, 2
6. A C
conj 4, 5
3. A colheita boa, mas no h gua suficiente. Se houver muita chuva ou se no houver muito sol,
ento haver gua suficiente. Portanto, a colheita boa e h muito sol.
C: a colheira boa
A: gua suficiente
M: muita chuva
S: muito sol
Sentena lgica:
(C ~A) [ (M ~S) A ] (C S)
Demonstrao:
1. C ~A
hip
2. (M ~S) A hip
3. ~A
simp 1
4. ~A ~(M ~S)
cont 2
5. ~(M ~S)
mp 3, 4
6. ~M ~(~S)
de morgan 5
7. ~M S
dn 6
8. S
simp 8
9. C
simp 1
10. C S
conj 8, 9

4. Se o anncio for bom, o volume de vendas aumentar. O anncio bom, ou a loja vai fechar. O
volume de vendas no vai aumentar. Portanto, a loja vai fechar.
Sentena lgica:
(A V) (A F) ~V F
Demonstrando:
1. A V
hip
2. A F
hip
3. ~V
hip
4. ~A
mt 3, 1
5. F
sd 4, 2
5. A Rssia era uma potncia superior e, a Frana no era suficientemente poderosa ou Napoleo fez
um erro. Napoleo no fez um erro, mas se o exrcito no perdeu, ento a Frana era poderosa.
Portanto, o exrcito perdeu e a Rssia era uma potncia superior.
Sentena lgica:
[R (~F N)] ~N (~E F) (E R)
Demonstrao:
1. R (~F N) hip
2. ~N
hip
3. ~E F
hip
4. R
simp 1
5. ~F N
simp 1
6. ~F
sd 5, 2
7. ~(~E)
mt 6, 3
8. E
dn 7
9. E R
conj 8, 4

OBSERVAO:
A demonstrao no precisa ser a mesma que eu expus aqui nos exerccios. O importante
seguir passos corretos e chegar ao consequente, mas no importa quais foram os passos adotados.