徐少贤

复合命题 二阶逻辑 概念词 普通选言判断 析取 正蕴涵BCK代数 逻辑命题 代数运算 学习方式 对立统一关系 判断 当且仅当 简易逻辑 合取 简单命题 相容选言判断 数理逻辑 蕴涵 逻辑等价 不相容 弗雷格 否定 命题符号化 否定调 负判断