换句话说，就是通过引入相应的谓词，将二元关系的性质用逻辑公式来表示。
In other words properties of binary relation are expressed by logic formulae through introduce corresponding predicate.
用特定系数法、换元法、配方法探求二元二次函数的极值公式。
The extremal formula of binary quadratic functions is studied by using method of undetermined coefficients, substitution method and method of completing the square.
本文用分式递推数列处理二元线性递推数列，得到两个性质，进而求得其通项公式。
In this paper two properties and the general term of binary recurrence sequence are obtained by using the linear fraction recurrence.
应用推荐