Você está na página 1de 2

Matemática Discreta

1ª avaliação - Turma: Sistemas de Informação


Valor: 20 pontos

Professor: Carlos Alexandre Silva Data: / /2022

Aluno(s):

INSTRUÇÕES:

- A prova será feita individual ou em dupla.


- A resolução das questões deve ser feita em um editor de texto e convertida em PDF ou ser feita à mão,
em seguida fotografada, e convertida em PDF. Deve-se verificar a qualidade da imagem da fotografia (no
caso de resolução à mão), sendo possı́vel fazer a leitura da solução.
- Todas as soluções devem estar agrupadas em um único arquivo PDF contendo as questões/soluções de
forma sequencial (em ordem crescente) e a imagem (caso de fotos) na vertical.
- Todos os integrantes do grupo (caso a atividade seja feita em grupo) devem enviar os mesmos arquivos
no classroom. É necessário que no arquivo PDF a ser enviado tenha o nome completo de todos os inte-
grantes do grupo.
- O não cumprimento das instruções e o atraso na entrega acarretará em penalização da nota.
- A correção da avaliação do grupo (caso a atividade seja feita em grupo) será feita no(s) arquivo(s) de
um dos integrantes do grupo escolhido aleatoriamente. Após a correção é necessário que este integrante
compartilhe os comentários do PDF (correção da prova) com os demais alunos(as) do grupo.

1. (5,0 pts) Marque V ou F e justifique sua resposta. Respostas sem justificativas não serão consideradas.
a) ( ) ¬(a ∨ (b ∧ c)) ↔ (¬a ∧ ¬b) será sempre verdadeiro, com exceção quando (¬a ∧ ¬c) for verdadeiro.
b) ( ) A seguinte sentença é uma tautologia: “Se hoje é segunda então tem prova, ou se tem prova então
é segunda.”.
c) ( ) As hipóteses: “Se eu colar nesta prova, então não vou tirar média nela”, “Vou tirar média nesta
prova ou vou passar nessa disciplina”, “Vou colar nessa prova ou vou me formar” e “Não vou passar
nessa disciplina”, levam à conclusão “Vou me formar”.
d) ( ) ∀x¬∃y∃z(¬P (x, y, z) ∧ (¬P (x, y, z) ∨ Q(x, y, z))) ≡ ∀x∀y∀zP (x, y, z)
2. (5,0 pts) Baixe o software Logisim (https://sourceforge.net/projects/circuit/). Monte o seguinte
circuito no Logisim
[(p ∧ q) → r] → ¬[r → (¬p ∧ (¬p ∨ ¬q) ∨ ¬q)]
Demonstre usando regras de inferência lógica que a expressão acima pode ser simplificada ao seguinte
circuito p ∧ q.
3. (5,0 pts) Selecione 3 questões do ENADE (de anos mais recentes) em qualquer curso da área de compu-
tação que tenham como tema o conteúdo visto neste módulo de lógica. Copie a questão, referencie por
meio de link e desenvolva a solução de cada uma das questões selecionadas.
4. (5,0 pts) Utilize um compilador de Python (exemplo https://www.onlinegdb.com/online_python_
compiler) e execute o código abaixo. Explique passo a passo à luz da lógica o porquê da impressão
destes números.
01: a =∼ (∼ (F alse or ∼ (F alse and ∼ T rue)) and ∼ T rue) or ∼ T rue
02: for x in range(0, 12, 2):
03: if (a):
04: print(x)
05: a = a and F alse
06: else:
07: print(x + 1)
08: a = a or T rue

Você também pode gostar