Prof.

Robson Sousa
Curso: Licenciatura em Matemtica - Noturno
Disciplina: Lgica Matemtica
Aluno: __________________________________________________________Matricula:_____________________
Semestre 2012.1

1 Avaliao

1. (2 pontos) Verifique as seguintes equivalncias:

(
)
a)
(
) (
) (
)
b)
(
)
c)
2. (1,5 pontos) Construa a tabela verdade da sentena ((

)))

))

3. (2 pontos) Verifique a validade das seguintes implicaes:

(
))
a)
(
)
b) ((
)
4. (1,5 pontos) Use os smbolos de somatrio
uma das expresses a seguir:

ou produtrio

apenas uma nica vez para reescrever cada

a)
b)
5. (1 ponto) O que uma sentena ou proposio matemtica?
6. (1,5 pontos) Use os quantificadores universal ( ) ou existencial ( ) para transformar as sentenas abertas abaixo
em sentenas.
a)
b)
um nmero inteiro.
7. (0,5 ponto) Estabelea um argumento entre as sentenas P e Q de modo a concluir a sentena Q, partindo da
sentena P.
P: O nmero natural n divisvel por 10.
Argumento: ___________________________________________________
Q: n termina em zero.