Escolar Documentos
Profissional Documentos
Cultura Documentos
Aluno(s):
INSTRUÇÕES:
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