王湘云 马雷 李娜 张庆熊

命题动态逻辑 形式逻辑 程序语言 命题逻辑 预设主项存在 词项逻辑 全称概括 自然语言 Horn逻辑 引理 一阶逻辑 类逻辑 函数 析取 相干逻辑 联结词 真理性意义 逻辑词 假值 模态词 直观集合论 语义定义 霍尔逻辑 全称归纳 形而上学 文恩图解法 SLD-归结 辖域 Prolog 弗雷格