UNIVERSIDADE FEDERAL DO MARANHÃO

Departamento de Ciências Exatas e Naturais

Curso: Engenharia Elétrica
Disciplina: Álgebra Linear
Professor: Raimundo Neto

Lista de exercícios
1. Dê exemplos de implicações, envolvendo conteúdos do ensino médio, que sejam: verdadeiras,
com recíproca verdadeira; verdadeiras, com recíproca falsa; falsas, com recíproca verdadeira;
falsas, com recíproca falsa.
√
2. Escreva as implicações lógicas que correspondem à resolução da equação x + x = 2. Ve-
rique quais são√reversíveis e explique o aparecimento de raízes estranhas. Faça o mesmo
com a equação x + 3 = x.
3. Considere as seguintes (aparentes) equivalências lógicas:

x = 1 ⇐⇒ x2 − 2x + 1 = 0
⇐⇒ x2 − 2 · 1 + 1 = 0
⇐⇒ x2 − 1 = 0
⇐⇒ x = ±1.

Conclusão(?): x = 1 ⇐⇒ x = ±1. Onde está o erro?

4. Escreva as recíprocas, contrapositivas e negações matemáticas das seguintes arma-
ções:
(a) Todos os gatos têm rabo;
(b) Sempre que chove, eu saio de guarda-chuva ou co em casa;
(c) Todas as bolas de ping-pong são redondas e brancas;
(d) Sempre que é terça feira e o dia do mês é um número primo, eu vou ao cinema;
(e) Todas as camisas amarelas ou vermelhas têm manga comprida;
(f) Todas as coisas quadradas ou redondas são amarelas e vermelhas.
5. Expressões tais como para todo e existe são chamadas de quanticadores e aparecem em
sentenças dos tipos (sendo P (x) é uma condição envolvendo a variável x):
(I) Para todo x, é satisfeita a condição P (x);
(II) Existe algum x que satisfaz a condição P (x).

(a) Sendo A o conjunto de todos os objetos x (de um certo conjunto universo U ) que
satisfazem a condição P (x), escreva as sentenças (I) e (II) acima, usando a linguagem
de conjuntos.
(b) Quais são as negações de (I) e (II)? Escreva cada uma destas nega ções usando conjuntos
e compare com as sentenças obtidas em (a).

1
 (c) Para cada sentença abaixo, diga se ela é verdadeira ou falsa e forme sua negação:
(i) Existe um número real x tal que x2 = −1.
(ii) Para todo número inteiro n, vale n2 > n.
(iii) Para todo número real x, tem-se x > 1 ou x2 < 1.
(iv) Para todo número real x existe um número natural n tal que n > x.
(v) Existe um número natural n tal que, para todo número real x, tem-se n > x.

6. Considere os conjuntos abaixo:

F = conjunto de todos os lósofos;
M = conjunto de todos os matemáticos;
C = conjunto de todos os cientistas;
P = conjunto de todos os professores.

(a) Exprima cada uma das armativas abaixo usando a linguagem de conjuntos.
i. Todos os matemáticos são cientistas.
ii. Alguns matemáticos são professores.
iii. Alguns cientistas são lósofos.
iv. Todos os lósofos são cientistas ou professores.
v. Nem todo professor é cientista.
(b) Faça o mesmo com as armativas abaixo.
vi. Alguns matemáticos são lósofos;
vii. Nem todo lósofo é cientista;
viii. Alguns lósofos são professores;
ix. Se um lósofo não é matemático, ele é professor;
x. Alguns lósofos são matemáticos.
(c) Tomando as cinco primeiras armativas como hipóteses, verique quais das armativas
do segundo grupo são necessariamente verdadeiras.

7. Prove que se m é um inteiro tal que m3 + 2 é ímpar, então m é ímpar. (Sugestão: use a
forma contrapositiva) da armação.
√
8. Prove que, se p ∈ N é primo, então p é irracional.

9. (Teorema de Cantor) Se A é um conjunto qualquer e P(A) é o conjunto de seus subconjuntos,

então não existe uma função f : A → P(A) que seja sobrejetiva.
  
1 1
10. Sejam x e y números reais positivos tais que x + y = 1. Prove que 1+ 1+ > 9.
x y