「任意」の言い換え
例:
任意の 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) を真にする