Prof.

Robson Sousa
Curso: Licenciatura Plena em Matemtica Turma: 4.2414N
Disciplina: Lgica Matemtica
Aluno: _______________________________________________Matricula:_________________

Semestre 2012.1
1 Avaliao

Instrues
Assine no local indicado.
A interpretao dos problemas faz parte da avaliao.
S permitido o uso de lpis (grafite), caneta e borracha.
Consulte apenas a sua mente.
A prova ter durao de 1 hora e meia (duas aulas).
A prova vale 10 pontos.
proibido o uso de celular, o aluno que fizer uso de celular para qualquer finalidade ter sua prova anulada.

1. (1,5 pontos) Verifique a validade equivalncia ( ( )) ( ( )).

2. (1, 5 pontos) Identifique a(s) Hiptese(s) e a tese em cada um dos teoremas a seguir.
a) Se a soma dos algarismos de um nmero for divisvel por 9, ento esse nmero divisvel por 9;
b) Se uma matriz quadrada possuir uma linha ou coluna de elementos nulos, ento seu determinante nulo;
c) n ,n=5 no primo;

3. (1 ponto) Reescreva cada teorema abaixo usando, primeiramente, os temos condio necessria, e depois, usando os
termos condio suficiente.
a) Se dois nmeros terminarem em 76, ento o mesmo ocorre com o produto desses nmeros.
b) Se uma matriz quadrada de ordem 3 possuir duas colunas proporcionais, ento seu determinante nulo.

4. (1 ponto) Reescreva cada teorema abaixo na sua forma condicional Se... ento...
a) O produto de dois nmeros terminar em 6 uma condio necessria para que esses nmeros terminem em 6;
b) Ter duas colunas iguais uma condio suficiente para que uma matriz quadrada tenha determinante nulo.

5. (1 ponto) Enuncie a recproca de cada teorema a seguir.

a) Um nmero divisvel por 8, se o nmero formado por seus ltimos trs algarismos for divisvel por 8.
b) Um nmero pertencer ao intervalo (0,1) uma condio suficiente para que o logaritmo deste nmero seja negativo.

6. (1 ponto) Reescreva cada frase abaixo, usando o conectivo... Se, e somente se...
a) Ser par uma condio necessria e suficiente para um nmero ser da forma 2n, com n ;
b) A reta r paralela ao plano r paralela a uma reta de .

7. (1,0 pontos) O que um teorema de existncia e unicidade?

8. (1 ponto) Considere trs proposies P1, P2, P3 de modo que

Verifique a validade das equivalncias: .

9. (1 ponto) Escreva o seguinte teorema de 4 maneiras, realmente distintas.

4
Se o nmero n + 4 for primo, para algum n n ento n = 1

Boa Sorte!