Universidade Federal de Campina Grande

Curso: Cincia da Computao

Disciplina: Matemtica Discreta
Professor: Leandro Balby Marinho
Monitor: Jos Robson da Silva Araujo Junior
Perodo: 2017.1
Aluno(a): ____________________________________________________ Matrcula: _________________

PRIMEIRA LISTA DE EXERCCIOS

1. Considere as proposies p: Ele fera de computao e q: Ele usa break no for

para reescrever em notao simblica (usando conectivos lgicos) as seguintes pro-
posies:

a) Embora ele seja fera de computao, ele no usa break no for.

b) Ele fera de computao ou usa break no for.
c) Se ele usa break no for, ento ele fera de computao.
d) Ele fera de computao ou usa break no for, mas no usa break no for se no
fera de computao.

2. Ainda considerando p e q da questo anterior, expresse em portugus as

proposies a seguir:

a) d)
b) e) ( )
c) f) ( )

3. Demonstre que as expresses a seguir so tautologias (use o mtodo de sua

preferncia).

a) c) ( )
b) ( ) d) ( ) ( ) ( )

4. Use regras de inferncia para demonstrar a validade dos argumentos a seguir.

a) ( ) ( ) c) ( )
b) ( ) d) [ ( )]

5. Considere A(x) como x aluno, E(x) como x esforado e C(x) como x est
cursando Matemtica Discreta. Expresse as sentenas a seguir atravs de A(x), E(x),
C(x), quantificadores e conectivos lgicos; o domnio so todas as pessoas.

a) Todos que esto cursando Matemtica Discreta so alunos esforados.

b) Alguns alunos no esforados esto cursando Matemtica Discreta.
c) Somente alunos esforados cursam Matemtica Discreta.
6. Considerando E(x) como x aluno esforado, C(x) como x est cursando
Matemtica Discreta e o domnio como todas as pessoas, faa agora o contrrio:
escreva as sentenas a seguir em portugus.

a) [ ( ) ( )] c) [( ) ( )]
b) [ ( ) ( )] d) [ ( ) ( )]

7. A sequncia de demonstrao a seguir contm um erro. Aponte-o e justifique-o.

Passo Justificativa
1. ()()(, ) Hiptese.
2. ()(, ) Particularizao universal em (1).
3. (, ) Particularizao existencial em (2).
4. ()(, ) Generalizao universal em (3).
5. ()()(, ) Generalizao existencial em (4).

8. Escreva a negao dos argumentos a seguir em portugus:

a) Todos os estudantes se interessam em projetos de extenso.
b) Todas as pessoas gostam de msica country ou gostam de pop.
c) Algumas pessoas estudam Matemtica Discreta.
d) Certos cachorros so fofos e inofensivos.

9. Considere o argumento Todo estudante de Hogwarts bruxo. Existem alunos em

Hogwarts; portanto, existem alguns bruxos. Transcreva-o utilizando letras de
proposio e conectivos lgicos. Em seguida, demonstre sua validade atravs de
regras de inferncia.

10. Demonstre que se ( )[( ) ( )] e ( )[(( ) ( )], ento ( )[( )

( ) ()] usando seus conhecimentos de lgica de predicados e regras de
inferncia.