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

Prévia do material em texto

05/08/2021 Estácio: Alunos
https://simulado.estacio.br/alunos/ 1/4
Teste de
Conhecimento
 avalie sua aprendizagem
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:
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:
MATEMÁTICA COMPUTACIONAL
Lupa Calc.
 
 
CCT0750_A10_202003533726_V1 
Aluno: ROOSEVELT OLIVEIRA JUNIOR Matr.: 202003533726
Disc.: MATEMÁTICA COMPUTAC. 2021.3 EAD (G) / 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.
enunciado
predicado
prova
proposição
sentença
 
 
Explicação:
O enunciado apresenta a definição de prova ou demonstração.
 
2.
p (assumir, provisioramente, como falsa a conclusão Q)
p (assumir, definitivamente, como falsa a proposição P)
r (assumir, definitivamente, como verdadeira a conclusão Q)
~r (assumir, provisioriamente, como falsa a conclusão Q)
~q (assumir, provisioriamente, como falsa a conclusão Q)
 
javascript:voltar();
javascript:voltar();
javascript:diminui();
javascript:aumenta();
javascript:calculadora_on();
05/08/2021 Estácio: Alunos
https://simulado.estacio.br/alunos/ 2/4
Todas são formas de construção para a prova de um teorema, exceto:
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:
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:
 
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. 
 
3.
Demostração por indução
Demostração por conversão
Demostração por prova direta
Demostração condicional
Demostração por contradição
 
 
Explicação:
Os principais métodos de demonstração: direta, contradição, condicional e por indução;
 
4.
P V Q
~(~(P ∧ ~Q))
(P ∧ ~Q)
~(P ∧ ~Q)
~(P V ~Q)
 
 
Explicação:
P -> Q <=> ~P V Q ou, aplicando De Morgan, ~(P ∧ ~Q).
 
5.
passo de indução
princípio de indução
nenhuma das alternativas anteriores
fundamento
base
 
 
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.
05/08/2021 Estácio: Alunos
https://simulado.estacio.br/alunos/ 3/4
Assinale a ÚNICA alternativa que apresenta o conceito definido como "uma verdade inquestionável e
universalmente válida":
Teorema pode ser definido como:
Assinale a ÚNICA alternativa que NÃO apresenta um método de demonstração utilizado em Lógica Matemática:
 
6.
nenhuma das alternativas anteriores
axioma
teorema
tese
hipótese
 
 
Explicação:
O enunciado apresenta a definição de axioma (BROCHI, p. 167).
 
7.
N.D.A.
Todas as alternativas anteriores.
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.
Afirmação que pode ser demonstrada como verdadeira, por meio de outras afirmações que já foram
provadas.
 
 
Explicação:
Afirmação que pode ser demonstrada como verdadeira, por meio de outras afirmações que já foram provadas.
 
8.
redução ao infinito
prova direta
forma condicional
indução finita
redução ao absurdo
 
 
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.
javascript:abre_colabore('35037','265262009','4797823914');
05/08/2021 Estácio: Alunos
https://simulado.estacio.br/alunos/ 4/4
 Não Respondida Não Gravada Gravada
Exercício inciado em 05/08/2021 13:50:35.