EXERCCIOS

D exemplo de uma sentena formal que, no contexto da interpretao dada

na p!ina "#, declare que$
%& 'odo n(mero primo ) maior que *ero+
#& 'odo primo ,mpar ) maior que dois+
-& .en/um primo maior que dois ) par+
0& .em todo primo ) ,mpar+
1& 2 um primo que ) sucessor de dois+
3& 2 um primo que ) sucessor de um par+
4& .em todo sucessor de par ) par+
"& O produto de um n(mero por dois ) sempre par+
5& 'odo m(ltiplo de dois ) par+
%6& 'odo sucessor de um m(ltiplo de dois ) ,mpar+
%%& .em todo ,mpar maior que - ) primo+
%#& 7 soma de dois ,mpares ) sempre par+
%-& 2 um certo par que no ) um sucessor+
%0& .en/um sucessor de ,mpar ) impar+
%1& O cu8o de dois ) m(ltiplo de quatro+
%3& 'odo n(mero par ) di9is,9el por dois+
%4& 7l!uns n(meros pares so di9is,9eis por pelo menos dois distintos ,mpares+
%"& Se um n(mero ) primo, ento seus (nicos fatores so ele pr:prio e a unidade;
Respostas$
%& x<=
%
x R
#
ax&
#& x<<=
%
x >
%
x& R
#
8x&
-& x<<=
%
x R
#
8x& >
%
x& +
x<<=
%
x R
#
8x& >
%
x&
x <<<=
%
x R
#
8x& >
%
x&
0& x<=
%
x >
%
x&
x<=
%
x >
%
x&
1& x<=
%
x f
%
8?x&
3& x<=
%
x @<>
%
@ f
%
@?x&&
x@<=
%
x <>
%
@ f
%
@?x&&
4& x@<<f
%
@?x >
%
@& >
%
x&
x<@<f
%
@?x >
%
@& >
%
x&
"& x>
%
p
#
x8
5& x>
%
p
#
x8
%6& x>
%
f
%
p
#
x8
%%& Ax<<A>Bx RCfB8x& =Bx&
x<<A>Bx RCfB8x& A=Bx&
%#& x@<<A>Bx A>B@& >BsCx@&
%-& x<>Bx A@ x?fB@&
%0& Ax<A>Bx A>BfBx&
x<A>Bx A>BfBx&
x<A>Bx >BfBx&
%1& xpCpC888?pCsC88x
%3& x<>Bx @pC8@?x&
x@<>Bx pC8@?x&
%4& x@*<<<>Bx A@?*& <A>B@ A>B*&& D9<pCD@?x pC9*?x&&
%"& x@*<<=Bx pC@*?x& <<@?x *?fBa& <*?x @?fBa&&&