AP RACIOCÍNIO LÓGICO 23 09 2016

Prévia do material em texto

01/11/2016 AVA UNIVIRTUS
http://univirtus­277877701.sa­east­1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/1 1/12
AP (Atividade Prática)
PROTOCOLO: 201609181510683BED028MARCELO MARTINS HOLTZ - RU: 1510683 Nota: 100
Disciplina(s):
Raciocínio Lógico
Data de início: 18/09/2016 09:50
Prazo máximo entrega: - 
Data de entrega: 23/09/2016 10:51
Questão 1/15
O Slide 6/10 da aula 3 sugere a leitura do artigo ­ Capítulo 6 ­ Equivalência 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 Equivalência lógica do capítulo 1 pagina 54, defini­se que 
uma proposição P é logicamente equivalante ou apenas equivale a uma proposição Q se:
A As tabelas verdade destas duas proposições são diferentes
B P e Q são representadas por tabela verdade diferentes
C As tabelas verdade destas duas proposições são idênticas
D P e Q não são representados por tabelas verdade
Questão 2/15
Leia o texto:
...as classes de fórmulas proposicionais são caracterizadas pela “forma estrutural”, isto é, pelas estruturas 
Você acertou!
01/11/2016 AVA UNIVIRTUS
http://univirtus­277877701.sa­east­1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/1 2/12
 ­ Página 15, Raciocínio Lógico Quantitativo ­ Profª Paula Francis 
Benevides, AULA 1. 
Considerando o texto do enunciado e os conteúdos abordados em sala e no material de apoio, assinale V para a(s) 
definições de Fórmula proposicional VERDADEIRAS e F para as FALSAS. 
I. ( ) “A fórmula proposicional é composta por um único operador lógico”. 
II. ( ) “Uma fórmula proposicional é um conjunto ou série finita de termos constituída de pelo menos um operador lógico 
que incida sobre ao menos uma proposição simples componente”. 
III. ( ) “fórmula proposicional é a relação entre as letras do alfabeto e os operadores primários matemáticos de adição, 
subtração, multiplicação e divisão”. 
IV. ( ) “Conjunto de operadores matemáticos que atuam sobre os números e variáveis lógicas, que incidem sobre os 
resultados das operações”. 
Assinale a sequência correta:
A F, F, V, V
B V, V, V, V
C F, F, V, F
D F, V, F, F
Questão 3/15
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
Você acertou!
CORRETA – Apenas a alternativa II é correta como apresentado no capítulo 4.1 – RELAÇÕES ENTRE
CONECTIVOS LÓGICOS E OS OPERADORES LÓGICOS – Subcapítulo 4.1.1 DEFINIÇÃO, Raciocínio Lógico
Quantitativo ­ Profª Paula Francis Benevides, AULA 1, Página 15). As demais são incorretas

01/11/2016 AVA UNIVIRTUS
http://univirtus­277877701.sa­east­1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/1 3/12
B p   q   p   (p ^ q)
C p ^ ~p ­> p v q
D q v q ­> p ^ p
Questão 4/15
Leia o texto: 
...as classes de fórmulas proposicionais são caracterizadas pela “forma estrutural”, isto é, pelas estruturas 
Página 15, Raciocínio Lógico Quantitativo ­ Profª Paula Francis Benevides, AULA 1. 
Considerando o texto do enunciado e os conteúdos abordados em sala e no material de apoio, assinale V para a(s) 
definições de Fórmula proposicional VERDADEIRA(S) e F para a(s) FALSA(S). 
I. ( ) “A fórmula proposicional é composta por um único operador lógico”. 
II. ( ) “Uma fórmula proposicional é um conjunto ou série finita de termos constituída de pelo menos um operador lógico 
Você acertou!
Slide 12/47 da aula 5

01/11/2016 AVA UNIVIRTUS
http://univirtus­277877701.sa­east­1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/1 4/12
que incida sobre ao menos uma proposição simples componente”. 
III. ( ) “fórmula proposicional é a relação entre as letras do alfabeto e os operadores primários matemáticos de adição, 
subtração, multiplicação e divisão”. 
IV. ( ) “Conjunto de operadores matemáticos que atuam sobre os números e variáveis lógicas, que incidem sobre os 
resultados das operações”. 
Assinale a sequência correta:
A F, F, V, V
B V, V, V, V
C F, F, V, F
D F, V, F, F
Questão 5/15
Assinale a alternativa que completa a Tabela Verdade corretamente.
A F – F – V ­ F 
B F – F – F ­ F
C F – V – F ­ F 
D V – V – V ­ F 
Questão 6/15
No Slide 8/10 aula 3 é informado que:
"A tabela­verdade, com base nas regras de implicação e equivalência, traz resultados para comprovação de valores que 
podem ser considerados como:"
A novas tabelas verdade
Você acertou!
CORRETA – Apenas a alternativa II é correta como apresentado no capítulo 4.1 – RELAÇÕES ENTRE
CONECTIVOS LÓGICOS E OS OPERADORES LÓGICOS – Subcapítulo 4.1.1 DEFINIÇÃO, Raciocínio Lógico
Quantitativo ­ Profª Paula Francis Benevides, AULA 1,
Página 15).

Você acertou!
01/11/2016 AVA UNIVIRTUS
http://univirtus­277877701.sa­east­1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/1 5/12
B gerenciadores de comprovação de uma proposição.
C novas e diferentes proposições 
D método qualitativo de estudo de cálculo
Questão 7/15
Assinale a alternativa que completa a Tabela Verdade corretamente. 
A V – V – F – F – V – F – V ­ V
Você acertou!
01/11/2016 AVA UNIVIRTUS
http://univirtus­277877701.sa­east­1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/1 6/12
B V – V – V – F – F ­ F – V – V
C F – F ­ F – F – V – V – F – V
Questão 8/15
Como apresentado no Slide 3/11 da aula teórica 4,  
"O método dedutivo nos permite trabalhar com a simplificação, implicação, adição, modus ponens, modus tollens, 
silogismo disjuntivo e outras formas para:"  
Você acertou!
01/11/2016 AVA UNIVIRTUS
http://univirtus­277877701.sa­east­1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/1 7/12
A comprovar uma tautologia ou não
B implicação e equivalência lógica
C proposições concorrentes
D induzir ao resultado lógico equivalente
Questão 9/15
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)?
Você acertou!
Como apresentado no Slide 3/11 da aula teórica 4 

01/11/2016 AVA UNIVIRTUS
http://univirtus­277877701.sa­east­1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/1 8/12
A p   q, ~q   ~p
B p ^ ~p ­> p v q
C p   q  p   (p ^ q)
D p ­> p
Questão 10/15
Leia o fragmento de texto a seguir: Chama­se de negação de uma proposição p a proposição cujo valor lógico é 
verdadeiro (V) quando p é falsa e falso (F) quando p é verdadeiro. ­ Página 16, Raciocínio Lógico Quantitativo ­ Profª 
Paula Francis Benevides, AULA 1.
Considerando o texto do enunciado e os conteúdos abordados em sala e no material de apoio, a negação é 
simbolicamente representada por:
A “~ p” = negação de q
B “~ p” = til de p
C “p ~” = negação de p
D “~ p” = negação de p
Questão 11/15
ORDEM DE PRECEDÊNCIA DOS OPERADORES LÓGICOS: Em certas situações o procedimento de pareação torna a 
análise de determinadas estruturas um tanto quanto complexas, tendo em vista a demasiada concentração de 
parênteses.  
Assim, para resolver, em parte tais dificuldades convencionais se estabelecem uma ordem de precedência dos conectivos 
lógicos em que se torna desnecessária a pareação ­  
Você acertou!
(f) Modus tollens (MT) ­ Slide 13/47 da aula 5

Você acertou!
Capítulo 4.2.1 – NEGAÇÃO, Página 16, Raciocínio Lógico Quantitativo ­ Profª Paula Francis Benevides, AULA 1

01/11/2016 AVA UNIVIRTUS
http://univirtus­277877701.sa­east­1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/19/12
Página 14 , Raciocínio Lógico Quantitativo ­ Profª Paula Francis Benevides, AULA 1. 
Adotar­se­á, portanto, a seguinte ordem de precedência usual:
A
B
C
D
Questão 12/15
O Método Dedutivo apresentado no Slide 4/11 da aula teórica 4 do roteiro de estudo afirma que Implicações e 
equivalências podem ser demonstradas pelo emprego do Método Dedutivo: quando utiliza­se da substituição de:   
A operadores lógicos ^, v por 
B variáveis por conjuntos
Você acertou!
Capítulo 3.2 ORDEM DE PRECEDÊNCIA DOS OPERADORES LÓGICOS: Raciocínio Lógico Quantitativo ­ Profª
Paula Francis Benevides, AULA 1, Página 14

01/11/2016 AVA UNIVIRTUS
http://univirtus­277877701.sa­east­1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/1 10/12
C proposições simples p, q, r, t, (verdadeira) e c (falsa), que nelas figuram, são substituídas
respectivamente por proposições compostas P, Q, R, T (tautologia) e C (contradição).
D fórmulas por proposições afirmativas
Questão 13/15
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
Você acertou!
Como apresentado no slide 4/11 da aula teórica 4 

01/11/2016 AVA UNIVIRTUS
http://univirtus­277877701.sa­east­1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/1 11/12
D p ^ q  p  
p ^ q  q;
Questão 14/15
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
Você acertou!
Slide 12/47 da aula 5

01/11/2016 AVA UNIVIRTUS
http://univirtus­277877701.sa­east­1.elb.amazonaws.com/ava/web/#/ava/AvaliacaoUsuarioHistorico/99652/novo/1 12/12
D p   q
p  q
Questão 15/15
O Slide 6/10 da aula 3 sugere a leitura do artigo ­ Capítulo 6 ­ Equivalência 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 Equivalência lógica do capítulo 1 pagina 54, a equivalência 
lógica é representada pelo seguinte símbolo:
A
B
C
D <­>
Você acertou!
(e) Modus ponens (MP) ­ Slide 13/47 da aula 5

Você acertou!