反証の一。何らかの条件と性質について、「その条件を満たす全てのものがその性質を持っている」という主張が正しくないことを示すために持ち出される、「その条件を満たしてはいるがその性質は持たない何か」のこと。つまり、論理式 ∀x P(x) が成り立たない

続きを読む