FUNDAO UNIVERSIDADE FEDERAL DO VALE DO SO FRANCISCO UNIVASF

COLEGIADO DE ENGENHARIA DA COMPUTAO

DISCIPLINA DE MATEMTICA DISCRETA
Prof. Jorge Cavalcanti

LISTA DE EXERCCIOS 1.2/1.3 Lgica Proposicional,

Quantificadores e predicados
Nos exerccios de 1 a 4, que regra de inferncia
ilustrada pelo argumento dado.
1) Se Martins o autor, ento o livro de
fico. Mas o livro no de fico. Portanto,
Martins no o autor.
2) Se a firma falir, todos os seus ativos tem que
ser confiscados. A firma faliu. Segue que
todos os ativos foram confiscados.
3) O cachorro tem plo sedoso e adora latir.
Portanto, o cachorro adora latir.
4) Se Paulo um bom nadador, ento ele um
bom corredor. Se Paulo um bom corredor,
ento ele um bom ciclista. Portanto, se
Paulo um bom nadador, ento ele um
bom ciclista.
5) Justifique cada passo na seqncia de
demonstrao de
A B [B(A C)] C
1. A
2. B
3. B(A C)
4. A C
5. (A) C
6. A C
7. C
6) Use a lgica proposicional para provar que o
argumento vlido.
a) A (B A) B
b) [A (BC)] (A D) B (DC)
c) (A B) B (A C) C

inteiros, I(x) significa x mpar, L(x) que

x<0 e G(x) que x >9. Sejam A, B e C as
seguintes proposies:

9) Qual o valor lgico de cada uma das fbfs a

seguir, com a interpretao que o conjunto
universo o conjunto dos inteiros?

10) Usando os smbolos predicados indicados e

quantificadores apropriados, escreva cada
declarao em portugus como uma fbf
predicada. (O conjunto universo o mundo
inteiro).

7) Usando as regras da lgica proposicional,

prove cada argumento abaixo, usando as
letras de proposio dadas:
a) Se o programa eficiente, executa
rapidamente: ou o programa eficiente
ou tem algum bug. No entanto, o
programa no executa rapidamente.
Logo, ele tem um bug. E, R, B.
b) Se Jane a mais popular, ela ser eleita.
Se Jane a mais popular, ento Carlos
vai renunciar. Portanto, se Jane a mais
popular, ela ser eleita e Carlos
renunciar. J, E, C
8) Determine o valor lgico de cada uma das
Fbfs a seguir, com a interpretao de que o
conjunto universo consiste em todos os

Av. Antonio Carlos Magalhes, 510 Santo Antonio Juazeiro-BA ww.univasf.edu.br

FUNDAO UNIVERSIDADE FEDERAL DO VALE DO SO FRANCISCO UNIVASF

COLEGIADO DE ENGENHARIA DA COMPUTAO
DISCIPLINA DE MATEMTICA DISCRETA
Prof. Jorge Cavalcanti

11) Usando os smbolos predicados indicados e

quantificadores apropriados, escreva cada
declarao em portugus como uma fbf
predicada. (O conjunto universo o mundo
inteiro).

12) D verses em portugus para as fbfs a seguir

onde:

V(j)

Av. Antonio Carlos Magalhes, 510 Santo Antonio Juazeiro-BA ww.univasf.edu.br