Lógica Matemática (MAT23) Avaliação Final (Discursiva) - Individual FLEX

Prévia do material em texto

07/02/2020 UNIASSELVI - Centro Universitário Leonardo Da Vinci - Portal do Aluno - Portal do Aluno - Grupo UNIASSELVI
https://portaldoalunoead.uniasselvi.com.br/ava/notas/request_gabarito_n2.php 1/2
Acadêmico: Alexandre Freitas (964154)
Disciplina: Lógica Matemática (MAT23)
Avaliação: Avaliação Final (Discursiva) - Individual FLEX ( Cod.:404636) ( peso.:4,00)
Prova: 7100010
Nota da Prova: 5,25
1. 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.
"Todos os humanos são mortais. Sócrates é um humano. Logo, Sócrates é mortal".
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.
Resposta Esperada:
Resposta:
Anexos:
2. Proposição vem de "propor", que significa submeter à apreciação; requerer um juízo. Trata-se de uma sentença
declarativa "algo que será declarado por meio de termos, palavras ou símbolos" e cujo conteúdo poderá ser considerado
verdadeiro ou falso. Sejam as proposições: A = Fabiano é professor, B = Hoje é domingo e C = estarei de folga. Traduza
para a linguagem natural as seguintes proposições simbólicas quando possível. No caso em que não puder ser formado
um fbf, justifique.
07/02/2020 UNIASSELVI - Centro Universitário Leonardo Da Vinci - Portal do Aluno - Portal do Aluno - Grupo UNIASSELVI
https://portaldoalunoead.uniasselvi.com.br/ava/notas/request_gabarito_n2.php 2/2
Resposta Esperada:
a) Não é uma fbf, pois faltam os parênteses para separar os conectivos.
b) Fabiano é professor, então estará de folga se, e somente se, for domingo.
c) Fabiano é professor e hoje é domingo, então estará de folga.
Anexos: