Métodos de Demonstração em Lógica Matemática

Prévia do material em texto

Assinale a ÚNICA alternativa que NÃO apresenta um método de demonstração utilizado em Lógica Matemática:
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:
MATEMÁTICA COMPUTACIONAL 
Lupa Calc.
 
 
Vídeo
 
PPT
 
MP3
 
CCT0750_A10_202003549347_V1 
 
Aluno: DANIELSON MACIEL DA COSTA Matr.: 202003549347
Disc.: MATEMÁTICA COMPUTAC. 2020.1 EAD (GT) / EX
 
Prezado (a) Aluno(a),
 
Você fará agora seu TESTE DE CONHECIMENTO! Lembre-se que este exercício é opcional, mas não valerá ponto para sua
avaliação. O mesmo será composto de questões de múltipla escolha.
Após responde cada questão, você terá acesso ao gabarito comentado e/ou à explicação da mesma. Aproveite para se
familiarizar com este modelo de questões que será usado na sua AV e AVS.
 
1.
redução ao absurdo
redução ao infinito
prova direta
forma condicional
indução finita
 
 
 
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.
 
 
 
 
2.
predicado
enunciado
sentença
proposição
prova
 
 
 
Explicação:
O enunciado apresenta a definição de prova ou demonstração.
 
 
javascript:voltar();
javascript:voltar();
javascript:diminui();
javascript:aumenta();
javascript:calculadora_on();
javascript:abre_frame('1','10','','','315373048');
javascript:abre_frame('2','10','','','315373048');
javascript:abre_frame('3','10','','','315373048');
Assinale a ÚNICA alternativa que apresenta o conceito definido como "uma verdade inquestionável e universalmente
válida":
Todas são formas de construção para a prova de um teorema, exceto:
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:
Teorema pode ser definido como:
 
 
3.
teorema
axioma
nenhuma das alternativas anteriores
tese
hipótese
 
 
 
Explicação:
O enunciado apresenta a definição de axioma (BROCHI, p. 167).
 
 
 
 
4.
Demostração por conversão
Demostração por indução
Demostração por contradição
Demostração condicional
Demostração por prova direta
 
 
 
Explicação:
Os principais métodos de demonstração: direta, contradição, condicional e por indução;
 
 
 
 
5.
base
nenhuma das alternativas anteriores
passo de indução
princípio de indução
fundamento
 
 
 
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.
 
 
 
 
6.
Verdade inquestionável e universalmente válida.
N.D.A.
Afirmação que pode ser demonstrada como verdadeira, por meio de outras afirmações que já foram provadas.
Processo de raciocínio lógico-dedutivo no qual, assumindo-se uma hipótese como verdadeira, deduz-se uma tese
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:
Na Demonstração Indireta ou por Contradição, que se estuda nos Métodos da Demonstração, para se provar " r
" dadas as premissas " ~p V q " , " ~r -> ~q " e " p ", após se elencar as três premissas verdadeiras, o passo de
negação da conclusão, deve ser:
(resultado) através do uso de argumentos.
Todas as alternativas anteriores.
 
 
 
Explicação:
Afirmação que pode ser demonstrada como verdadeira, por meio de outras afirmações que já foram provadas.
 
 
 
 
7.
base
passo de repetição
passo de indução
topo
passo de conclusão
 
 
 
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
 
 
 
 
8.
r (assumir, definitivamente, como verdadeira a conclusão Q)
~r (assumir, provisioriamente, como falsa a conclusão Q)
p (assumir, provisioramente, como falsa a conclusão Q)
~q (assumir, provisioriamente, como falsa a conclusão Q)
p (assumir, definitivamente, como falsa a proposição P)
 
 
 
Explicação:
Na prova por contradição, deve-se assumir uma premissa provisória, que é a negação da conclusão. Como a conclusão é r, a
falsa conclusão Q é ~r. 
 
 
 
 
 
 
 
 Não Respondida Não Gravada Gravada
 
 
Exercício inciado em 08/05/2020 16:47:45. 
 
 
 
javascript:abre_colabore('35020','191773063','3827458104');