Avaliação Final - Lógica Matemática

Prévia do material em texto

Avaliação Final (Discursiva) - Individual (Cod.:988641)
Código da prova: 87613748
Disciplina: Lógica Matemática (MAT23)
Período para responder: 16/09/2024 - 01/10/2024
Peso: 2,00
1 -
As regras de inferência servem para inferir uma conclusão sobre uma premissa, gerando um argumento
que será válido. No caso das equivalências, são informações que podem ser escritas de um modo diferente
sem a perda de generalidade. Por fim, temos as regras de derivadas, que servem para facilitar as provas de
argumentos, simplificando o processo quando visto das regras básicas já utilizadas.
Com todo este conhecimento e utilizando as regras de inferência não hipotéticas, de equivalência e de
derivadas, prove o argumento ∼P ∨ Q, ∼Q ∨ R |- P → R.
Firefox https://ava2.uniasselvi.com.br/subject/grades-and-tests/answer/eyJ0...
1 of 2 30/09/2024, 17:24
2 -
O Cálculo de Predicados é uma extensão da Lógica das Proposições em que se consideram variáveis e
quantificadores sobre as variáveis. Suas aplicações na área de tecnologia e programação são fundamentais
para a implementação de sistemas inteligentes e que conseguem gerar destinos corretos para informações.
Baseado nisto, analise as sentenças lógicas e faça o que se pede. 
"Luiz é matemático, e todo matemático é estudioso. Logo, Luiz é estudioso."
a) Escreva a sentença em forma de símbolos lógicos.
b) Faça a prova lógica da sentença citada, utilizando o cálculo de predicados.
Firefox https://ava2.uniasselvi.com.br/subject/grades-and-tests/answer/eyJ0...
2 of 2 30/09/2024, 17:24