Sentencia (lógica matemática)