|
|||||
|
|
| 枚举量词与谓词演算 | |
| 引用本文： | 莫绍揆.枚举量词与谓词演算[J].数学学报,1964,14(2):218-230. |
| 作者姓名： | 莫绍揆 |
| 作者单位： | 南京大学数学系 |
| 摘 要： | <正> 枚举量词是指下列的量词:■_nxA(x)(n 级全称量词):除至多 n—1个 x 以外其余 x 全使 A(x)成立;■_nxA(x)(n级存在量词):至少有 n 个 x 使 A(x)成立;A_nxA(x)(n 级恰有量词):恰巧有 n—1个 x 使 A(x)成立. |
| 收稿时间： | 1962-11-16 |
| 修稿时间： | 1963-6-1 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《数学学报》浏览原始摘要信息 | |
| 点击此处可从《数学学报》下载免费的PDF全文 | |