霍曼斯的一般命题系统是哪六个？