| 必然,可能,偶然,风马牛 |
| |
| 引用本文： | 林邦瑾.必然,可能,偶然,风马牛[J].贵州大学学报(自然科学版),1991,8(4):241-246. |
| |
| 作者姓名： | 林邦瑾 |
| |
| 作者单位： | 北京开关厂 北京，100020 |
| |
| 摘 要： | 在普通逻辑思考实际中,必然既不是1元的模态词,而且,必然与恒真的真值函数之间也并无内在联系。“A必然B”的含义为:“可独立于A、B的真值确定不会是A真而B假”,其中的“可独立于A、B的真值确定”称为“第一独立性”。“A必然B”的符号表达式为“A B”,可念作“A制约B”,其中的称为“制约号”,是2元的非正统的联结号。可能就是不必然不;偶然就是不必然且可能;“A风马牛B”的含义为“把A或 H、B或 B不论是放在前域还是后域,这之间的关系都是偶然”,故而也可称为“彻底的偶然”。容易验证,从语义上说,正统一阶谓词演算中的A B(A蕴涵B)和在其它语言中用来作为逻辑工具的“若A,则B”之间的关系是风马牛。
|
| 关 键 词： | 制约 人工智能 自然语言 |
Necessity, Possibility, Contingency, Thorough Contingency |
| |
| Lin Bangjin Beijing Switchgear Factory,Beijing.Necessity, Possibility, Contingency, Thorough Contingency[J].Journal of Guizhou University(Natural Science),1991,8(4):241-246. |
| |
| Authors: | Lin Bangjin Beijing Switchgear Factory Beijing |
| |
| Institution: | Lin Bangjin Beijing Switchgear Factory,Beijing,100020 |
| |
| Abstract: | |
| |
| Keywords: | Lin's entailment first Independence necessity thorough contingency |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
