UNIVERSIDADE FEDERAL DO CEARÁ

CAMPUS AVANÇADO DE SOBRAL

CURSO DE ENGENHARIA DA COMPUTAÇÃO
Disciplina: Matemática Discreta
Prof. Ricardo Pires dos Santos
10/01/2022
Segunda Avaliação Parcial (AP2) – 2021/2. Não enviar esta prova para meu email.
Responder somente a folha de respostas até 17/01/2022, 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.

Assinale Verdadeiro (V) ou Falso (F) nas seguintes afirmações:

1) ( ) Em Matemática, implicações não ignoram conexões causais entre hipótese e

conclusão.

2) ( ) Variáveis proposicionais são variáveis que representam predicados.

3) ( ) Duas fórmulas lógicas são equivalentes se apresentarem as mesmas tabelas

verdades.

4) ( ) Uma fórmula lógica é satisfatível se apresentar pelo menos uma linha verdadeira
em sua tabela verdade,

5) ( ) A seguinte fórmula é válida:

6) ( ) A FND completa de (X  Y)  Z é:

7) ( ) Nem todas a fórmula lógica por ser convertida na FND completa.

8) ( ) Uma FND canônica é aquela que não apresenta p- equivalentes

9) ( ) Lista é uma coleção ordenada de objetos

10) ( ) {a}  no conjunto {{a},b,c,a}

11) ( ) O conjunto vazio é elemento de qualquer conjunto.

12) ( ) O número de elementos do conjunto potência de A é 2|A| - 1

13) ( ) Conjunto é uma coleção ordenada de elementos distintos.

14) ( ) {0,1}2 = {(0,0), (0,1), (1,1)}

15) ( ) Sejam dois conjuntos A e B. Uma relação binária de A em B é um subconjunto

de pares ordenados de A  B.

16) ( ) A relação abaixo não é um monomorfismo

17) ( ) Se |A| > |B| então A mono B

18) ( ) Demonstração por indução finita é uma técnica utilizada para demonstrar a
veracidade de afirmações declarativas em matemática envolvendo números racionais.

19) ( ) No Passo da Indução, na prova por indução finita, tentamos chegar a uma
contradição para provar a expressão que queremos.

20) ( ) É possível mostrar por indução finita que 22n – 1 é divisível por 3, para n
pertencente ao conjunto N*