胡泽洪 樊明亚 彭媚娟

最大公约数 假言命题 逻辑联结词 命题联结词 语义预设 表达 符号语言 个位数 平行四边形 语言 开语句 选言肢 可兼析取 对立统一关系 简单命题 逻辑 逻辑形式 正整数 选言命题 重言式 形式逻辑 复句 维特根斯坦 对象语言 等值命题 关联词语 元语言 真值表 命题符号化 真值函项