logica matemática av3

Prévia do material em texto

21/05/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/1
Acadêmico: Vicente Tomé do Nascimento Filho (1791112)
Disciplina: Lógica Matemática (MAT23)
Avaliação: Avaliação Final (Discursiva) - Individual FLEX ( Cod.:455168) ( peso.:4,00)
Prova: 13661488
Nota da Prova: 8,00
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.
"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.
Resposta Esperada:
Resposta:
Anexos:
FORMULÁRIO UNIDADE 2-3 - LÓGICA MATEMÁTICA
2. 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 a seguir.
Resposta Esperada:
Resposta:
Anexos:
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
https://portaldoalunoead.uniasselvi.com.br/extranet/layout/request/imag_prova_ead_anexo_n2.php?action1=MTM2NjE0ODg=&action2=MjY2NTk4
https://portaldoalunoead.uniasselvi.com.br/extranet/layout/request/imag_prova_ead_anexo_n2.php?action1=MTM2NjE0ODg=&action2=MjY2NTk3