Aula 10: Métodos de demonstração

Prévia do material em texto

1.
predicado
prova
sentença
enunciado
proposição
 
2.
prova direta
indução finita
redução ao infinito
forma condicional
redução ao absurdo
 
3.
p (assumir, provisioramente, como falsa a conclusão Q)
p (assumir, definitivamente, como falsa a proposição P)
~r (assumir, provisioriamente, como falsa a conclusão Q)
~q (assumir, provisioriamente, como falsa a conclusão Q)
r (assumir, definitivamente, como verdadeira a conclusão Q)
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:
Assinale a ÚNICA alternativa que NÃO apresenta um método de demonstração utilizado em 
Lógica Matemática:
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:
https://simulado.estacio.br/bdq_simulados_exercicio.asp#
https://simulado.estacio.br/bdq_simulados_exercicio.asp#
https://simulado.estacio.br/bdq_simulados_exercicio.asp#
 
4.
P V Q
~(P V ~Q)
~(P ∧ ~Q)
(P ∧ ~Q)
~(~(P ∧ ~Q))
Explicação:
P -> Q  <=> ~P V Q ou, aplicando De Morgan, ~(P ∧ ~Q).
 
5.
princípio de indução
fundamento
nenhuma das alternativas anteriores
passo de indução
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.
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:
https://simulado.estacio.br/bdq_simulados_exercicio.asp#
https://simulado.estacio.br/bdq_simulados_exercicio.asp#
6.
teorema
axioma
hipótese
nenhuma das alternativas anteriores
tese
7.
N.D.A.
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.
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.
Todas as alternativas anteriores.
 
8.
Demostração por prova direta
Demostração por indução
Demostração condicional
Demostração por contradição
Demostração por conversão
Assinale a ÚNICA alternativa que apresenta o conceito definido como "uma verdade 
inquestionável e universalmente válida":
Teorema pode ser definido como:
Todas são formas de construção para a prova de um teorema, exceto:
https://simulado.estacio.br/bdq_simulados_exercicio.asp#
https://simulado.estacio.br/bdq_simulados_exercicio.asp#
https://simulado.estacio.br/bdq_simulados_exercicio.asp#
1.
topo
passo de conclusão
passo de indução
base
passo de repetição
2.
sentença
proposição
predicado
prova
enunciado
3.
prova direta
redução ao infinito
forma condicional
indução finita
redução ao absurdo
4.
~(P V ~Q)
~(P ∧ ~Q)
~(~(P ∧ ~Q))
(P ∧ ~Q)
P V Q
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:
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:
Assinale a ÚNICA alternativa que NÃO apresenta um método de demonstração utilizado em Lógica Matemática:
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:
https://simulado.estacio.br/bdq_simulados_exercicio.asp#
https://simulado.estacio.br/bdq_simulados_exercicio.asp#
https://simulado.estacio.br/bdq_simulados_exercicio.asp#
https://simulado.estacio.br/bdq_simulados_exercicio.asp#
5.
base
passo de indução
fundamento
nenhuma das alternativas anteriores
princípio de indução
6.
axioma
tese
hipótese
nenhuma das alternativas anteriores
teorema
7.
r (assumir, definitivamente, como verdadeira a conclusão Q)
~q (assumir, provisioriamente, como falsa a conclusão Q)
p (assumir, definitivamente, como falsa a proposição P)
~r (assumir, provisioriamente, como falsa a conclusão Q)
p (assumir, provisioramente, como falsa a conclusão Q)
8.
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.
N.D.A.
Todas as alternativas anteriores.
Afirmação que pode ser demonstrada como verdadeira, por meio de outras afirmações que já foram provadas.
Verdade inquestionável e universalmente válida.
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:
Assinale a ÚNICA alternativa que apresenta o conceito definido como "uma verdade inquestionável e universalmente 
válida":
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:
Teorema pode ser definido como:
https://simulado.estacio.br/bdq_simulados_exercicio.asp#
https://simulado.estacio.br/bdq_simulados_exercicio.asp#
https://simulado.estacio.br/bdq_simulados_exercicio.asp#
https://simulado.estacio.br/bdq_simulados_exercicio.asp#