ESTADO DE MATO GROSSO

SECRETARIA DE ESTADO DE CIÊNCIA E TECNOLOGIA

UNIVERSIDADE DO ESTADO DE MATO GROSSO
CAMPUS UNIVERSITÁRIO “DEP. EST. RENÊ BARBOUR”
FACULDADE DE CIÊNCIAS EXATAS E TECNOLÓGICAS
DEPARTAMENTO DE MATEMÁTICA

Aluno (a):
Data: / /
Professor: Joilson Carvalho

Lista 02 de Introdução à Lógica Matemática

Barra do Bugres - MT, 2021.

Introdução à Lógica Matemática Prof. Joilson Carvalho

Unidade II - Técnicas de Demonstrações

1. Utilize a técnica de demonstração direta para demonstrar os seguintes teoremas:

(a) Sejam α e β raízes da equação quadrática ax2 + bx + c = 0, em que a ̸= 0. Mostre que

b c
α+β =− e αβ = .
a a
(b) Prove que para todo n ∈ N ímpar tem-se que n3 − 3 é par.
(c) Prove que sendo n ∈ N então n(n + 1) é par.
1 1
(d) Mostre que para todo a, b ∈ R, a ̸= 0 e b ̸= 0. Se a < b então > .
a b
2 3
(e) Sejam x e y reais não nulos. Tem-se que + = 1 é equivalente a (x − 2)(y − 3) = 6.
x y
(f) Se x é um número real tal que 3x + 1 > 7, então x > 2.
(g) Se p é primo e p | ab (p divide ab) então p | a (p divide a) ou p | b (p divide b).

2. Utilize a técnica de demonstração por contraposição para demonstrar os seguintes teoremas:

(a) Prove que se xy é ímpar então x e y são, individualmente, ímpares.

(b) Seja a ≥ 0, prove que se a2 ≤ 1 então a ≤ 1.
(c) Se n é um número inteiro e 3n + 2 é par, então n é par.

3. Utilize a técnica de demonstração por redução ao absurdo para demonstrar os seguintes teoremas:
x x+1
(a) Prove que para todo x > 0 a desigualdade < é válida.
x+1 x+2
√
(b) Mostre que 2 é irracional.
(c) Seja x um número inteiro positivo então não existe n ∈ N tal que n < x < n + 1.
(d) Se n é um número inteiro e seu quadrado é ímpar, então n também é ímpar.

4. Usando o Princípio de indução finita, prove que:

n(n + 1)
(a) 1 + 2 + · · · + n = , ∀n ≥ 1, n ∈ N.
2
(b) 1 + 3 + 5 + · · · + 2n − 1 = n2 , ∀n ≥ 1, n ∈ N.
" #2
3 3 3 n(n + 1)
(c) 1 + 2 + · · · + n = , ∀n ∈ N.
2
1 1 1 n
(d) + + ··· = , ∀n ∈ N.
1·2 2·3 n(n + 1) n+1
(4n3 − n)
(e) 12 + 32 + · · · + (2n − 1)2 = , ∀n ∈ N.
3
(f) 2n < n!, ∀n ≥ 4, n ∈ N.