|
|||||
|
|
| 相干结论保留着非假值(纯语义证明) | |
| 作者姓名： | я．в．施拉姆科!俄 王靖华 |
| 摘 要： | E．K．沃伊什维洛在状态的概括描述的语义学（参见E．K．沃伊什维洛：《相干逻辑的哲学一方法论观点》，莫斯科，1988）中把对古典谓词逻辑来说相干逻辑结论的关系确定为下述形式：M在这里相干关系表示状态概括描述之集合。该语义学（作为根据“美国方案”所建构的语义学）的重要特点是使用了作为自觉的、平等的、独立的（自主的！）具有真理性的“真”（T）和“假”（F）意义。同时对于否定给出真假条件的下列定义：实际上认定义（1）可以看出，相干结论的关系具有保留其值的特点。然而可以证明（我甚至说尤其是证明，其中不使用除具有… |
| 本文献已被 CNKI 等数据库收录！ | |