Question

Assinale a alternativa que contém o método de demonstração matemática que prova teoremas do tipo p ↔q.
a. se e somente se.
b. disjunção.
c. conjunção.
d. quantificadores.
e. contrapositiva.

Answer 1

Resposta:

Letra A

Explicação passo a passo:

Esse método de prova deseja demonstrar que uma hipótese leva a uma tese se, e somente se, a tese pode comprovar a hipótese.

Answer 2

Resposta:

Assinale a ÚNICA alternativa que NÃO apresenta um método de demonstração utilizado em Lógica Matemática:

redução ao infinito

Explicação passo a passo:

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.
gabarito estacio