谓词
更新时间:-- | 阅读量: 307

是表示一个个体的性质和两个或两个以上个体间关系的词。表示一个个体性质的词称为一元...F（x）是该谓词的命名式，表示“x是一个质数”。又如，在“△ABC和△A1B1C1相似”中的“…和…相似”是二元谓词，若用H（，）表示这个谓词，则H（△ ...

搜索到与“ 谓词”相关的文献共 3条

古典谓词归纳逻辑的构造
对照通常的古典谓词演算,我们从语形角度构造了一个古典谓词归纳演算。然后,仍然对照古典谓词演绎演算的通常语义解释,我们给出了此古典谓词归纳演算对应的"归纳语义",并通过澄清演绎语义和归纳语义的关系,我们...

《逻辑研究专辑》 2001年00期关键词: "归纳逻辑"," 古典谓词归纳演算"," 古典谓词演绎演算"," 归纳语义"," 演绎语义" 收藏
非谓语动词的命题规律及考点导向
随着近年来高考试题的改进和发展,高考中对非谓语动词的测试项目越来越广,方法也越来越活。对于中学生来说,学习非谓语动词且正确地区分它们的用法就成了一大难题。纵观历届高考试题,有关非谓语动词内容所占的比例...

《山西教育(高中文科版)》 2005年03期关键词: 收藏
吴江同里话的唯谓宾动词“让拉”及其来源
吴语吴江同里话有一个允准动词"让拉",在汉语方言包括邻近吴语中都难觅其俦。这个词表示允让,可以带谓词性成分(似普通话"让":不让进去),但是不能带名词性宾语或兼语(异于普通话"让"),是唯谓宾动词。经...

《方言》 2020年02期关键词: "吴江同里话"," 允准动词"," 唯谓宾动词"," “让拉”"," 词汇化" 收藏