Logica Matematica AV

Prévia do material em texto

Disciplina:  LÓGICA MATEMÁTICA
	Avaliação: AV 
	Professor:
	LIANA MACHADO
	
	Nota da Prova: 6,0 de 8,0       
	
	 1a Questão (Ref.: 244782)
	Pontos: 0,0  / 1,0 
	Considere a afirmação "Não é verdade que, se Pedro está em Roma, então Paulo está em Paris" . Dê uma equivalência para a afirmação.
		
	
Resposta: 
	
Gabarito: não é verdade que "Pedro não está em Roma ou Paulo está em Paris"
		
	
	
	 2a Questão (Ref.: 34298)
	Pontos: 0,0  / 1,0 
	Observe a frase em linguagem corrente: Todos os eleitores do prefeito do pequeno lugarejo, se são esclarecidos, então são integros.
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: 
	
Gabarito: (a) Para todo x, ( p -> q )
(b) Existe x , ( p ^ ~q)
(c) Existem eleitores do prefeito do pequeno lugarejo que são esclarecidos e não são integros. 
		
	
	
	 3a Questão (Ref.: 249796)
	Pontos: 1,0  / 1,0 
	O curso de TI é composto de 10 períodos com mais de uma turma em todos os períodos. Quantos alunos, no mínimo, a coordenação deve escolher para ter certeza que na prova da ENADE haverá pelo menos dois alunos do mesmo período.
		
	
	11
	
	10
	
	2
	
	21
	
	20
		Gabarito Comentado.
	
	
	 4a Questão (Ref.: 32337)
	Pontos: 1,0  / 1,0 
	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:
		
	
	V, F, V, F, F
	
	F, V, V, F, F
	
	V, V, V, F, F
	
	V, V, V, V, F
	
	V, V, V, V, V
		
	
	
	 5a Questão (Ref.: 9597)
	Pontos: 1,0  / 1,0 
	A proposição composta "p v (p ^ ~q)" é uma:
		
	
	Sofisma
	
	Afirmação
	
	Contingência
	
	Tautologia
	
	Contradição
		Gabarito Comentado.
	
	
	 6a Questão (Ref.: 244655)
	Pontos: 1,0  / 1,0 
	Quando não vejo Carlos, não passeio ou fico deprimida. Quando chove, não passeio e fico deprimida. Quando não faz calor e passeio, não vejo Carlo. Quando não chove e estou deprimida, não passeio. Hoje, passeio. Portanto, hoje:
		
	
	Vejo Carlos, e estou deprimida, e não chove, e faz calor.
	
	vejo Carlos, e não estou deprimida, e chove, e faz calor.
	
	Vejo Carlos, e não estou deprimida, e não chove, e faz calor;
	
	Não vejo Carlos, e estou deprimida, e não chove, e não faz calor;
	
	Não vejo Carlos, e estou deprimida, e chove, e faz Calor;
		Gabarito Comentado.
	
	
	 7a Questão (Ref.: 711885)
	Pontos: 0,5  / 0,5 
	É correto afirmar que a expressão p ^ (p <--> q) é logicamente equivalente a:
		
	
	~q
	
	p
	
	p ^q
	
	q
	
	p < --> q
		Gabarito Comentado.
	
	
	 8a Questão (Ref.: 7909)
	Pontos: 0,5  / 0,5 
	Determine a recíproca da frase: ¿Se você vier amanhã, então começarei a ficar feliz hoje.¿
		
	
	Se não começar a ficar feliz hoje, então você não virá amanhã. 
	
	Se você não vier amanhã, então começarei a ficar triste hoje.
	
	Se eu não começar a ficar feliz hoje, então você virá amanhã.
	
	Se eu começar a ficar feliz hoje, então você virá amanhã.
	
	Se eu não começar a ficar feliz hoje, então você não virá amanhã.
		
	
	
	 9a Questão (Ref.: 568420)
	Pontos: 0,5  / 0,5 
	Se afino as cordas, então o instrumento soa bem. Se o instrumento soa bem, então toco muito bem. Ou não toco muito bem ou sonho acordado. Afirmo ser verdadeira a frase: não sonho acordado. Dessa forma, conclui-se que 
		
	
	toco bem acordado e dormindo.
	
	as cordas não foram afinadas.
	
	mesmo afinado o instrumento não soa bem.
	
	o instrumento afinado não soa bem.
	
	sonho dormindo.
		
	
	
	 10a Questão (Ref.: 574065)
	Pontos: 0,5  / 0,5 
	Qual é o conjunto-solução em N (conjunto dos números naturais) da seguinte sentença aberta: x - 1 < 3
		
	
	S= {-3, -2, -1, 0, 1, 2, 3}
	
	S= {0, 1, 2, 3}
	
	S= {-3, -2, -1, 1, 2, 3}
	
	S= {-1, 0, 1, 2, 3}
	
	S= {0, 1, 2, 3, 4}