排中律formula_9だけでなくパースの法則formula_10や二重否定除去formula_11などがその例である。