六合公式就是谓词公式，是一种形式语言表达式，即形式系统中按一定规则构成的表达式。
六合公式按照模型论中一种通行习惯，语言F中的合式公式定义如下：
1、原子公式是合式公式，若φ和ψ是合式公式，则(φ∧ψ)及(ᒣφ)是六合式公式。
2、若φ是合式公式，而x是变元,则(ᗄx)φ是六合式公式；
3、有限次地应用1—3所得到的符号序列是六合式公式，合式公式有时简称公式，
4、如果一个公式φ中的自由变元都属于集合{x₁，x₂，…，xₑ}，则φ也可以记为φ(x₁，x₂，…，xₑ)。
5、不含量词、自由变元的合式公式，分别称为开公式和闭公式，后者又称语句，例如R(x，y)为开公式，ᗄxR(x)是一个语句，由原子公式及联结词∧，∨，ᗄ，∃构成语句 称为正语句。
六合公式的应用意义：
六合公式中，合数公式是二元的，可以将一元固定，形成多个公式。如个位为3的合数公式 (10i+3)k+i，按i值固定展开如下形式：
i=0：（10*0+3）k+0； 简化为3k; 计算结果为:3、6、9…
i=1： (10*1+3)k+1； 简化为13k+1;计算结果为14、27、40…
以此类推可以继续得到 23k+2、33k+3、43k+4 等等公式。这里每一个公式计算出的数据组成了一个含有无限数列项的等差数列。所有第二类个位为3的合数公式计算出的这些等差数列的数列项构成了全体个位为3的合数。
通过第二类个位为3的合数公式，得到个位为3的合数后，就为筛选个位为3的素数提供了可能。同样也可以利用其他3类合数公式筛选个位为1、7、9的素数。
若利用第一类个位为1的合数公式和第二类个位为3的合数公式共同筛选，则可以筛选出首位数字个位为1的孪生素数。如这两类合数公式共同筛选出的自然数100以内的数字是1、4、7，则表示本别加上个位后11-13；41-43；71-73是三对孪生素数。
哥德巴赫猜想(Su Bin)：(x-4)^2=3*（Na+Nb）^2+2*Na*Nb*(x-1)。设(x-4)^2=x,则x=(9+√17)/2.所以x=3*(Na+Nb)^2+(7+√17)*Na*Nb。