| 论谓词逻辑推理中的量词加免法则 |
| |
| 引用本文： | 张改荣.论谓词逻辑推理中的量词加免法则[J].大学数学,1995(3). |
| |
| 作者姓名： | 张改荣 |
| |
| 作者单位： | 山东工业大学 |
| |
| 摘 要： | 对谓词逻辑推理中关于量词加免的四项法则重新进行了审定，并讨论了这些法则的使用技巧。
|
| 关 键 词： | 离散数学，数理逻辑，谓词逻辑 |
On the Rules of Addition and Emission of the Quantifier in the Predicative Logic Inference |
| |
| Zhang Gairong.On the Rules of Addition and Emission of the Quantifier in the Predicative Logic Inference[J].College Mathematics,1995(3). |
| |
| Authors: | Zhang Gairong |
| |
| Institution: | Shandong University of Technology |
| |
| Abstract: | This article is intended to diecuas the four rules of addition and omission of the quantifier in the predicative logic inference and introduce the skill of using them |
| |
| Keywords: | Discrete Mathematics Mathematical logic Predcative logic |
| 本文献已被 CNKI 等数据库收录！ |
