APOL 03 122818 - Raciocínio Lógico

Prévia do material em texto

Questão 1/5 - Raciocínio Lógico
O Slide 6/10 da aula 3 sugere a leitura do artigo - Capítulo 5 - Implicação Lógica do Livro Iniciciação a Lógica Matemática de Edgar Alencar Filho.
Segundo descrito neste conteúdo e Segundo a definição de implicação lógica do capítulo 1 pagina 49, em particular toda proposição impica logicamente uma:
	
	A
	contradição
	
	B
	implicação
	
	C
	idempotência
	
	D
	Tautologia
Questão 2/5 - Raciocínio Lógico
Complete a Tabela Verdade abaixo, e identifique se ela é uma tautologia, contradição ou contingência.
	
	A
	Contingência
	
	B
	Tautologia
	
	C
	Contradição
	
	D
	Contigência e Tautologia
Questão 3/5 - Raciocínio Lógico
A implicação das Proposições p e q, com as proposições compostas (p ^ q)  (p v q), nesta ordem, são consideradas implicação lógica  em qual dos cenários? 
	
	A
	então (p ^ q)  (p v q) gera uma contradição. 
	
	B
	
então (p ^ q)  (p v q) gera uma tautologia. 
Logo, (p ^ q)  (p v q)
	
	C
	então (p ^ q)  (p v q) gera uma contingência. 
	
	D
	então (p ^ q)  (p v q) não é uma proposição válida para este argumento. 
Questão 4/5 - Raciocínio Lógico
A tabela verdade abaixo,  apresentada como exemplo no Slide 4/10 da aula 3,
 
justifica o seguinte teorema:
	
	A
	Equivalência: P (p, q, r, ...)  Q (p, q, r, ...) se, e somente se,
 V [P (p, q, r, ...)] = V [Q (p, q, r, ...)] para os 2n arranjos possíveis 
de valores-verdade das p, q, r, ... proposições componentes, 
como no exemplo: p  q  ~ p v q
	
	B
	Teorema da tabela verdade da implicação
	
	C
	Teorema abstrato de P e Q
	
	D
	Tabela Verdade não expressa nenhum teorema
Questão 5/5 - Raciocínio Lógico
A Equivalência é descrita nos Slides 3 e 4/10 da aula 3 como:
Dadas as fórmulas proposicionais P (p, q, r, ..., p1, ..., pn) diz-se que todas as fórmulas são logicamente equivalentes se, e somente se, V [P (p, q, r, ...)] = V [Q (p, q, r, ...)] para quaisquer dos valores verdade das n-proposições simples componentes. 
Esta descrição é comprovada através do seguinte teorema:
	
	A
	Equivalência: P (p, q, r, ...)  Q (p, q, r, ...) se, e somente se,
 V [P (p, q, r, ...)] = V [Q (p, q, r, ...)] para os 2n arranjos 
possíveis de valores-verdade das p, q, r, ... proposições componentes. 
	
	B
	Equivalência possui o mesmo significado da implicação lógica, 
alterando apenas o conectivo lógico para 
	
	C
	Equivalência: PQ para as contradições
	
	D
	Equivalência e implicação lógica são teoremas complexos que
 utilizam diferentes conectivos lógicos
_1569613561.unknown
_1569613565.unknown
_1569613567.unknown
_1569613568.unknown
_1569613566.unknown
_1569613563.unknown
_1569613564.unknown
_1569613562.unknown
_1569613557.unknown
_1569613559.unknown
_1569613560.unknown
_1569613558.unknown
_1569613553.unknown
_1569613555.unknown
_1569613556.unknown
_1569613554.unknown
_1569613551.unknown
_1569613552.unknown
_1569613550.unknown
_1569613549.unknown