FUNDAÇÃO EDUCACIONAL SERRA DOS ÓRGÃOS

FACULDADES UNIFICADAS
Centro de Ciências Humanas e Sociais
Curso de Graduação em Tecnologia em Processamento de Dados

Lógica Matemática – 2006-1 – Profa. Valéria Iorio

Exercícios para 14/02/06

1. Para cada uma das afirmações a seguir, diga se ela é verdadeira ou falsa.
a. O princípio da não contradição diz que uma proposição da lógica
matemática pode ser, ao mesmo tempo, verdadeira e falsa.
b. O princípio do terceiro excluído diz que existem apenas dois valores lógicos
possíveis para cada proposição da lógica matemática.
c. Os valores lógicos possíveis são Verdadeiro, Falso e Não-definido.
d. Uma proposição da lógica matemática sempre tem um valor lógico definido,
mesmo que não saibamos qual é.
e. O princípio do terceiro excluído significa que a lógica matemática é uma
lógica binária.
2. Verifique quais das sentenças a seguir são proposições da lógica matemática.
Para as proposições, indique seu valor lógico se possível.
a. 2 é um número primo. d. A lua é feita de queijo.
b. Você quer ir à praia? e. Parabéns!
c. Brasília é a capital do Brasil. f. 9 é divisível por 2.
3. Sabendo que a proposição A é verdadeira, B é falsa e C é verdadeira, encontre o
valor lógico de cada uma das proposições a seguir.
a. A  B h. (A  B)  C
b. A  B i. A  B
c. (A  B)´ j. A  C
d. A´ B´ k. B  C
e. (A  B)  C l. A´ B
f. (A  B)  C m. A  B
g. (A  B)  C n. A  C
4. Faça a tabela-verdade de cada uma das proposições a seguir. Indique
quaisquer tautologias ou contradições.
a. B  C´ h. (A  B)  C’
b. B’  (A  C) i. A  (A’  B’)
c. (C  A’)  B j. (A  B)  A
d. C  (A’  B) k. (A  B)  [(A  C)  (B  C)]
e. (A  B)´  (A´ B´) l. [(A  B)  C’]  (A’  C)
f. (B  C’)’  A m. (A  B)´  (A  B´)
g. A  (B  C’) n. (A  B)  [(A  B)  (B  A)]
5. Sabendo que a proposição (A  B  C)  B’  C é FALSA, encontre o valor lógico
de A.
6. Sabendo que a proposição [(A  (B  C)´)  B  C]´ é VERDADEIRA, encontre o
valor lógico de A.
7. Sabendo que a proposição (A  B)  (B  C)  (C  D) é FALSA, encontre o valor
lógico de A.