12,673
回編集
差分
ナビゲーションに移動
検索に移動
編集の要約なし
たとえば、「ｘ が 3 より大きければ、xは正数である」という命題は、 標準的には次のように書ける。 すべての x について、もしも x が 3 より大きければ、x は正数である。」
( ∀x )( x > > 3 ⇒ x > > 0 )
簡略化して、
( ∀x > > 3 ) x > > 0
また、「x^2 = 2 である実数 x が存在する」という命題は、 標準的には次のように書ける。 「x は実数でかつ x^2 のような x が存在する」
© 2006 矢木浩人
