たとえばA,Bを別々の命題変数として
A∧¬AとB∧¬Bは同等でない矛盾とするなら
A∧¬A∧B∧¬Bがこれらより「より矛盾」てことになって
逆に
￢(A∧￢A)と￢(B∧￢B)も同等でない「真」なら
￢(A∧￢A)∨￢(B∧￢B)は「より真」てことになるのかなと
たしか¬P∨¬Q→¬(P∧Q)は排中律も矛盾律もなく証明できたから
¬(A∧¬A∧B∧¬B)は￢(A∧￢A)∨￢(B∧￢B)よりも「より真」みたいな感じで
矛盾や「真」にも優劣というか同等性の違いが出てくるのかもと思った