avalicao 1 FUNDAMENTOS MATEMATICOS PARA COMPUTACAO

Prévia do material em texto

10 DE 10 
PERGUNTA 1
1. Em lógica proposicional, a letra E espelhada na horizontal (∃) é, sob certa perspectiva, um mecanismo complementar ao que é oferecido pelo quantificador universal (tão bem associado ao seu símbolo ∀).
Analise as asserções a seguir e a relação proposta entre elas.
I. Instâncias do tipo “todo”, “para todo”, “cada” e “qualquer” pressupõem sempre a utilização de .
PORQUE 
II. Em contrapartida, emprega-se para denotar instâncias como “algum”, “existe um” e “ao menos um”.
Avaliando essas asserções, é correto afirmar que:
	
	a.
	as duas asserções são verdadeiras, mas a segunda não justifica a primeira.
	
	b.
	a primeira asserção é verdadeira e a segunda é falsa.
	
	c.
	as duas asserções são verdadeiras e a segunda justifica a primeira.
	
	d.
	as duas asserções são falsas.
	
	e.
	a primeira asserção é falsa e a segunda é verdadeira.
2,5 pontos   
PERGUNTA 2
1. Adotam-se ferramentas da lógica formal para verificar como chegar a conclusões, a partir de dadas proposições. O sistema envolvido é denominado lógica proposicional, lógica declarativa ou cálculo proposicional. No presente contexto, o termo “cálculo” é utilizado no sentido mais amplo, portanto, muito mais inclinado à avaliação e ao raciocínio do que à diferenciação e à integração.
Com base nas informações apresentadas, analise as afirmativas a seguir e assinale V para a(s) verdadeira(s) ou F para a(s) falsa(s).
I. (V ) Um argumento válido deveria ser verdadeiro com base integralmente em sua estrutura interna.
II. (F ) Para todos os efeitos, uma hipótese de um argumento válido corresponde à conclusão do argumento. 
III. ( V) Por meio do sistema lógico completo, entende-se que todos os argumentos válidos deveriam ser demonstráveis.
Assinale a alternativa que apresenta a sequência correta.
	
	a.
	V, F, F.
	
	b.
	V, V, F.
	
	c.
	F, F, V.
	
	d.
	F, V, V.
	
	e.
	V, F, V.
2,5 pontos   
PERGUNTA 3
1. Na sequência de frases “Ou Ari estuda, ou Ari trabalha. Além disso, Ari gosta de ler”, é possível constatar uma cadeia que determina uma expressão válida do ponto de vista lógico. Isso enseja um importante conceito, em termos de fundamentos matemáticos para computação.
Assinale a alternativa que apresenta a descrição correta do conceito em questão.
	
	a.
	Cálculo bem calculado.
	
	b.
	Argumento bem argumentado.
	
	c.
	Estimativa bem estimada.
	
	d.
	Conectivo bem conectado.
	
	e.
	Fórmula bem formada.
2,5 pontos   
PERGUNTA 4
1. No âmbito dos fundamentos matemáticos para computação, especificamente no campo da lógica proposicional, é preciso saber trabalhar com os denominados argumentos válidos. Tais argumentos se destacam por apresentarem três qualidades intrínsecas.
Assinale a alternativa que apresenta a descrição correta das três qualidades em questão.
	
	a.
	Translação, magnitude e sublimidade.
	
	b.
	Correção, completude e tratabilidade.
	
	c.
	Apuração, beatitude e transitoriedade.
	
	d.
	Transmutação, amplitude e potencialidade.
	
	e.
	Segregação, plenitude e fatuidade.