六、"至少有一偶数是素数"与"至少有一偶数并且至少有一素数"的形式化

　　需注意两者的区别，分别形式描述为
　　(x)(A(x)∧B(x))与(x) A(x)∧(x)B(x)
　　这两个逻辑公式并不等值。
　　同样，"一切事物它或是生物或是非生物"与"或者一切事物都是生物，或者一切事物都是非生物"的形式化也是不同的，可分别形式描述为
　　(x)(A(x)∨B(x))与(x)A(x)∨(x)B(x)。这两个逻辑公式也不等值。
　　再有"一切素数都是奇数"与"若一切事物都是素数，那么一切事物都是奇数"的形式化分别是
　　(x)(A(x)→B(x))与(x)A(x)→(x)B(x)两者也不等值。