Teste Conhecimento - Aula 10

Prévia do material em texto

MATEMÁTICA COMPUTACIONAL
10a aula
  Lupa  
   
Exercício: CCT0750_EX_A10_V1 06/10/2020
Aluno(a): 2020.3 EAD
Disciplina: CCT0750 - MATEMÁTICA COMPUTACIONAL 
 
        Questão
Teorema pode ser definido como:
  Afirmação que pode ser demonstrada como verdadeira, por meio de outras afirmações que já foram 
provadas.
Todas as alternativas anteriores.
N.D.A.
Processo de raciocínio lógico-dedutivo no qual, assumindo-se uma hipótese como verdadeira, deduz-se 
uma tese (resultado) através do uso de argumentos.
Verdade inquestionável e universalmente válida.
Respondido em 06/10/2020 12:52:31
Explicação:
Afirmação que pode ser demonstrada como verdadeira, por meio de outras afirmações que já foram provadas.
 
        Questão
Todas são formas de construção para a prova de um teorema, exceto:
Demostração condicional
  Demostração por conversão
Demostração por contradição
Demostração por prova direta
Demostração por indução
8
javascript:diminui();
javascript:aumenta();
Respondido em 06/10/2020 12:52:46
Explicação:
Os principais métodos de demonstração: direta, contradição, condicional e por indução;
 
        Questão
Sobre Métodos da Demonstração, no processo de Demonstração por Contradição, através da lei de equivalência 
referente à eliminação do condicional, pode-se afirmar que se "P => Q", então o condicional "P -> Q" é 
verdadeiro e equivale a:
~(~(P ~Q))∧
  ~(P ~Q)∧
P V Q
(P ~Q)∧
~(P V ~Q)
Respondido em 06/10/2020 12:53:13
Explicação:
P -> Q <=> ~P V Q ou, aplicando De Morgan, ~(P ~Q).∧
 
        Questão
Assinale a ÚNICA alternativa que NÃO apresenta um método de demonstração utilizado em Lógica Matemática:
forma condicional
  redução ao infinito
prova direta
redução ao absurdo
indução finita
Respondido em 06/10/2020 12:53:41
Explicação:
Os métodos de prova direta, indução finita, redução ao absurdo e forma condicional são usualmente empregados
para demonstração em Lógica Matemática.
 
        Questão
A primeira etapa do método de demonstração por indução finita consiste em mostrar que o enunciado é válido 
para o primeiro elemento do conjunto universo. A esta etapa, dá-se o nome de:
  base
princípio de indução
fundamento
nenhuma das alternativas anteriores
passo de indução
Respondido em 06/10/2020 12:54:18
Explicação:
A base é a etapa em que se mostra que o enunciado (conclusão) vale para o primeiro elemento do conjunto 
universo, normalmente n = 1.
 
        Questão
Assinale a ÚNICA alternativa que identifica a etapa do método de demonstração por indução finita em que se 
prova que se o enunciado vale para n = k, então vale também para n = k + 1:
topo
base
passo de conclusão
  passo de indução
passo de repetição
Respondido em 06/10/2020 12:54:32
Explicação:
O passo de indução da demonstração por indução finita é a etapa em que se prova que se o enunciado vale para 
n = k, então vale também para n = k + 1
 
        Questão
Assinale a ÚNICA alternativa que apresenta o conceito definido como "uma verdade inquestionável e 
universalmente válida":
nenhuma das alternativas anteriores
hipótese
teorema
  axioma
tese
Respondido em 06/10/2020 12:52:14
Explicação:
O enunciado apresenta a definição de axioma (BROCHI, p. 167).
 
        Questão
O processo de raciocínio lógico-dedutivo no qual, assumindo-se uma hipótese como verdadeira, deduz-se uma 
tese (resultado) através do uso de argumentos é também conhecido como:
enunciado
  prova
sentença
predicado
proposição
Respondido em 06/10/2020 12:54:59
Explicação:
O enunciado apresenta a definição de prova ou demonstração.