数学逻辑-三角形判定条件