Avaliação Final LOGICA MATEMATICA

Prévia do material em texto

Avaliação Final (Discursiva) LOGICA MATEMATICA - 0) 
Prova: 
 
Nota da Prova: - 
 
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. 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 = tenho sorte, B = ganhei na loteria e C = comprarei uma 
mansão, 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. 
 
Resposta Esperada: 
a) Tenho sorte e não ganhei na loteria. Logo, não comprarei uma mansão. 
b) Comprarei uma mansão se, e somente se, tiver sorte e ganhar na loteria. 
c) Não é uma fbf, pois faltam os parênteses para separar os conectivos. 
 
https://portaldoalunoead.uniasselvi.com.br/ava/notas/request_gabarito_n2.php?action1=RkxYNTA2Ng==&action2=TUFUMjM=&action3=NjQ5ODcx&action4=MjAyMC8y&action5=MjAyMC0xMS0xNFQwMzowMDowMC4wMDAwMDBa&prova=MjU3OTM5NjI=#questao_1%20aria-label=
https://portaldoalunoead.uniasselvi.com.br/extranet/layout/request/imag_prova_ead_anexo_n2.php?action1=MjU3OTM5NjI=&action2=NjMwNjM1
https://portaldoalunoead.uniasselvi.com.br/ava/notas/request_gabarito_n2.php?action1=RkxYNTA2Ng==&action2=TUFUMjM=&action3=NjQ5ODcx&action4=MjAyMC8y&action5=MjAyMC0xMS0xNFQwMzowMDowMC4wMDAwMDBa&prova=MjU3OTM5NjI=#questao_2%20aria-label=