UNIVERSIDADE FEDERAL DO CEARÁ

CAMPUS AVANÇADO DE SOBRAL

CURSO DE ENGENHARIA DA COMPUTAÇÃO
Disciplina: Matemática Discreta
Prof. Ricardo Pires dos Santos
17/11/2021
Primeira Avaliação Parcial (AP1) – 2021/2. Não enviar esta prova para meu email. Responder
somente a folha de respostas até 24/11/2021, que será disponibilizada em breve no google forms (o link
será informado no SIGAA, em notícias). Obs: Cada questão vale 0,5 pontos.
Marque Verdadeiro ou Falso nas seguintes afirmações:
1. ( ) Predicado é uma afirmação verdadeira ou falsa;
2. ( ) Proposição é uma afirmação cuja verdade depende do valor de uma ou mais variáveis;
3. ( ) Axioma é uma proposição que é simplesmente aceita como verdadeira;
4. ( ) Uma prova é uma sequência de deduções lógicas de axiomas e declarações previamente
comprovadas que concluem com a proposição em questão;
5. ( ) Corolário é uma importante proposição verdadeira;
6. ( ) Lema é uma proposição preliminar útil para provar proposições posteriores;
7. ( ) Conjectura é uma afirmação que tem-se demonstrado verdadeira por meio de exemplos (e não se
determinou nenhum contraexemplo), mas que ainda não existe uma prova matemática para a sua veracidade.
8. ( ) Lema é uma proposição preliminar útil para provar proposições posteriores;
9. ( ) Regras de inferência modus ponens afirma que uma prova de P juntamente com uma prova de P
implica Q, é uma prova da veracidade de Q;
10. ( ) A expressão abaixo representa uma regra de inferência:
Não 𝑃 implica Não 𝑄
P implica Q
11. ( ) Se P implica Q então P é logicamente equivalente a Q;
12. ( ) P se e somente se Q é equivalente a Não Q implica em Não P;
13. ( ) A afirmação “Se n é um inteiro par maior do que 2, então n é igual a soma de dois números
primos” é uma conjectura;
14. ( ) Na prova por casos, dividimos uma prova complicada em casos mais simples provando-os
separadamente;
15. ( ) log12 18 é racional;
16. ( ) Se n2 é um múltiplo de 3 então n não será necessariamente um múltiplo de 3;
17. ( ) Todo o conjunto não vazio de números inteiros tem um elemento mínimo;
18. ( ) O PBO é um importante método de prova de uma proposição P, no qual para n sendo o menor
elemento do conjunto C (conjunto de contraexemplos de P) frequentemente atingimos uma contradição
mostrando que P(n) = V ou que n não é o menor elemento de C;
19. ( ) Um conjunto de números reais é bem ordenado quando cada um de seus subconjuntos não vazios
tiver um elemento mínimo;
20. ( ) O conjunto F das frações na forma:

onde n é um número natural é bem ordenado;