命題論理のソースを表示
←
命題論理
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、以下のグループに属する利用者のみが実行できます:
登録利用者
。
このページは編集や他の操作ができないように保護されています。
このページのソースの閲覧やコピーができます。
【めいだいろんり (propositional logic)】 真か偽のどちらか一方の値をとる言明を命題と呼び, 命題に対する正しい推論形式のことを命題論理という. 命題を<math>\wedge</math> (連言)や<math>\vee</math> (選言), <math>\neg</math> (否定)などの論理記号を組み合わせることによって, 論理式が作られる. 命題論理においては, 公理系と推論規則から定理式を導く構文論と, 個々の命題の真偽と全体の論理式との真偽の関係を論ずる意味論がある. 言明が変数をもつ場合, その言明を述語と呼び一般に命題とは区別される.
命題論理
に戻る。
案内メニュー
個人用ツール
ログイン
名前空間
ページ
議論
変種
表示
閲覧
ソースを表示
履歴表示
その他
検索
案内
メインページ
コミュニティ・ポータル
最近の出来事
最近の更新
おまかせ表示
ヘルプ
ORWikiへのお問い合わせ
OR学会HP
OR学会アーカイブ集
ツール
リンク元
関連ページの更新状況
特別ページ
ページ情報