「命題論理」の版間の差分
ナビゲーションに移動
検索に移動
(新しいページ: '【めいだいろんり (propositional logic)】 真か偽のどちらか一方の値をとる言明を命題と呼び, 命題に対する正しい推論形式のことを命...') |
細 ("命題論理" を保護しました。 [edit=sysop:move=sysop]) |
||
| (他の1人の利用者による、間の2版が非表示) | |||
| 1行目: | 1行目: | ||
| − | 【めいだいろんり (propositional logic)】 | + | '''【めいだいろんり (propositional logic)】''' |
| − | 真か偽のどちらか一方の値をとる言明を命題と呼び, 命題に対する正しい推論形式のことを命題論理という. 命題を | + | 真か偽のどちらか一方の値をとる言明を命題と呼び, 命題に対する正しい推論形式のことを命題論理という. 命題を<math>\wedge</math> (連言)や<math>\vee</math> (選言), <math>\neg</math> (否定)などの論理記号を組み合わせることによって, 論理式が作られる. 命題論理においては, 公理系と推論規則から定理式を導く構文論と, 個々の命題の真偽と全体の論理式との真偽の関係を論ずる意味論がある. 言明が変数をもつ場合, その言明を述語と呼び一般に命題とは区別される. |
2007年7月20日 (金) 10:38時点における最新版
【めいだいろんり (propositional logic)】
真か偽のどちらか一方の値をとる言明を命題と呼び, 命題に対する正しい推論形式のことを命題論理という. 命題を (連言)や (選言), (否定)などの論理記号を組み合わせることによって, 論理式が作られる. 命題論理においては, 公理系と推論規則から定理式を導く構文論と, 個々の命題の真偽と全体の論理式との真偽の関係を論ずる意味論がある. 言明が変数をもつ場合, その言明を述語と呼び一般に命題とは区別される.
