prova av1 8.0

Prévia do material em texto

Avaliação:
	AV1-2011.2S.EAD - LÓGICA MATEMÁTICA - CEL0482 
	Disciplina:
	CEL0482 - LÓGICA MATEMÁTICA 
	Tipo de Avaliação:
	AV1 
	Aluno:
	201101577495 - SERGIO JOSE MARINHO 
	Nota da Prova: 
	6.5
	Nota do Trabalho:      
	Nota da Participação:      1,5 
	Total:  
	8
	Prova On-Line 
	
Questão: AV2201001CEL00150112 (159357)
1 - Considere as proposições compostas: P: (pvq)→p e  Q: (pvq) e e  Podemos afirmar que  Pontos da Questão: 1 
	Nada se pode afirmar. 
	Q=> P 
	P=> Q 
	Não há implicação logica.  
	
Questão: AV120111CEL02700024 (159382)
2 - Representando a  frase em linguagem corrente "Cesar viajou de férias e Juliana ficou em casa " em linguagem logica, obtemos:  Pontos da Questão: 1 
	p v q 
	p ^ q 
	p->q 
	p<->q 
	
Questão: AV220101CEL00150050 (159313)
3 - Sabe-se que os valores lógicos das proposições p e q são respectivamente V e V. Determine os valores logicos das proposições p→~q e p↔~q, respectivamente:  Pontos da Questão: 1 
	F e F 
	F e V 
	V e F 
	V e V 
	
Questão: AV220101CEL00150178 (159377)
4 - Considere as afirmativas sobre tautologias, contradições e contingências. Podemos dizer que:  Pontos da Questão: 0,5 
	Chama-se contradição toda proposição composta em cuja última coluna da sua tabela verdade só aparece a letra F. 
	Tautologia é toda proposição composta P(p,q,r,s,...) cujo valor lógico é sempre falso, quaisquer que sejam os valores lógicos das proposições simples componentes (p,q,r,s,...).  
	Como uma tautologia é sempre verdadeira (V), a negação da tautologia é sempre falsa (F), ou seja, é uma contingência e vice versa 
	Chama-se tautologia toda proposição composta em cuja última coluna da sua tabela verdade aparecem os valores V e F cada uma pelo menos uma vez . 
	
Questão: AV220101CEL00150171 (159367)
5 - Considere as afirmativas sobre tautologias, contradições e contingências. Podemos dizer que:  Pontos da Questão: 0,5 
	Chama-se contradição toda proposição composta em cuja última coluna da sua tabela verdade só aparece a letra F. 
	Chama-se contradição toda proposição composta em cuja última coluna da sua tabela verdade aparecem os valores V e F cada uma pelo menos uma vez . 
	Tautologia é toda proposição composta P(p,q,r,s,...) cujo valor lógico é sempre falso, quaisquer que sejam os valores lógicos das proposições simples componentes (p,q,r,s,...).
	Como uma contingência é sempre verdadeira (V), a negação da contingência é sempre falsa (F), ou seja, é uma contradição e vice versa 
	
Questão: AV220101CEL00150066 (159292)
6 - Sabe-se que os valores lógicos das proposições ~p e q são respectivamenteV e V. Determine os valores logicos das proposições compostas (p^q)v ~q e (~pvq)^q, respectivamente:  Pontos da Questão: 1 
	V e V 
	F e V 
	F e F 
	V e F 
	
Questão: AV120111CEL02700002 (159411)
7 - Chamam-se conectivos palavras que são utilizadas para formar novas proposições a partir de outras, formar proposições compostas a partir de proposições simples. O valor lógico de qualquer proposição composta depende unicamente dos valores lógicos das proposições simples componentes, ficando por eles univocamente determinado. Com relação as proposições e conectivos observe as afirmativas a seguir: 
(I) Chama-se negação da proposição p, e representamos por ~p , a proposição que tem o valor lógico oposto de p.
(II) Chama-se conjunção de duas proposições “p e q“ e representamos por “p ^ q“ a proposição composta que será verdadeira apenas quando as proposições p e q forem ambas verdadeiras e falsa em todos os demais casos.
(III) 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 falsa , e a falsidade (F) nos demais casos. 
É correto afirmar que:  Pontos da Questão: 0,5 
	Todas são verdadeiras. 
	Somente (II) é verdadeira. 
	Somente (I) e (II) são verdadeiras 
	Somente (I) é verdadeira. 
	Somente (III) é verdadeira. 
	
Questão: AV220101CEL00150088 (159398)
8 - A proposição composta "(~p ^ ~q) ^ (q ^ p) é uma:  Pontos da Questão: 1 
	Contingência 
	Tautologia 
	Contradição 
	Afirmação 
	
Questão: aula 1 memo 0003 (159268)
9 - Considerando a frase em linguagem corrente " O dia está ensolarado e a viagem cansativa" e escrevendo-a em linguagem logica, obtemos: 
  Pontos da Questão: 0,5 
	p -> q 
	p <-> q 
	p ^q 
	p v q 
	
Questão: AV220101CEL00150135 (159322)
10 - A Semântica Formal tem por objetivo escrever, traduzir as sentenças da língua em uma forma lógica. Procura-se buscar um paralelismo entre os constituintes sintáticos e os componentes da forma lógica: os constituintes da sentença se transformam em predicados e argumentos lógicos. A sintaxe e as estruturas lógicas das sentenças tem uma importância enorme na construção do significado nas línguas naturais. 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: "O filme que estréia esta semana é interessante e dará uma enorme bilheteria."  Pontos da Questão: 1 
	O filme que estréia esta semana é interessante e não dará uma enorme bilheteria. 
	O filme que estréia esta semana não é interessante ou dará uma enorme bilheteria. 
	O filme que estréia esta semana não é interessante e não dará uma enorme bilheteria. 
	O filme que estréia esta semana não é interessante ou não dará uma enorme bilheteria. 
_1374510583.unknown
_1374510591.unknown
_1374510596.unknown
_1374510598.unknown
_1374510599.unknown
_1374510597.unknown
_1374510593.unknown
_1374510594.unknown
_1374510592.unknown
_1374510587.unknown
_1374510589.unknown
_1374510590.unknown
_1374510588.unknown
_1374510585.unknown
_1374510586.unknown
_1374510584.unknown
_1374510574.unknown
_1374510579.unknown
_1374510581.unknown
_1374510582.unknown
_1374510580.unknown
_1374510577.unknown
_1374510578.unknown
_1374510576.unknown
_1374510566.unknown
_1374510570.unknown
_1374510572.unknown
_1374510573.unknown
_1374510571.unknown
_1374510568.unknown
_1374510569.unknown
_1374510567.unknown
_1374510562.unknown
_1374510564.unknown
_1374510565.unknown
_1374510563.unknown
_1374510560.unknown
_1374510561.unknown
_1374510557.unknown
_1374510558.unknown
_1374510555.unknown