A sentença "x + 3 = 7" é uma sentença aberta. Para que a sentença seja verdadeira, o valor de x deve ser: