()是指涉及一种或一种以上较短命题作为其自身一某些命题。