「命题函项(propositional function):带有主目空位(argument places)的 表达式;一旦为这个主目空位提供一个主目(argument),这个命题函项 就转变成为命题,因而就非...
基于40个网页-相关网页
... 命题演算 propositional calculus 命题函词;命题函数 propositional function 命题推演 propositional inference ...
基于10个网页-相关网页
basic propositional function 基本命题函数
normal propositional function 正规命题函词
以上来源于: WordNet
N → another name for open sentence
应用推荐