記号論理学のソースを表示
←
記号論理学
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、以下のグループに属する利用者のみが実行できます:
登録利用者
。
このページは編集や他の操作ができないように保護されています。
このページのソースの閲覧やコピーができます。
'''【きごうろんりがく (symbolic logic)】''' 伝統的論理学においては言語表現による三段論法などを使って推論を行っていたが, さらなる厳密性や形式性を実現すべく, 数学的表現が開発され, ブール代数の開発や集合論の発達, さらにホワイトヘッドやラッセルなどにより記号論理学が完成された. 限定記号(任意記号や存在記号)の取り扱いが可能になり命題の分析が数学的に厳密に行われるようになった. 記号論理の1つである一階述語論理は知識工学の分野で頻繁に用いられる.
記号論理学
に戻る。
案内メニュー
個人用ツール
ログイン
名前空間
ページ
議論
変種
表示
閲覧
ソースを表示
履歴表示
その他
検索
案内
メインページ
コミュニティ・ポータル
最近の出来事
最近の更新
おまかせ表示
ヘルプ
ORWikiへのお問い合わせ
OR学会HP
OR学会アーカイブ集
ツール
リンク元
関連ページの更新状況
特別ページ
ページ情報