「限量子」の版間の差分

削除された内容 追加された内容
MoreNet (会話 | 投稿記録)
編集の要約なし
MoreNet (会話 | 投稿記録)
m編集の要約なし
1行目:
*[[数理論理学]]の[[述語論理]]において、以下の2種類の限量子がある。[[量化]]も参照。限定記号、限量記号とも呼ばれる
**[[全称限量子]](∀) - 全てが対象であると修飾
**[[存在限量子]](∃) - 対象が1つ以上存在すると修飾