原始命题相关论文
莱布尼兹的可能世界与现实或存在的关系,是在限定的"必然的实体中"讨论的.而演绎逻辑是从真前提到真结论之间具有必然性的,欧几里......
本文对公理系统中的原始命题进行了初步的探讨。原始命题之间的涵是一种纯形式蕴涵,它与一般实质蕴函的区别是,纯形式蕴涵具有非传递......