命题演算 完全性定理 代数不等式 等号成立 半群代数 逻辑必然性 合式公式 著名不等式 伴随多项式 等价条件 完全正则半群 欧拉函数 加强和推广 素数 正整数 整数集 Green关系 等时 等值 正偶数 塔斯基 幂平均 自然法 逻辑等价 研究推广 则时 加强不等式 符号表示 生成子图 最大公因式