Documente Academic
Documente Profesional
Documente Cultură
a)
Exemplos: { x | x > 1 }
Contraexemplos: { x | x 1 }
b)
Exemplos: { a }
Contraexemplos: { b, n }
c)
d)
Exemplos:
Contraexemplos:
a)
b)
c)
d)
e)
f)
Para todo x e para todo y, temos que x < y. Proposio Universal. Falsa.
a)
b)
c)
a)
c)
d)
e)
f)
g)
O parentese serve justo pra denotar q nesse caso tem que aplicar lei de morgan
verdade que 5 um nmero primo e 4 um nmero par
a)
b)
c)
d)
a)
Frase:
Contrapositiva:
Recproca:
Inversa:
no p q
no q p
q no p
p no q
b)
Frase:
Contrapositiva:
Recproca:
Inversa:
no p no q
qp
no q no p
pq
c)
Frase:
Contrapositiva:
Recproca:
Inversa:
p no q
q no p
no q p
no p q
d)
Frase:
Contrapositiva:
Recproca:
Inversa:
Se
Se
Se
Se
e)
Frase:
Contrapositiva:
Recproca:
Inversa:
Se
Se
Se
Se
f)
Se
Se
Se
Se
g)
Frase:
Contrapositiva:
Recproca:
Inversa:
Se
Se
Se
Se
h)
Frase:
Contrapositiva:
Recproca:
Inversa:
Se
Se
Se
Se
x2 + y2 = 0, ento x e y so iguais a 0
x e y no so iguais a 0, ento x2 + y2 0
x e y so iguais a 0, ento x2 + y2 = 0
x2 + y2 0, ento x e y no so iguais a 0
a)
p: 2 par. Verdadeira.
q: 3 mpar. Verdadeira.
p q: Se 2 par, ento 3 mpar. Verdadeira.
b)
p: 2 no par. Falsa.
q: 3 mpar. Verdadeira.
p q: Se 2 no par, ento 3 mpar. Verdadeira.
c)
p: 3 no par. Verdadeira.
q: 3 no mpar. Falsa.
p q: Se 3 no par, ento 3 no mpar. Falsa.
d)
a)
Necessrio
b)
Suficiente
c)
Necessrio
d)
Ambos
e)
Suficiente
f)
Ambos
//questo sujeita a anlise, pois pode estar errada
//n lembrava como definia matemticamente os nmeros primos, da fiz uma gambiarra aqui pra ficar mais
bonitinho e n ter que escrever primo na resposta kkkk, n deixa de estar correto, s n era pra fazer assim, se p
P = conjunto dos nmeros primos = { 2, 3, 5, 7,... }
a)
b)
c)
d)
e)
f)
g)
n| n2 = 2
x| x2 = 2
x|x2 = 2m, m x2 = 3k, k
x| x2P x2 < 0
x| x2 = 2k, k x2 = 2c + 1, c
x, y| x + y = 100
aA| aB, mais fcil ainda, AB
h)
i)
j)
k)
l)
m)
n)
a)
n| n2 2
Para qualquer nmero real n tal que n2 2
b)
x| x2 = 2
Existe nmero racional x tal que x2 = 2
c)
x|x2 = 2m + 1, m x2 3k, k
Para qualquer x, tal que x2 mpar ou x2 no divisvel por 3
d)
x| x2P x2 0
Existe um nmero x inteiro, tal que x2 no primo e x2 positivo
e)
x| x2 = 2k + 1, k x2 = 2c, c
Para qualquer inteiro x tal que x2 mpar e x2 par
f)
x, y| x + y 100
Existe um nmero real x, para todo nmero real y tal que x + y 100
g)
aA| aB
Existe elemento do conjunto A que no pertence ao conjunto B
h)
i)
j)
x| x (1/x)
Existe x racional, tal que x seja maior ou igual a (1/x)
k)
a, bP (a*b)P
Se a e b so nmeros primos, ento a*b no primo
l)
x,y| x + y 1000
Para quaisquer x e y, temos que sua soma no igual a 100
m)
q| q2 = 2
Existe nmero racional q tal que q2 = 2
a,b, c| a c b
Existe nmeros reais a e b para qualquer nmero c, tal que a seja maior ou igual a c, e este por sua vez,
seja maior igual a b.
n)
a)
Todo nmero real n menor que seu quadrado
b)
Existe nmero real n que igual ao seu quadrado
c)
Existe nico nmero real n que igual ao seu quadrado
d)
Existe nmero real n que seu quadrado igual a seu cubo
e)
Para qualquer n natural, existe k natural tal que k seja menor que n
f)
Para quaisquer a e b reais, existem c e d reais, tal que a seja menor que a soma entre c e d, que por sua
vez, menor que b
g)
Para quaisquer a e b inteiros, existe c inteiro tal que o produto entre c e o quociente de a por b seja
inteiro.
h)
Para todo a real, existe b real, tal que para todo c real, o produto de a por b seja igual a c
i)
Para quaisquer a e c reais, existe b real, tal que o produto de a por b seja igual a c
a)
b)
3n + 1 < 25
3n < 24
n<8
S = { 0, 1, 2, 3, 4, 5, 6, 7 }
c)
3n + 1 < 25
3n < 24
n<8
...e...
n+1>4
n>3
ento, 3 < n < 8
S = { 4, 5, 6, 7 }
d)
e)
n 17 e no primo
S = { 2, 3, 5, 7, 11, 13, 17 } //O idiota que resolveu o gabarito errou kkk haha kk
f)
(n-2)(n-3)(n-4)(n-5)=0
tdo n que zerar o parentese atende a condio
S = { 2, 3, 4, 5 }
Demonstrao por Reduo ao Absurdo. Assume-se que a hiptese falsa e demonstra-se que invlido,
concluindo-se que a proposio inicial verdade.
Contraposio. Prova-se que se ab racional, ento a e b devem ser racionais. Uma vez que a proposio e sua
contrapositiva so simultaneamente verdadeiras ou falsas, conclui-se que sua contrapositiva tb procede.
Reduo ao Absurdo. A proposio diz que a + b > c, e a prova consiste em demonstrar que a
negao da proposio, a+b c, leva ao absurdo.
A prpria demonstrao j afirma que log x < 0. Portanto, ao dividir uma desigualdade por um nmero menor que
zero d ruim e inverte o sinal da desigualdade kkkkk, pilantro esse enunciado
A proposio Se 5|ab ento 5|a ou 5|b, e foi usada para provar a si mesma: ab da forma 5k . . . Portanto ou
a = 5m ou b = m para algum m.
KKKKKKKKKKKKKK d um ligue, ele subtraiu ali (a-b) pelos bangs multiplicando, t errado carai
a)
k1| b = ak1
k2| c = ak2
b + c = ak1 + ak2
b + c = a ( k1 + k2 )
Dado que ( k1 + k2 ) uma constante inteira, t.q. partindo da premissa concedida, a divide b + c.
b)
a)
Hiptese: 2 racional.
Daora, temos que existe a e b pertencente aos reais, e coprimos que satisfazem 2 = (a/b)
Logo, (2)3 = (a/b)3
2b3 = a3
Da, tiramos que a3 par. O que implica que a tambm seja par.
Suave! Se a par
k1| a = 2k1
Lembrando e substituindo na parte em vermelho
2b3 = (2k1)3
b3 = 2*2(k1)3
Da tb chegamos que b par...e, sendo assim, no so coprimos, o que um absurdo.
b)
Ento existe k inteiro, tal que ak = b. Mas se ak = b, podemos escrever: bc/a como akc/a = kC, que
inteiro, o que absurdo uma vez que a condio diz que a no divide bc.
Ficou bem lixo...mas por a.