代数学・幾何学・解析学スレッド

代数学・幾何学・解析学スレッドat MATH

代数学・幾何学・解析学スレッド - 暇つぶし2ch882:１３２人目の素数さん
14/01/28 02:42:37.37
・xがφの上界である、ということを∀∃を使って書いてみる

・「任意の P(x) を満たす x に対して Q(x) である」
⇔「∀x P(x) ⇒Q(x)」⇔「∀x not Q(x) ⇒ not P(x)」
はP(x)を満たす x が存在しなければ真になる

次ページ

続きを表示

1を表示