12,673
回編集
差分
ナビゲーションに移動
検索に移動
編集の要約なし
==[[関係計算]]==
====述語論理====
====作用素 (quantifier)====
次の２つの表現を表す演算を作用素という。 これらは x を含む文章の前におかれて、真か偽の新しい命題を作るを含む[[文章]]の前におかれて、真か偽の新しい命題を作る
=====全称作用素=====
また、「x^2 = 2 である実数 x が存在する」という命題は、 標準的には次のように書ける。 「x は実数でかつ x^2 のような x が存在する」
( ∃ x )( x ∈ [[R ]] ∧ x^2 = 2 ）
簡略化して、
( ∃ x ∈ [[R ]] ) x^2 = 2
© 2006 矢木浩人
