>>149
その法則、Pとnot Pが同時に真となる系でも成立するんか。