https://orsj-ml.org/orwiki/wiki/index.php?action=history&feed=atom&title=%E5%91%BD%E9%A1%8C%E8%AB%96%E7%90%86 2026-05-28T15:33:33Z このウィキのこのページに関する変更履歴 MediaWiki 1.35.3 https://orsj-ml.org/orwiki/wiki/index.php?title=%E5%91%BD%E9%A1%8C%E8%AB%96%E7%90%86&diff=6843&oldid=prev 2007-07-20T01:38:11Z

<p>&quot;命題論理&quot; を保護しました。 [edit=sysop:move=sysop]</p> <table class="diff diff-contentalign-left diff-editfont-monospace" data-mw="interface"> <tr class="diff-title" lang="ja"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← 古い版</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">2007年7月20日 (金) 01:38時点における版</td> </tr><tr><td colspan="2" class="diff-notice" lang="ja"><div class="mw-diff-empty">(相違点なし)</div> </td></tr></table>

Orsjwiki https://orsj-ml.org/orwiki/wiki/index.php?title=%E5%91%BD%E9%A1%8C%E8%AB%96%E7%90%86&diff=4956&oldid=prev 2007-07-16T09:44:23Z

<p></p> <table class="diff diff-contentalign-left diff-editfont-monospace" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="ja"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← 古い版</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">2007年7月16日 (月) 09:44時点における版</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >1行目:</td> <td colspan="2" class="diff-lineno">1行目:</td></tr> <tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>【めいだいろんり (propositional logic)】</div></td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">'''</ins>【めいだいろんり (propositional logic)】<ins class="diffchange diffchange-inline">'''</ins></div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>真か偽のどちらか一方の値をとる言明を命題と呼び, 命題に対する正しい推論形式のことを命題論理という. 命題を&lt;math&gt;\wedge&lt;/math&gt; (連言)や&lt;math&gt;\vee&lt;/math&gt; (選言), &lt;math&gt;\neg&lt;/math&gt; (否定)などの論理記号を組み合わせることによって, 論理式が作られる. 命題論理においては, 公理系と推論規則から定理式を導く構文論と, 個々の命題の真偽と全体の論理式との真偽の関係を論ずる意味論がある. 言明が変数をもつ場合, その言明を述語と呼び一般に命題とは区別される.</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>真か偽のどちらか一方の値をとる言明を命題と呼び, 命題に対する正しい推論形式のことを命題論理という. 命題を&lt;math&gt;\wedge&lt;/math&gt; (連言)や&lt;math&gt;\vee&lt;/math&gt; (選言), &lt;math&gt;\neg&lt;/math&gt; (否定)などの論理記号を組み合わせることによって, 論理式が作られる. 命題論理においては, 公理系と推論規則から定理式を導く構文論と, 個々の命題の真偽と全体の論理式との真偽の関係を論ずる意味論がある. 言明が変数をもつ場合, その言明を述語と呼び一般に命題とは区別される.</div></td></tr> </table>

122.17.2.240 https://orsj-ml.org/orwiki/wiki/index.php?title=%E5%91%BD%E9%A1%8C%E8%AB%96%E7%90%86&diff=4830&oldid=prev 2007-07-16T06:26:57Z

<p></p> <table class="diff diff-contentalign-left diff-editfont-monospace" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="ja"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← 古い版</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">2007年7月16日 (月) 06:26時点における版</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >1行目:</td> <td colspan="2" class="diff-lineno">1行目:</td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>【めいだいろんり (propositional logic)】</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>【めいだいろんり (propositional logic)】</div></td></tr> <tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>真か偽のどちらか一方の値をとる言明を命題と呼び, 命題に対する正しい推論形式のことを命題論理という. 命題を<del class="diffchange diffchange-inline">$</del>\wedge<del class="diffchange diffchange-inline">$ </del>(連言)や<del class="diffchange diffchange-inline">$</del>\vee<del class="diffchange diffchange-inline">$ </del>(選言), <del class="diffchange diffchange-inline">$</del>\neg<del class="diffchange diffchange-inline">$ </del>(否定)などの論理記号を組み合わせることによって, 論理式が作られる. 命題論理においては, 公理系と推論規則から定理式を導く構文論と, 個々の命題の真偽と全体の論理式との真偽の関係を論ずる意味論がある. 言明が変数をもつ場合, その言明を述語と呼び一般に命題とは区別される.</div></td><td class='diff-marker'>+</td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>真か偽のどちらか一方の値をとる言明を命題と呼び, 命題に対する正しい推論形式のことを命題論理という. 命題を<ins class="diffchange diffchange-inline">&lt;math&gt;</ins>\wedge<ins class="diffchange diffchange-inline">&lt;/math&gt; </ins>(連言)や<ins class="diffchange diffchange-inline">&lt;math&gt;</ins>\vee<ins class="diffchange diffchange-inline">&lt;/math&gt; </ins>(選言), <ins class="diffchange diffchange-inline">&lt;math&gt;</ins>\neg<ins class="diffchange diffchange-inline">&lt;/math&gt; </ins>(否定)などの論理記号を組み合わせることによって, 論理式が作られる. 命題論理においては, 公理系と推論規則から定理式を導く構文論と, 個々の命題の真偽と全体の論理式との真偽の関係を論ずる意味論がある. 言明が変数をもつ場合, その言明を述語と呼び一般に命題とは区別される.</div></td></tr> </table>

122.17.2.240 https://orsj-ml.org/orwiki/wiki/index.php?title=%E5%91%BD%E9%A1%8C%E8%AB%96%E7%90%86&diff=4174&oldid=prev 2007-07-13T03:43:37Z

<p>新しいページ: &#039;【めいだいろんり (propositional logic)】 真か偽のどちらか一方の値をとる言明を命題と呼び, 命題に対する正しい推論形式のことを命...&#039;</p> <p><b>新規ページ</b></p><div>【めいだいろんり (propositional logic)】<br /> <br /> 真か偽のどちらか一方の値をとる言明を命題と呼び, 命題に対する正しい推論形式のことを命題論理という. 命題を$\wedge$ (連言)や$\vee$ (選言), $\neg$ (否定)などの論理記号を組み合わせることによって, 論理式が作られる. 命題論理においては, 公理系と推論規則から定理式を導く構文論と, 個々の命題の真偽と全体の論理式との真偽の関係を論ずる意味論がある. 言明が変数をもつ場合, その言明を述語と呼び一般に命題とは区別される.</div>

122.17.2.240