Capítulo 1
{exercício 1}

a) O número 17 é primo (v);

b) Fortaleza é a capital de Maranhão(f);

c) Tiradendes morreu afogado (f);

d)(3+5)²=3²+5²(f);

e) o valor archimediano de pi é 22/7 ( );

f)     -1 < -7. ( f );

g)   0,131313… é uma dízima periódica simples. ( v );

h)   As diagonais de um paralelogramo são iguais. ( v );

i)     Todo polígono regular convexo é inscritível. ( v );

j)     O hexaedro regular tem 8 arestas. ( f );

k)   A expressão n² – n + 41 (n  N) só produz números primos. (v );

l)     Todo número divisível por 5 termina por 5. ( f);

m) O produto de dois números ímpares é um número ímpar. ( v);

n)   sen2 30º + sen2 60º = 2. (   );

o)   1 + 3 + 5 + … + (2n – 1)² = n². (   );

p)   As raízes da equação x³ - 1 = 0 são todas reais. (v);

q)   O número 125 é cubo perfeito. (v);

r)    0, 4 e -4 são raízes da equação x³ - 16x = 0. (v);

s)   O cubo é um poliedro regular. (v);

t)  tg(pi/4) < tg(pi/6). (   );

Capítulo 2
Exercícios

        Sejam as proposições p: Está frio e q: Está chovendo. Traduzir para a linguagem corrente as seguintes proposições:
~p Não está frio
p^q Está frio e está chovendo
        Pvq Está frio ou está chovendo
        q<->p Está frio somente se está chovendo
        p->~q se está frio então não está chovendo
Pv~q Está frio ou não está chovendo
~p^~q Não está frio e não está chovendo
        p<->~q está frio somente se não está chovendo
p^~q->p Está frio e não está chovendo somente se não está frio

2. Sejam as proposições p: Jorge é rico e q:Carlos é feliz. Traduzir para linguagem corrente as seguintes proposições:
a)q->p Se Carlos é feliz então Jorge é rico
        b)pv~q Jorge é rico ou Carlos não é feliz
c)q<->~p Carlos é feliz implica que Jorge não é rico
d)~p->q Jorge não é rico se Carlos é feliz
        e)~~p não Jorge não é rico
f)~p^q->p se Jorge não é rico e carlos é feliz então Jorge é rico

3. Sejam as proposições p: Cláudio fala inglês e q: Cláudio fala alemão. Traduzir para a linguagem corrente as seguintes proposições:
Pvq Cláudio fala inglês ou Cláudio fala alemão
p^q Cláudio fala inglês e fala alemão
p^~q Cláudio fala inglês e não fala alemão
        ~p^~q Cláudio não fala inglês e não fala alemão
        ~~p não Cláudio não fala inglês
~(~p^~q) é negado que Cláudio não fale inglês e não fale alemão

4.Sejam as proposições p: João é gaucho e q: Jaime é paulista traduzir para a linguagem corrente as seguintes proposições:
~(p^~q) nego que João é gaucho e Jaime não é paulista
~~p nego que João não é gaucho
~(~pv~q)  é negado que João seja gaucho ou que Jaime seja paulista
        p->~q Se João é gaucho então Jaime não é paulista
~p<->~q João não é gaucho somente se Jaime não é paulista
~(~q->p) nego que se joão não é gaucho então Jaime é paulista

5. Sejam as proposições p: Marcos é alto e q: Marcos é elegante. Traduzir para a linguagem simbólica as seguintes proposições:
a)Marcos é alto  e elegante p^q
        b)Marcos é alto,mas não é elegante p^~q
c)Não é verdade que Marcos é baixo ou elegante ~(~pvq)
d)Marcos não é nem alto e nem elegante ~p^~q
e)Marcos é alto ou é baixo e elegante pv(~p^q)
f)É falso que Marcos é baixo ou que não é elegante ~(~pv~q)

6.Sejam as proposições p:Suely é rica e q:Suely é feliz.Traduzir para a linguagem simbólica as seguintes proposições:
a)suely é pobre, mas feliz ~p^q
b)Suely é rica ou infeliz pv~q
c)Suely é pobre e infeliz ~p^~q
d)Suely é pobre ou rica, mas é infeliz (pvq)^~q


	7.sejam as proposições p: Carlos fala francês, q: Carlos fala ingês, r: Carlos fala alemão. Traduzir para linguagem simbólica;
Carlos fala francês ou inglês, mas não fala alemão (pvq) ^~r
Carlos fala francês e inglês, ou não fala francês e Alemão (p^q) v ~(p^r)
É falso que Carlos fala francês mas que não fala alemão ~p^~r
É falso que Carlos fala ingês ou alemão mas que não fala francês ~(qvr) ^~q

8.traduzir para linguagem simbólica
	a)x=0 ou x>0   x=0 v x>0 pvq
	b)x!=0 e y!=0  x!=0 ^y!=0  p^q
	c)x>1 ou x+y=0 x>1 v x+y=0 pvq
	d)x²=x.x e x^0=1 x²=x.x ^ (x^0=1) p^q

	9.Traduzir para linguagem simbólica
	a)(x+y=0 e z<0) ou z=0 (p^q)vr
	b)x=0 e (y+z.x ou z=0) p^(qvr)
	c)c!=0 ou (x=0  e y<0) pv(q^r)
d)(x=y e z=t)ou(x<y e z=0) (p^q)v(r^s)

10.Traduzir para linguagem simbólica
	a)se x>0 então y=2 p->q
	b)se x+y=2 então z>0 p->q
	c)se x=1 ou z=2 então y>1 (pvq)->r
d)se z>5 então x!=1 e x!=2 p->(q^r)
e)se x!=y entãao x+z>5 e y+z<5 p->(q^r)
f)se x+y>z e z=1 entâo x+y>1 (p^q)->r
g)y=4 e se x<y então x<5 p^(q->r)
h)se x<2 então x=1 ou x=0 p->(qvr)