UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL

INSTITUTO DE INFORMÁTICA

Disciplina: Lógica para Computação – 2023-2

Professora: Rosa Maria Vicari.

Aluno(a):
Matrícula:

AVALIAÇÃO DE CONHECIMENTO – PARTE 1

Entregar até 20-11-2023

Instruções:
i. Esta é a primeira parte de uma avaliação de
conhecimento.
ii. Informe seu nome e matrícula nos respectivos
campos.
iii. Salve o arquivo com o seu nome.
iv. Resolva os exercícios e envie suas respostas
para a professora via moodle.
v. Bons estudos!
Resolva, por dedução natural, usando as regras de derivação da Lógica
de Predicados:

1. Se hoje é quinta-feira, então amanhã será sexta-feira. Se amanhã for

sexta-feira, então depois de amanhã será sábado. Consequentemente,
se hoje for quinta-feira, então depois de amanhã será sábado. (Q, S1,
S2)
a) Escreva o argumento formal
b) Prove o argumento por DN
c) Que regra de inferência resolve este problema?

2) Hoje é um fim de semana se e somente se hoje é sábado ou domingo.

Portanto, hoje é um final de semana, desde que hoje é sábado.
a) Escreva o argumento formal
b) Prove por DN

3 Prove o seguinte teorema

Ⱶ (p <-> q) <-> ((p ^ q) v (~p ^ ~q))
a) Prova por DN
b) O que você sabe falar sobre um teorema?

4 Formalize o argumento lógico e sua prova por DN e por TV

A colheita é boa, mas não há água suficiente. Se não houver muita chuva,
ou se não houver muito sol, então haverá água suficiente. Portanto, a
colheita é boa e há muito sol.
Sugestão:
Use C,A,V(chuva) e S como símbolos proposicionais).
a) Construa o argumento formal
b) Construa a tabela verdade para o argumento formal
c) Prove o argumento formal por DN
d) Fale tudo o que estes dois métodos de prova permitem dizer sobre o
argumento formal