AV_logica_matematica_2014_3

Prévia do material em texto

1a Questão (Ref.: 201407021239)
	4a sem.: Algebra de Boole
	Pontos: 0,5  / 0,5 
	Completando as afirmativas (I), (II), e (III) abaixo, temos, respectivamente: 
(I) A condição: Um "sim" gera um "não" e um "não" gera um "sim", é representada pela porta lógica ________. 
(II) A condição: A saída somente será "sim" se ambos os dados de entrada forem "sim" é representada pela porta lógica _______. 
(III) A condição: Para que o dado de saída seja "sim" basta que um dos dados de entrada seja "sim" é representada pela porta lógica _______. 
		
	
	AND, NOT, OR.
	
	AND, OR, NOT.
	
	OR, NOT, AND.
	
	NOT, AND, OR.
	
	NOT, OR, AND.
	
	
	 2a Questão (Ref.: 201407047624)
	sem. N/A: Negação
	Pontos: 1,0  / 1,5 
	Observe a frase em linguagem corrente: Existem ministros que, se são inteligentes, então agem de forma corente. Pede-se: 
(a) Transforme a frase de linguagem corrente em linguagem lógica de predicados. 
(b) Negue a frase sob esta linguagem lógica de predicados, com o auxilio das equivalencias logicas e 
(c) Transcreva, na linguagem corrente, a frase obtida na linguagem lógica de predicados , apresentando-a na forma mais simples. 
Observação: Não é permitido simplesmente acrescentar o não antes da frase. 
		
	
Resposta: (a) P -> q (b) disjunção = p -> q = ~ q (c) existem ministros que, não são inteligente nem agem de forma corente.
	
Gabarito: 
(a) Existe x tal que ( p -> q ) 
(b) Para todo x , ( p ^ ~q) 
(c) Todos os ministros são inteligentes e não agem de forma coerente. 
	
	
	 3a Questão (Ref.: 201407080585)
	3a sem.: Tautologia, Contradição e contingencia
	Pontos: 0,0  / 0,5 
	A proposição Q:(p⋁q)→(p⋀q)é uma : 
		
	
	Contingência
	
	Tautologia
	
	Contradição
	
	Falso, quando ambos, p e q são verdade
	
	Verdade, quando p é verdade e q é falso
	
	
	 4a Questão (Ref.: 201407021259)
	5a sem.: Implicação Lógica
	Pontos: 0,0  / 0,5 
	Considerando as proposições compostas P: (p→p^q) e Q: (p^q) e as afirmações: 
(I) Q=> P 
(II) P=> Q 
É somente correto afirmar que: 
		
	
	Ambas são verdadeiras.
	
	Nada podemos afirmar.
	
	Somente (I) é verdadeira.
	
	Somente (II) é verdadeira.
	
	Ambas são falsas.
	
	
	 5a Questão (Ref.: 201407028501)
	6a sem.: LÓGICA MATEMÁTICA
	Pontos: 0,5  / 0,5 
	Se Luís estuda História, então Pedro estuda Matemática. Se Helena estuda Filosofia,então Jorge estuda Medicina. Ora, Luís estuda História ou Helena estuda Filosofia. Logo,segue-se necessariamente que:
		
	
	Pedro estuda Matemática e Jorge estuda Medicina.
	
	Pedro estuda Matemática ou Jorge estuda Medicina.
	
	Se Luís não estuda História, então Jorge não estuda Medicina.
	
	Helena estuda Filosofia e Pedro estuda Matemática.
	
	Pedro estuda Matemática ou Helena não estuda Filosofia.
	
	
	 6a Questão (Ref.: 201407045505)
	sem. N/A: VALORES LÓGICOS
	Pontos: 0,0  / 0,5 
	Uma vez que V(p)=V, V(q)=F, V(s)=V e V(r)=F, então V(p→q), V(p v r), V(s v r), V(s v r) e V(p ^ q ^ s), são respectivamente:
		
	
	F, F, F, F, F
	
	V, F, V, F, F
	
	V, V, V, F, F
	
	V, V, V, V, F
	
	F, V, V, F, F
	
	
	 7a Questão (Ref.: 201407152098)
	2a sem.: Linguagem logica x linguagem corrente
	Pontos: 0,5  / 0,5 
	Considere as proposições simples p: Maria é extremamente estudiosa e q: Pedro é muito inteligente. Traduzindo para linguagem logica a frase em linguagem corrente "Maria é extremamente estudiosa ou Pedro é muito inteligente", obtemos 
		
	
	p-> q
	
	p v q
	
	~p^q
	
	p ^ q 
	
	p <-> q
	
	
	 8a Questão (Ref.: 201407047406)
	3a sem.: Tautologia, contradição e contingencia
	Pontos: 1,5  / 1,5 
	Construa a tabela verdade da proposição composta (p ∧q)∧~(p∨q) e determine se a proposição é uma tautologia, uma contradição ou uma contingência. Justifique sua resposta. 
		
	
Resposta: p q (p^^q) (p VV q) ~(pVV q) ((p^^q)^^~(pVVq)) v v v v f f v f f v f f f v f v f f f f f f v f
	
Gabarito: 
Como na ultima coluna so aparece F a proposição é uma contradição.
	
	
	 9a Questão (Ref.: 201407022956)
	sem. N/A: Argumentos
	Pontos: 0,0  / 1,0 
	Um argumento NÃO VÁLIDO chama-se:
		
	
	Uma implicação lógica
	
	Um sofisma 
	
	Uma contingência
	
	Um silogismo
	
	Uma tautologia
	
	
	 10a Questão (Ref.: 201407021254)
	13a sem.: Quantificadores
	Pontos: 0,0  / 1,0 
	A Semântica Formal tem por objetivo escrever, traduzir as sentenças da língua em uma forma lógica. A estrutura lógica é parte imprescindível do estudo do significado. Um dos interessantes assuntos pesquisados dentro da Semântica Formal diz respeito a relação entre forma sintática e forma lógica: a quantificação. A negação também é uma operação sobre as sentenças e se constitui em um estudo importante e significativo da Semântica Formal. Determine a negativa da frase quantificada: Toda agência bancária do bairro possui segurança privada e possui excelente atendimento. 
		
	
	Existe uma agencia bancária do bairro que não possui segurança privada ou não possui excelente atendimento. 
	
	Existe uma agencia bancária do bairro que não possui segurança privada e não possui excelente atendimento.
	
	Toda agencia bancária do bairro não possui segurança privada, mas possui excelente atendimento.
	
	Existe uma agencia bancária do bairro que possui segurança bancária privada, mas não possui excelente atendimento.
	
	Toda agencia bancária do bairro não possui segurança privada nem possui excelente atendimento.