logica avaliação final II OK

Prévia do material em texto

1.
	O Cálculo de Predicados, dotado de uma linguagem mais rica, tem várias aplicações importantes não só para matemáticos e filósofos, como também para estudantes de Ciência da Computação. Na demonstração do argumento a seguir, indique a sequência CORRETA das regras lógicas aplicadas em X, Y, Z, W, T:
	
	
	a) Comutatividade, Dupla Negação, Silogismo Hipotético, Condicional, Modus Ponens.
	
	b) Condicional, Dupla Negação, Comutatividade, Condicional, Modus Ponens.
	
	c) Condicional, Eliminação da Conjunção, Comutatividade, Contradição, Modus Ponens.
	
	d) Condicional, Dupla Negação, Associatividade, Condicional, Modus Tollens.
	 
	 
	2.
	A lógica proposicional é um formalismo matemático através do qual podemos abstrair a estrutura de um argumento, eliminando a ambiguidade existente na linguagem natural. Um dos seus operadores é o Modus Tollens. De acordo com o conceito deste operador, complete a premissa X do exemplo:
Premissa: Se choveu, é porque é inverno.
Premissa: X
Conclusão: Não choveu.
A premissa X é:
	
	a) É inverno.
	
	b) Não choverá.
	
	c) Não é inverno.
	
	d) Choveu ontem.
	 
	 
	3.
	A noção de argumento é fundamental para a lógica. Argumento é um conjunto de enunciados que estão relacionados uns com os outros. Podemos ter enunciados fortes e fracos que são analisados não somente pela quantidade de informações, mas também pela qualidade. Sobre os enunciados considerados como forte ou fraco, classifique V para as sentenças verdadeiras e F para as falsas:
(    ) A Uniasselvi dispõe hoje de 74 polos em todo o Brasil. (FORTE)
(    ) Alguns animais são domésticos. (FORTE)
(    ) O ano de 2100 não será ano bissexto. (FRACO)
(    ) Aos domingos eu jogo futebol. (FORTE)
Agora, assinale a alternativa que apresenta a sequência CORRETA:
	
	a) V - F - F - V.
	
	b) V - F - V - F.
	
	c) V - F - V - V.
	
	d) F - V - V - F.
	 
	 
	4.
	As regras de inferência não hipotéticas e hipotéticas podem ser utilizadas para demonstrar vários raciocínios bastante recorrentes. Estes raciocínios, uma vez demonstrados, podem ser usados como regras. Estas regras não são necessárias, mas são bastante úteis, tornando nossas provas muito mais sucintas. Utilizando estas regras de derivadas, analise o argumento a seguir e assinale a alternativa CORRETA que apresenta a regra decorrente:
"Se o cachorro fugiu, então a portão de casa está aberto. Se o portão de casa está aberto, então ele pode retornar a casa. Logo, se o cachorro fugiu, então ele pode retornar a casa."
	
	a) Dilema Construtivo (DC).
	
	b) Modus Tollens (MT).
	
	c) Silogismo Hipotético (SH).
	
	d) Silogismo Disjuntivo (SD).
	 
	 
	5.
	Ao desenvolver o conhecimento de representação por meio simbólico de um argumento, aprendemos alguns conectivos, os quais realizam as ligações entre as proposições envolvidas. A negação é uma operação unário, que quando aplicada, produz o valor falso de uma proposição. É necessário ter cuidado ao realizar a negação de argumentos que utilizam como ligação a conjunção e a disjunção (inclusiva ou exclusiva). Com relação a esta observação, a equivalência lógica proposicional, a negação da frase "Cris fez exercícios e Paola não pratica esportes", é:
	
	a) Cris fez exercícios ou Paola pratica esportes.
	
	b) Cris não fez exercícios ou Paola pratica esportes.
	
	c) Cris não fez exercícios e Paola não pratica esportes.
	
	d) Cris não fez exercícios ou Paola não pratica esportes.
	 
	 
	6.
	Seja o conjunto dos números naturais definidos por N = {0, 1, 2, ...}. A seguir temos alguns subconjuntos dos naturais:
? A = {x / x é natural par menores que 15}
? B = {x / x é natural maior que 1 e menor que 8}
? C = {x / x é natural ímpar menor que 15}
Com base nas definições destes subconjuntos dos naturais, qual das alternativas apresenta (A U C) - (A U B)?
	
	a) {1, 9, 11, 13}
	
	b) {1, 11, 13}
	
	c) {1, 13}
	
	d) {9, 11}
	 
	 
	7.
	Considere os conectivos lógicos e as fórmulas proposicionais a seguir. Sendo P, Q e R proposições simples. De acordo com interpretação das fórmulas proposicionais a seguir e suas tabelas-verdade:
	
	
	a) Ambas têm 8 linhas e são contingências.
	
	b) A tem 8 linhas e B tem 4 linhas e ambas são tautologias.
	
	c) Ambas têm 8 linhas e são tautologias.
	
	d) A tem 8 linhas e é uma tautologia, B tem 4 linhas e é uma contingência.
	 
	 
	8.
	A formalização de uma sentença pode conter variáveis, quantificadores, predicados e sujeitos. Logo, para escrever uma sentença de forma correta, devemos nos ater a algumas regras para que a simbologia e a forma apresentada tenham um padrão. Segundo as regras atribuídas no estudo da Lógica Matemática, classifique V para as sentenças verdadeiras e F para as falsas:
(    ) Quanto aos predicados, utilizamos letras maiúscula do alfabeto.
(    ) As variáveis são objetos individuais que atribuímos letras minúsculas do alfabeto como x.
(    ) Existem apenas dois quantificadores, o de existencial e hipotético.
(    ) O sujeito deve ser apresentado com uma letra minúsculas do alfabeto.
Agora, assinale a alternativa que apresenta a sequência CORRETA:
	
	a) F - F - V - F.
	
	b) F - V - V - F.
	
	c) V - V - F - V.
	
	d) V - F - V - V.
	 
	 
	9.
	Na tabela-verdade, as células de ambas as colunas são preenchidas com valores lógicos V e F, de modo a esgotar todas as possíveis combinações dentro de um argumento. Podemos analisar as colunas das premissas e sua conclusão para verificar a veracidade do argumento. Analise os argumentos a seguir e assinale a alternativa CORRETA:
	
	
	a) As sentenças I e II estão corretas.
	
	b) Somente a sentença I está correta.
	
	c) As sentenças I e III estão corretas.
	
	d) As sentenças II e III estão corretas.
	 
	 
	10.
	Uma proposição pode ser definida como todo grupo de palavras ou símbolos que compõem uma ideia com sentido total e se expressam por meio de orações. Elas podem ser classificadas de duas formas diferentes: proposição lógica simples ou proposição lógica composta. As simples são representadas de forma única, enquanto as proposições compostas são representadas por um conjunto de proposições simples que são ligadas pelos chamados "conectivos lógicos". Sobre as frases que apresentam proposições, analise as sentenças a seguir: 
I- A arma é de fogo porque atira balas de prata.
II- Que prova difícil!
III- O cachorro é um mamífero.
IV- Você aceita um copo de suco?
Assinale a alternativa CORRETA:
	
	a) As sentenças III e IV estão corretas.
	
	b) As sentenças II e III estão corretas.
	
	c) As sentenças I e III estão corretas.
	
	d) As sentenças I, II e IV estão corretas.
	 
	 
	11.
	(ENADE, 2014) Em uma festa infantil, um grupo de 7 crianças - Ana, Beatriz, Carlos, Davi, Eduardo, Fernanda e Gabriela - reuniu-se próximo a uma mesa para brincar de "esconde-esconde". Para efetuar essa escolha, as crianças se dispuseram em um círculo na mesma ordem descrita anteriormente e, simultaneamente, mostraram um número de dedos das mãos. Os números de dedos mostrados foram somados, resultando em uma quantidade que vamos chamar de TOTAL. Ana começou a contar de 1 até o TOTAL, e, a cada número dito, apontava para uma criança da seguinte forma: 1 - Ana, 2 - Beatriz, 3 - Carlos, 4 - Davi, e assim por diante. Quando chegasse ao número TOTAL, a criança correspondente a esse número seria aquela que iria procurar as demais. Se o número TOTAL é igual a 64, qual é a criança designada para procurar as demais é:
	
	a) Beatriz.
	
	b) Davi.
	
	c) Carlos.
	
	d) Ana.