Exerccios

Prove que cada concluso nos exerccios abaixo vlida:

1. Se o programa eficiente, executa rapidamente. programa eficiente ou tem algum bug.
!o entanto, o programa no executa rapidamente. "ogo, ele tem um bug.
#. Se $ane a mais popular, ela ser eleita. Se $ane a mais popular, ento %arlos vai
renunciar. Portanto, se $ane a mais popular, ela ser eleita e %arlos renunciar.
&. ' col(eita boa, mas no ( gua suficiente. Se (ouver muita c(uva ou se no (ouver muito
sol, ento (aver gua suficiente. Portanto, a col(eita boa e ( muito sol.
). Se o an*ncio for bom, o volume de vendas aumentar. an*ncio bom, ou a lo+a vai
fec(ar. volume de vendas no vai aumentar. Portanto, a lo+a vai fec(ar.
,. ' -*ssia era uma pot.ncia superior e, a /ran0a no era suficientemente poderosa ou
!apoleo fe1 um erro. !apoleo no fe1 um erro, mas se o exrcito no perdeu, ento a
/ran0a era poderosa. Portanto, o exrcito perdeu e a -*ssia era uma pot.ncia superior.
Respostas
1. Se o programa eficiente, executa rapidamente. programa eficiente ou tem algum bug. !o
entanto, o programa no executa rapidamente. "ogo, ele tem um bug.
Sentena lgica:
(E R) (E B) ~R B
Demonstrao:
1. E R hip
2. E B hip
. ~R hip
!. ~R ~E cont 1
". ~E mp # !
$. ~~(E B) %n 2
&. ~(~E) B %e morgan $
'. ~E B con% &
(. B mp "# '
#. Se $ane a mais popular, ela ser eleita. Se $ane a mais popular, ento %arlos vai renunciar.
Portanto, se $ane a mais popular, ela ser eleita e %arlos renunciar.
Sentena lgica:
() *) () +) () (* +))
,ela regra %a importao-e.portao# o/temos a seg0inte sentena e10i2alente:
() *) () +) ) (* +)
Ento# %emonstremos:
1. ) * hip
2. ) + hip
. ) hip
!. * mp # 1
". + mp # 2
$. * + con3 !# "
&. ' col(eita boa, mas no ( gua suficiente. Se (ouver muita c(uva ou se no (ouver muito sol,
ento (aver gua suficiente. Portanto, a col(eita boa e ( muito sol.
+: a colheira 4 /oa *: 5g0a s06iciente 7: m0ita ch02a S: m0ito sol
Sentena lgica:
(+ ~*) 8 (7 ~S) * 9 (+ S)
Demonstrao:
1. + ~* hip
2. (7 ~S) *hip
. ~* simp 1
!. ~* ~(7 ~S) cont 2
". ~(7 ~S) mp # !
$. ~7 ~(~S) %e morgan "
&. ~7 S %n $
'. S simp '
(. + simp 1
1:. + S con3 '# (
). Se o an*ncio for bom, o volume de vendas aumentar. an*ncio bom, ou a lo+a vai fec(ar.
volume de vendas no vai aumentar. Portanto, a lo+a vai fec(ar.
Sentena lgica:
(* ;) (* <) ~; <
Demonstran%o:
1. * ; hip
2. * < hip
. ~; hip
!. ~* mt # 1
". < s% !# 2
,. ' -*ssia era uma pot.ncia superior e, a /ran0a no era suficientemente poderosa ou !apoleo fe1
um erro. !apoleo no fe1 um erro, mas se o exrcito no perdeu, ento a /ran0a era poderosa.
Portanto, o exrcito perdeu e a -*ssia era uma pot.ncia superior.
Sentena lgica:
8R (~< =)9 ~= (~E <) (E R)
Demonstrao:
1. R (~< =) hip
2. ~= hip
. ~E < hip
!. R simp 1
". ~< = simp 1
$. ~< s% "# 2
&. ~(~E) mt $#
'. E %n &
(. E R con3 '# !
2S3-4'56:
' demonstra0o no precisa ser a mesma que eu expus aqui nos exerccios. importante
seguir passos corretos e c(egar ao consequente, mas no importa quais foram os passos adotados.