apol 5 raciocinio logico nota 100

Prévia do material em texto

Questão 1/10
No Slide 3/10 da aula 6 as Equivalências Notáveis tem descrita sua utilização.
Qual das alternativas a descreve corretamente?
	
	A
	A fim de facilitar o emprego da “regra de substituição”, que podem substituir-se mutuamente onde quer que ocorram.
Você acertou!
Slide 3/10 da aula 6: 
“A fim de facilitar o emprego da “regra de substituição” damos, a seguir, uma lista de proposições equivalentes, que podem substituir-se mutuamente onde quer que ocorram.”
	
	B
	Utilizadas para notar se as equivalências lógicas são equivalentes (contraprova).
	
	C
	Para que se tenha a comprovação das equiavalências através da resolução das proposições.
	
	D
	Comprovam através da sua utilização se as proposições são negativas (contrapositivas)
Questão 2/10
Equivalências Notáveis são apresentadas em uma tabela (Slide 4/10 da aula 6). 
Qual das alternativas representa a Regra de Clavius?
	
	A
	~P -> P <=> P
Você acertou!
Slide 4/10 da aula 6
	
	B
	q v q <-> p ^ p
	
	C
	p ^ ~p -> p v q
	
	D
	Q v P -> ~P ^ Q
Questão 3/10
A Regra de Absorção, apresentada na tabela de Equivalências Notáveis (Slide 4/10 da aula 6), é representada CORRETAMENTE por qual das alternativas?
	
	A
	Q v P -> ~P ^ Q
	
	B
	q v q <-> p ^ p
	
	C
	p ^ ~p -> p v q
	
	D
	P ^ (P v Q) <=> P
P v (P ^ Q) <=> P
Você acertou!
Slide 4/10 da aula 6
Questão 4/10
No Slide 8/10 da aula 6 são definidos Argumentos. 
Qual a alternativa que representa a definição correta?
	
	A
	Argumento é a fundamentação de uma resposta a uma determinada proposição.
	
	B
	Um argumento é uma sequência de proposições entre as quais uma delas é a conclusão e as demais são premissas.
Você acertou!
Slide 8/10 da aula 6
	
	C
	Argumento é um conjunto de sentenças utilizadas para justificar a resposta
	
	D
	Os argumentos tem embasamento, afirmam e comprovam as proposições se são ou não coerentes.
Questão 5/10
As Leis de Morgan apresentadas na tabela de Equivalências Notáveis (Slide 4/10 da aula 6) são representadas CORRETAMENTE por qual das alternativas?
	
	A
	~q -> ~P ^ Q
~p -> ~Q ^ P
	
	B
	q v q <-> p ^ p
p v p <-> q ^ q
	
	C
	P ^ ~P -> P v Q
Q ^ ~Q -> Q v P
	
	D
	~(P v Q) <=> ~P ^ ~Q
~(P ^ Q) <=> ~P v ~Q
Você acertou!
Slide 4/10 da aula 6
Questão 6/10
A Dupla Negação apresentada na tabela de Equivalências Notáveis (Slide 4/10 da aula 6) é representada CORRETAMENTE por qual das alternativas?
	
	A
	~q -> ~P
	
	B
	Q~q <-> p~P
	
	C
	~P -> ~P
	
	D
	~~P <=> P
Você acertou!
Slide 4/10 da aula 6
Questão 7/10
Os argumentos válidos são apresentados como argumentos fundamentais (Slide 12/47 da aula 5). Considerando o material apresentado nas aulas, nos materiais complementares e no livro base, qual a alternativa que representa CORRETAMENTE o argumento da Simplificação (SIMP)?
	
	A
	p -> p
	
	B
	q v q -> p ^ p
	
	C
	p ^ ~p -> p v q
	
	D
	p ^ q p 
p ^ q q;
Você acertou!
Slide 12/47 da aula 5
Questão 8/10
Os argumentos válidos são apresentados como argumentos fundamentais (Slide 12/47 da aula 5). Considerando o material apresentado nas aulas, nos materiais complementares e no livro base, qual a alternativa que representa CORRETAMENTE o argumento da Absorção (ABS)?
	
	A
	p -> p
	
	B
	p  q  p  (p ^ q)
Você acertou!
Slide 12/47 da aula 5
	
	C
	p ^ ~p -> p v q
	
	D
	q v q -> p ^ p
Questão 9/10
O Modus ponens (MP) é um dos argumentos válidos (fundamentais) apresentados. (Slide 13/47 da aula 5). 
Considerando o material apresentado nas aulas, nos materiais complementares e no livro base, qual a alternativa que representa CORRETAMENTE o argumento Modus ponens (MP)?
	
	A
	p -> p
	
	B
	p  q p  (p ^ q)
	
	C
	p ^ ~p -> p v q
	
	D
	p  q
p q
Você acertou! 
(e) Modus ponens (MP) - Slide 13/47 da aula 5
Questão 10/10
O Modus tollens (MT) é um dos argumentos válidos (fundamentais) apresentados. 
(Slide 13/47 da aula 5). 
Considerando o material apresentado nas aulas, nos materiais complementares e no livro base, qual a alternativa que representa CORRETAMENTE o argumento Modus tollens (MT)?
	
	A
	p  q, ~q  ~p
Você acertou!
(f) Modus tollens (MT) - Slide 13/47 da aula 5
	
	B
	p ^ ~p -> p v q
	
	C
	p  q p  (p ^ q)
	
	D
	p -> p