根据卢卡西维茨(Jan Lukasiewicz)的分析,亚里士多德所说的直言命题的4种基本类型,实际上奠基于如下4个表征普遍词项之间关系的命题词之上:“属于所有的”、“属...
基于108个网页-相关网页
他本人在上述研究的基础上,具体探讨卢卡西维茨(Lukasiewicz)三值逻辑系统中的公式在模型中的语义博弈,得出: 博弈语义下一个公式的真与卢卡西维茨真值表语义下的真是一致的;并指出,与经典...
基于48个网页-相关网页
依格纳茨·卢卡西维茨 Ignacy ukasiewicz
应用推荐