由逻辑常项和逻辑变项两部分构成 逻辑变项可以分为主项和谓项,其中主项(S表示)是指我们要判定和研究的对象,谓项(P表示)是将要判定的结果对象。例如所有的哺乳动物是动物。这里的逻辑主项是哺乳动物(研究对象),逻辑谓项是"动物"。