av logica matematica

Prévia do material em texto

Fechar
	Avaliação: CEL0482_AV_201301399401 » LÓGICA MATEMÁTICA
	Tipo de Avaliação: AV
	Aluno: 201301399401 - ALESSANDA PEIXOTO SOUZA
	Professor:
	ANA LUCIA DE SOUSA
	Turma: 9001/AA
	Nota da Prova: 4,0        Nota de Partic.: 2        Data: 10/06/2014 16:18:16
	
	 1a Questão (Ref.: 201301473409)
	Pontos: 0,8  / 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=v q=f (f)^~(v) f^f f quando na ultima coluna aparece só um v ou f então a proposição é uma contingência.
	
Gabarito:
Como na ultima coluna so aparece F a proposição é uma contradição.
	
	
	 2a Questão (Ref.: 201301578101)
	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
	
	
	 3a Questão (Ref.: 201301506643)
	Pontos: 0,7  / 1,5
	Na demonstração condicional, só aplicável aos argumentos com tese condicionais, adicionamos uma premissa, a chamada premissa adicional. Esta premissa adicional é exatamente o antecedente da condicional da tese. Juntamente com esta premissa e as demais premissas procuramos com as regras de inferências conhecidas chegarmos ao consequente da condicional da tese. Uma vez isto obtido fica demonstrado o argumento.
Demonstre o argumento válido abaixo usando este procedimento. 
p→q                Premissa 1
p∨~r               Premissa  2
~s∨t→r         Premissa 3 
----------------------------
~s→q            Tese
		
	
Resposta: p = as mãos do mordomo estão cheias de sangue (premissa 1) q= o mordomo cometeu o crime (premissa 2) r= o mordomo ficara nervoso (premissa 3) o argumento é um sofisma e a tese é valida
	
Gabarito:
solução
1  p→q                Premissa 1
2   p∨~r               Premissa  2
3    ~s∨t→r         Premissa 3 
----------------------------
    ~s→q            Tese
4  ~s                  Premissa adicional = antecedente da condicional da tese
5  ~s∨t             Adição na proposição 4
6  r                    Modus ponens às proposição 3 e 5
7 p                   Silogismo disjuntivo às propsições 2 e 6
8 q                   Modus ponens às proposições 1 e 8
Como a proposição 8 é exatamente o consquente da condicional da tese fica demonstrado o argumento.
cqd
 
	
	
	 4a Questão (Ref.: 201301667406)
	Pontos: 0,5  / 0,5
	Chama-se proposição todo conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo. Em relação ao conceito de proposição composta, assinale a afirmação correta.
		
	 
	É aquela formada pela combinação de duas ou mais proposições simples.
	
	É sempre representada por um conectivo de conectivo de conjunção.
	
	É aquela que não contém nenhuma outra proposição com parte integrante de si mesma.
	
	Sempre vem representada em um conectivo de negação.
	
	É aquela formada pela combinação de no mínimo três ou mais proposições simples.
	
	
	 5a Questão (Ref.: 201301449729)
	Pontos: 0,5  / 0,5
	Qual das sentenças abaixo é falsa:
		
	
	P(p,q,r,¿) é uma tautologia se e somente se ~P(p,q,r,¿) é uma contradição, e P(p,q,r,¿) é uma contradição se e somente se ~P(p,q,r,¿)é uma tautologia.
	 
	Contingência é toda proposição composta que é tautologia e também é uma contradição.
	
	A tabela-verdade de uma proposição composta com n proposições simples contém 2n linhas.
	
	Contingência é toda proposição composta que não é tautologia nem contradição.
	
	Chama-se proposição bicondicional ou apenas bicondicional uma proposição representada por ¿p se e somente se q¿, cujo valor lógico é a verdade (V) quando p e q são ambas verdadeiras ou ambas falsas, e a falsidade (F) nos demais casos.
	
	
	 6a Questão (Ref.: 201301447242)
	Pontos: 0,0  / 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 _______.
		
	
	NOT, OR, AND.
	 
	AND, OR, NOT.
	
	AND, NOT, OR.
	 
	NOT, AND, OR.
	
	OR, NOT, AND.
	
	
	 7a Questão (Ref.: 201301578068)
	Pontos: 0,0  / 0,5
	A maneira pela qual as sentenças são estruturadas interfere, modifica e até determina seu sentido. O significado de uma sentença não é construído simplesmente pela soma dos significados das palavras que a compõem, mas também por estruturas sintáticas e lógicas que determinam a interpretação geral da sentença. Considerando as equivalencias logicas conhecidas como Leis de Morgan determine a equivalencia lógica da fase: " Não ocorre que: A mãe de Sônia foi ao shopping e foi ao supermercado.
		
	
	A mãe de Sônia foi ao shopping se e somente se não foi ao supermercado.
	 
	A mãe de Sônia não foi ao shopping ou não foi ao supermercado.
	 
	A mãe de Sônia não foi ao shopping e não foi ao supermercado.
	
	A mãe de Sônia foi ao shopping ou não foi ao supermercado.
	
	A mãe de Sônia não foi ao shopping e foi ao supermercado.
	
	
	 8a Questão (Ref.: 201301454547)
	Pontos: 0,0  / 0,5
	A proposição (~p∧~q)∨(p∧q) é equivalente a qual proposição:
		
	 
	p↔q
	 
	pvq
	
	p^q
	
	~p→~q
	
	p→q
	
	
	 9a Questão (Ref.: 201301447264)
	Pontos: 1,0  / 1,0
	É preciso se ter cuidado com as palavras, com o que se lê, com o que se escreve. Eventualmente, enunciados, argumentos, declarações podem ser enganadoras ou não ter fundamentação. Há enunciados falsos que parecem verdadeiros e vice versa. O fato do argumento em questão ser um sofisma pode ser analisado e determinado pela lógica matemática. Observe os argumentos:
(I) Se as mãos do mordomo estão cheias de sangue, então ele cometeu o crime. No entanto, as mãos do mordomo não estão cheias de sangue. Podemos então concluir que o mordomo não cometeu o crime.
(II) Se o dedicado mordomo cometeu o crime, então ficará nervoso quando for interrogado. O dedicado mordomo não ficou nervoso quando foi interrogado. Podemos concluir que o mordomo não cometeu o crime.
Com relação aos argumentos (I) e (II) devemos afirmar que:
		
	
	Ambos os argumentos (I) e (II) são sofismas.
	 
	O argumento (I) é um Sofisma e o argumento (II) é válido.
	
	O argumento (I) é válido e o argumento (II) é um sofisma.
	
	(I) e (II) não são argumentos.
	
	Ambos os argumentos (I) e (II) são válidos.
	
	
	 10a Questão (Ref.: 201301684083)
	Pontos: 0,0  / 1,0
	Considere as seguintes premissas: p: trabalhar é saudável. q: o cigarro mata. A afirmação ¿Trabalhar não é saudável¿ ou ¿o cigarro mata¿ é FALSA, do ponto de vista lógico, se
		
	
	p é falsa e q é falsa
	 
	P é verdadeira e q é falsa
	
	p é falsa e ~q é falsa
	 
	p e q são verdadeiras.
	
	~p é verdadeira e q é falsa