2014/09/09visibility_off

全称と存在を理解する時、foreach で考えれば分かりやすいと思った。 例えば ∀x∈A f(x) みたいな論理式があったとすると、 bool flag = true; foeach (x in A) flag |= f(x); ∃x∈A f(x) は bool flag = false;