2016-10-04から1日間の記事一覧

「任意」の言い換え

例: 任意の x について P(x) は真である 言い換え1: あらゆる x について P(x) は真である 言い換え2: x について、P(x) は漏れ無く真である 余談 ∃x P(x) は、 x のどれかは P(x) を真にする