Faculdade de Administração e Negócios de Sergipe

Associação de Ensino e Pesquisa “Graccho Cardoso”

Autorizada a funcionar por intermédio da Portaria Ministerial n o 2.246 de 19/12/1997

2ª AVALIAÇÃO

Disciplina: Lógica de Programação Turma: INF0001

Professor: Yklys Rodrigues Data: 19/10/2020

Aluno(a): __________________________________________________ Nota: _______________

QUESTÕES

1. Utilize seus conhecimentos sobre regras de inferência para deduzir as seguintes fórmulas a partir das premissas
enumeradas:
a) Q v S b) A
(1) P v Q (1) ~A → B
(2) P → R (2) B → C
(3) ~R (3) ~C

c) S d) R v ~S
(1) P v ~Q (1) Q ^ S
(2) P → S (2) T → ~Q
(3) ~R (3) ~T → R
(4) ~Q → R

e) P ^ S f) T v U
(1) P ^ Q (1) P v Q → (P → S ^ T)
(2) P v R → S (2) P ^ R

2. Monte a tabela verdade e crie a fórmula disjuntiva equivalente de:

a) (P ^ Q ^ ~R ^ S) v ~ (P v S) b) (P ^ ~(~P v Q)) v (P ^ Q)