|
|||||
|
|
| 命题逻辑系统的型 | |
| 引用本文： | 熊明.命题逻辑系统的型[J].自然辩证法研究,2002,18(Z1):6-9. |
| 作者姓名： | 熊明 |
| 作者单位： | 华南师范欠学政法学院，广东 广州 510631 |
| 摘 要： | 本文试图澄清逻辑系统之为“演绎”或“归纳”的涵义，提出逻辑系统的“i-i型”概念(在一个具有真值集{Ti|i∈I}的逻辑语义下)。对任意I，j∈I及任何逻辑语义，我们定义了此语义的山i，j]-镜像。并证明了对任意c，d∈I，一个命题逻辑系统如果在具有真值集{Ti|i∈I}的逻辑语义下是c-c型的，那么此系统在此逻辑语义的c，d]-镜像下就是d-d型的。 |
| 关 键 词： | 逻辑系统 逻辑语义 型 演绎 归纳 |
| 文章编号： | 1000-8934-(2002)增刊-0006-04 |
Types of Propositional Logical System |
|
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |