蕴涵理论研究——从《墨经》到《制约逻辑》
作者: 盛作国  来源:贵州大学 录入时间:2016 文献类型 :学位论文 关键词: 推理  蕴涵理论  现代逻辑 
描述:件之间必定满足充分条件关系,具有第一独立性;充分条件关系不是函数关系;推理必须满足“可以”、“需要”和“不循环”等要求;两个独立性是推理能从已知获取新知的逻辑根据;王浩教授关于蒯因NF系统和ML系统