2016-10-04から1日間の記事一覧
例: 任意の x について P(x) は真である 言い換え1: あらゆる x について P(x) は真である 言い換え2: x について、P(x) は漏れ無く真である 余談 ∃x P(x) は、 x のどれかは P(x) を真にする
例: 任意の x について P(x) は真である 言い換え1: あらゆる x について P(x) は真である 言い換え2: x について、P(x) は漏れ無く真である 余談 ∃x P(x) は、 x のどれかは P(x) を真にする