真假逻辑就是在逻辑上取“真”和“假”二值的逻辑体系，其运算的规则为布尔逻辑运算规则：
真与真=真
真与假=假
假与假=假
真或真=真
真或假=真

假或假=假
非真=假
非假=真
这是逻辑学的基础。
真假逻辑表明了一种看待事物的二分的观点，也就是，我们总是可以依据事物的某个特征，将事物进行在2种性质的分类，得到非此即彼的确定性的认识。
真假逻辑是一种“排除中立”的观点，认为在真与假之间，我们没有第三种中立的选择。
当然，这种“排除中立”是有条件的：就是在规定的判断方法之下。
虽然我们可以列举现实中的状态选择可能远不止只有2种状态的情况，但相应的，做状态判断的方法也会不同。
所以，不能用现实中存在“多态选择性”来否定真假二分逻辑的正确性和实用性，
实际上，真假逻辑的二分性，只是从最简判断方法产生的最简分类的方法，只是试图提供一种“最基本”的分类方法：
只要我们想到要分类，我们至少就要能先分出2类来。否则，所有的事物都是1类，我们就不要认识它们的差异了。
至于我们还可以将事物分为3类或更多的类，那只是先能分出2类的扩展应用了。
这才是真假逻辑真正的真理性所在。

问题是：对于任意的只分两类的分类方法上，其两类之间的逻辑关系都是符合布尔逻辑运算规则的吗？
或者说，我们能找到任意的二分法中，对每种具体的二分的逻辑状态语义都能找到符合布尔逻辑运算规则的合理的语义解释吗？
比如说：对于“多和少”的二分逻辑，我们能找到：
多与多=多
多与少=少
少与少=少
多或多=多
多或少=多
少或少=少
非多=少
非少=多
的合理解释吗？

诸如此类，至少还可能有“虚实、阴阳、好坏、正负、有无、增减、真实-假设...”。
也就是说，在我们在所有二分法中过滤出语义等价类之后，我们是否用“真假”在语义上来统一所有的二分法的等价类，并可以保持真假逻辑的运算规则的语义的协变性？
似乎是可以、并且不难做出检验的。我们只要把每一种二分法得到的两种逻辑语义值代入布尔运算规则，看是否能得到合理的解释，就知道“真假”是否具备全面的代表性了。
当然，对于不同的二分法的逻辑运算符，也可能需要进行一致的语义协变，才能得到合理的解释，这是允许的。
要是我们遇到不管我们进行怎样的协变解释，我们都找不到与真假逻辑一致的语义解释的话，我们就大概遇到了一种不符合真假逻辑的二分法了。这样，真假逻辑就不能具有广泛的二分法的代表性了，我们就要去寻找新的二分法逻辑的运算规则了。
我们是否能找到这样的二分法呢？
这，就是需要检验的问题。

 

在检验之前，让我们先列出真假逻辑状态及其运算符的一般性的语义解释：

真：一般来说，就是满足分类判断条件的意思。

假：一般来说，就是不满足分类判断条件的意思。

与：就是串行的必要条件要求；

或：就是并行的充分条件要求；

非：就是反向对称的条件要求。

 

现在来验证一下“多-少逻辑”是否符合真假逻辑的具体化的语义协变规则。

多：是对一个数量值，满足“通过与一个参考值进行比较，得到比参考值大”的判断条件的意思。