是关系命题.关系命题类似于数学中的函数,常项(自变量),变项(因变量),关系项(值).在逻辑学中,通常用R表示关系项.用x、y、z等表示关系者变项(指论域里的任意一个对象),用a、b、c等表示关系者常项(指论域中的特定对象).