【二元量化八式】：
1.∀x∀yR(x,y) ：对于任意一组x和y，它们满足关系R；
2.∀y∀xR(x, y)：对于任意一组y和x，它们满足关系R；
3.∀x∃yR(x,y)：对于任意x，存在y满足关系R；
4.∃y∀xR(x,y)：存在y ，对于所有 x 满足关系R；
5.∃x∀yR(x,y)：存在x ，对于所有y 满足关系R；
6.∀y∃xR(x,y)：对于任意y，存在x满足关系R；
7.∃x∃yR(x,y)：存在一组x和y，它们满足关系R；
8.∃y∃xR(x, y)：存在一组y和x，它们满足关系R。
量词顺序变换等值式：
(1). ∀x∀yR(x, y) ⇔ ∀y∀xR(x, y)
(2). ∃x∃yR(x, y) ⇔ ∃y∃xR(x, y)
推理公式：
(3) ∀x∀yP(x, y) ⇒∃x∀yP (x, y)
(4) ∃x∀yP(x, y)⇒∀y∃xP (x, y)
令x=食客，y=美食，R表示x喜欢y，则上述八式转换成日常语言展示如下：
1.所有食客喜欢所有的美食；
2.所有美食被所有食客喜欢；
3.所有食客喜欢有的美食；
4.有的美食被所有食客喜欢；
5.有的食客喜欢所有美食；
6.所有美食被有的食客喜欢；
7.有的食客喜欢有的美食；
8.有的美食被有的食客喜欢。