包括一个或一个以上较短命题作为其自身的一部分的命题称为()。