Tanto "n" quanto "m" pertencem ao conjuntos dos números naturais "N". Logo, devemos tentar forçar uma situação em que a sentença dada pela questão seja falsa "F":
Se (n = 0), tem-se que (m = -1). Logo, (m = -1) não pertence aos naturais "N". Portanto, a sentença dada pela questão é falsa "F", já que pode existir um "n", tal que "m" não pertença aos naturais "N".
Antes de explicas, segue o conceitos:
Quantificadores Símbolos
- ∃ = existe pelo menos um
- ∃! = Existe um ÚNICO
- ∀ = todos "Para todo"
Ainda:
N (Naturais) = Zero + Números Positivos → {0,1,2,3,4...}
Z (Interios) = N + negativos → {...-4,-3,-2,-1,0,1,2,3,4...}
----------------------------------------
(∀n ∈ N) (∃m ∈ N) (n = m + 1)
- Todo "n" é Natural
- Existe pelo menos 1 "m" que é Natural
Nesse caso, minha ideia foi criar uma situação aonde (n = m +1) não seria natural:
- n = (-4) + 1 → n = -3 | logo, como pelo menos 1 "m" é natural, existem diversas possibilidades dessa soma dar um valor negativo, contrariando o conceito de "n", que é "Todo n é Natural"
Gabarito ERRADO