avaliação de logica fabio

Prévia do material em texto

Avaliação: CEL0482_AV_201301630462 » LÓGICA MATEMÁTICA
	Tipo de Avaliação: AV
	Aluno: 201301630462 - FABIO OLIVEIRA CAVALCANTI
	Professor:
	ANA LUCIA DE SOUSA
	Turma: 9001/AA
	Nota da Prova: 6,0        Nota de Partic.: 2        Data: 07/06/2014 09:57:29
	
	 1a Questão (Ref.: 201301727573)
	Pontos: 1,5  / 1,5
	Construa a tabela verdade da proposição composta (~pvq)→(p→q) e determine se a proposição é uma tautologia, uma contradição ou uma contingência. Justifique sua resposta. 
 
		
	
Resposta: p q ~p ~pvq p-q (~pvq)- (p-q) v v f v v v f v v v v v v f f f f v f f v v v v e uma tautologia, pois a ultima coluna todas são verdadeiras
	
Gabarito:
Como a ultima coluna da tabela verdade só aparece V, a proposição é uma tautologia
	
	
	 2a Questão (Ref.: 201301832268)
	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^q
	
	p <-> q
	 
	p v q
	
	p ^ q
	
	
	 3a Questão (Ref.: 201301760810)
	Pontos: 0,0  / 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: premissa 2 :silogismo
	
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.: 201301703890)
	Pontos: 0,0  / 0,5
	Dadas as proposições abaixo, indique qual não é composta:
		
	 
	Não é o caso que o Brasil seja pequeno.
	
	Se o cão está latindo, o cão está na casa.
	
	O gato não subiu na árvore.
	
	O ar condicionado ser consertado é suficiente para ser ligado.
	 
	Pedro é filho de Paula.
	
	
	 5a Questão (Ref.: 201301708894)
	Pontos: 0,5  / 0,5
	Sabendo que os valores lógicos das proposições p e q são respectivamente: V e F, determine os valores lógicos das proposições compostas : (~q v p) -> p e ( p ^q) -> ~q
		
	 
	V e V
	
	Não é possivel determinar
	
	V e F
	
	F e F
	
	F e V
	
	
	 6a Questão (Ref.: 201301701409)
	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.
	
	NOT, OR, AND.
	
	AND, OR, NOT.
	 
	NOT, AND, OR.
	
	OR, NOT, AND.
	
	
	 7a Questão (Ref.: 201301832254)
	Pontos: 0,5  / 0,5
	Considerando as proposições compostas: P: (p→pvq) e Q: (pvq) e as afirmações (I) Q=> P (II) P=> Q É somente correto afirmar que
		
	
	Nenhuma das afirmações.
	
	I e II
	
	Nada se pode afirmar.
	
	II
	 
	I
	
	
	 8a Questão (Ref.: 201301708728)
	Pontos: 1,0  / 1,0
	Se num campeonato de futebol é verdade que "quem não faz, leva", ou seja, time que não marca gol numa partida sofre ao menos um gol nessa mesma partida, então:
		
	
	resultados como 1 x 0, 2 x 0 ou 3 x 0 não são possíveis.
	 
	nenhum jogo termina 0 x 0, ou seja, sem gols.
	
	nenhum jogo termina empatado.
	
	o vencedor sempre faz um gol a mais que o vencido.
	
	em todos os jogos os dois times marcam gols.
	
	
	 9a Questão (Ref.: 201301708893)
	Pontos: 0,5  / 0,5
	Negando a proposição composta: "A famosa atriz fará um filme ou terá um filho." obtemos:
		
	
	A famosa atriz fará um filme ou não terá um filho.
	
	A famosa atriz não fará um filme e terá um filho.
	
	A famosa atriz fará um filme e não terá um filho.
	
	A famosa atriz não fará um filme ou não terá um filho.
	 
	A famosa atriz não fará um filme e não terá um filho.
	
	
	 10a Questão (Ref.: 201301701431)
	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 válidos.
	
	(I) e (II) não são argumentos.
	
	O argumento (I) é válido e o argumento (II) é um sofisma.
	
	Ambos os argumentos (I) e (II) são sofismas.
	 
	O argumento (I) é um Sofisma e o argumento (II) é válido.