Gabarito da primeira prova de Lógica

Lógica Computacional – Avaliação 1
Gabarito

1. Dadas as expressões a seguir, classifique-as como expressões (E), sentenças proposicionais atômicas (A), negação (N), conjunção (C), disjunção (D), implicação (I) ou bi-implicação (B):
a) Gilbués não é a maior cidade do mundo (N)
b) Floriano é uma megalópole se e somente se Picos tiver praia ( I)
c) Água Branca fica à margem do rio Poti ou do rio Nilo (D)
d) Luiz Gonzaga é o “Rei” do baião e Ivete Sangalo canta mal (C)
e) O sol é um satélite da terra (A)


2. Dadas as sentenças:
a) (p → q) ^ (r → ¬p)
b) (¬p ^ q) → (r ν ¬q)
c) ¬r ↔ (p ^ ¬q)
Quais delas são tautologicamente equivalentes?
a) as sentenças a) e b)
b) as sentenças a) e c)
c) as sentenças b) e c)
d) não existem sentenças tautologicamente equivalentes neste conjunto de sentenças



3. Seja a sentença (p → q) Λ r). Sua forma normal disjuntiva é:
a) (p ^ r) ν (q ^ ¬r)
b) (¬p ^¬ r) ν (q ^ r)
c) (¬p ^ r) ν (q ^ r)
d) (¬p ^ r) ^ (q ^ r)




4. Seja a seqüência p → q, r → ¬ q, p, ¬ r. Podemos afirmar corretamente que:
a) a seqüência representa um argumento válido;
b) a seqüência representa uma contradição;
c) a seqüência representa uma contingência;
d) nada se pode afirmar logicamente sobre esta seqüência.




5. Seja a sentença “Se Maurício Matar é cantor, então Xuxa também é. Maurício Matar não é cantor. Logo, Xuxa também não é”. Assinale a resposta correta.
a) As sentenças que compõem esta sentença formam um argumento válido
b) As sentenças que compõem esta sentença não formam um argumento válido
c) Esta sentença é uma contradição
d) Esta sentença é uma tautologia.