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 16/02/06
1. Sabendo que a proposição (A  B)’  C  (D  A) é VERDADEIRA, encontre o
valor lógico de A, B, C, D.
2. Indique o valor lógico de cada uma das proposições a seguir.
a. Se 2 é um número primo, então 5 é um número primo.
b. Se 4 é um número primo, então 2 não é primo.
c. Se 8 divide 4, então 4 divide 8.
d. Se 4 divide 8, então 4 divide 9.
3. A disjunção exclusiva é o conectivo binário correspondente ao “ou exclusivo”,
isto é, quando temos uma coisa ou outra, mas não as duas ao mesmo tempo.
Denote a disjunção exclusiva por  e faça sua tabela-verdade.
4. Como em qualquer tipo de linguagem, as proposições lógicas têm que obedecer
a certas regras de sintaxe. Uma fórmula bem formulada (abreviada por fbf) é
uma expressão envolvendo letras de proposições e conectivos que formam uma
proposição lógica correta do ponto de vista da sintaxe. Então, por exemplo, a
expressão A()BC não é uma fórmula bem formulada, mas a expressão (A  B)
 C é. Por outro lado, a expressão A  B  C, embora correta do ponto de vista
da sintaxe, é ambígua (isto é, não está bem definida): como a disjunção e a
conjunção estão no mesmo nível de prioridades, não sabemos qual entre essas
operações deve ser feita em primeiro lugar. Em outras palavras, a expressão A
 B  C poderia significar (A  B)  C ou A  (B  C).
a. Faça as tabelas-verdade das proposições (A  B)  C ou A  (B  C) para
mostrar que elas não são equivalentes.
b. Mostre que as proposições (A  B)  C e A  (B  C) são equivalentes.
c. Mostre que as proposições (A  B)  C e A  (B  C) são equivalentes.
5. No Exercício 4 da lista para o dia 14/02/06 colocamos, em muitas proposições,
parênteses desnecessários devido à prioridade das operações.
a. Indique todos os parênteses desnecessários.
b. Para as proposições que contém parênteses necessários, retire os parênteses
e decida se a proposição resultante é ambígua ou não. Caso você a ache
ambígua, indique as interpretações possíveis e monte suas respectivas
tabelas-verdade para mostrar se essas interpretações são ou não
equivalentes. (É claro que se as interpretações são equivalentes, então a
proposição não é ambígua.)
6. Faça a tabela-verdade para cada uma das proposições a seguir, mostrando que
são todas tautologias. (Isso nos permite negar essas proposições.)
a. (A  B)´  A´ B´.
b. (A  B)´  A´ B´.
c. (A´)´ A.
d. (A  B)´  A  B´.
e. (A  B)´  (A  B´)  (A´ B).