Avaliação Final (Discursiva)

Prévia do material em texto

Avaliação:
	
Avaliação Final (Discursiva) - Individual FLEX ( Cod.:444388) ( peso.:4,00)
	Prova:
	10945133
	
	
	
	
Parte superior do formulário
	1.
	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.
	
	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:
FORMULÁRIO UNIDADE 1 - LÓGICA MATEMÁTICA
	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.
"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:
Parte inferior do formulário