命题的基本程序