Unidade Acadêmica de Graduação - UAGRAD

Atividade Acadêmica: 093915 – Lógica

Modalidade: A Distância
Prof.: Mônica Py

Questões da atividade sobre Formalização e Fórmulas Equivalentes

Questão 1. Verifique através da construção de tabelas-verdade se as fórmulas são equivalentes. Esta ativi-
dade vale 10 pontos na nota do GA.

1. ((P → Q) ∧ P) ⇔ (¬P ∨ Q)
Resposta:

Questão 2. Formalize as sentenças a seguir:

1. Se eu estudar Lógica, então ficarei inteligente e serei aprovado.

Resposta:
A - estudo lógica
B - ficarei inteligente
C - serei aprovado
A → (B ∧ C)
2. Se eu estudar Matemática e não descansar, então passarei na avaliação e serei aprovado.
Resposta:
A - estudo matemática
B - eu descanso
C - passarei na avaliação
D - serei aprovado
(A ∧¬B) → (C ∧ D)
3. Se não é verdade que Lógica é díficil, então eu estudo ou sou inteligente.
Resposta:
A - lógica é difícil
B - eu estudo
C - sou inteligente
¬A → (B ∨ C)