a) forall n forall m (n + 1 > m)
b) forall n exists m (n + 1 > m)
c) ∃n ∀m(n+1>m)
d) ∀n ∀m(n, m) pares n + m par)
e) ∀n ∀m (n + m) par n, m pares )
f) ∀ m ∃ n(n m) é ímpar)
g) ∀ m ∃ n(n m) é par)
h) forall m existe n ( m^2 = n )
i) ∀m ∃n (n^2 = m)

Passo 1

Passo

Exercícios relacionados