http://ja.iwschool.org/wiki/index.php?action=history&feed=atom&title=%E8%AB%96%E7%90%86%E5%AD%A6%2F%E9%80%86%E3%80%81%E8%A3%8F%E3%81%8A%E3%82%88%E3%81%B3%E5%AF%BE%E5%81%B6 論理学/逆、裏および対偶 - 変更履歴 2026-04-18T11:59:57Z このウィキのこのページに関する変更履歴 MediaWiki 1.15.4 http://ja.iwschool.org/wiki/index.php?title=%E8%AB%96%E7%90%86%E5%AD%A6/%E9%80%86%E3%80%81%E8%A3%8F%E3%81%8A%E3%82%88%E3%81%B3%E5%AF%BE%E5%81%B6&diff=3352&oldid=prev 2014年5月23日 (金) 04:48 における Admin による編集 2014-05-23T04:48:23Z <p></p> <table style="background-color: white; color:black;"> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←前の版</td> <td colspan='2' style="background-color: white; color:black;">2014年5月23日 (金) 04:48時点における版</td> </tr> <tr><td colspan="2" class="diff-lineno">29 行:</td> <td colspan="2" class="diff-lineno">29 行:</td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*&lt;span class=&quot;pops&quot;&gt; [[cai_ja:EDULOG00010009|CAIテストのページへ（新しいWindowが開きます）]] &lt;/span&gt;</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*&lt;span class=&quot;pops&quot;&gt; [[cai_ja:EDULOG00010009|CAIテストのページへ（新しいWindowが開きます）]] &lt;/span&gt;</div></td></tr> <tr><td colspan="2">&nbsp;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&nbsp;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&nbsp;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td colspan="2">&nbsp;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[[en:Logic/Conversion, inversion and contraposition]]</ins></div></td></tr> <tr><td colspan="2">&nbsp;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">[[ja:論理学/逆、裏および対偶]]</ins></div></td></tr> <!-- diff generator: internal 2026-04-18 11:59:57 --> </table> Admin http://ja.iwschool.org/wiki/index.php?title=%E8%AB%96%E7%90%86%E5%AD%A6/%E9%80%86%E3%80%81%E8%A3%8F%E3%81%8A%E3%82%88%E3%81%B3%E5%AF%BE%E5%81%B6&diff=3301&oldid=prev 2013年10月23日 (水) 08:24 における Admin による編集 2013-10-23T08:24:06Z <p></p> <table style="background-color: white; color:black;"> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">←前の版</td> <td colspan='2' style="background-color: white; color:black;">2013年10月23日 (水) 08:24時点における版</td> </tr> <tr><td colspan="2" class="diff-lineno">14 行:</td> <td colspan="2" class="diff-lineno">14 行:</td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>P→Qの逆はQ→P、裏は￢P→￢Q、対偶は￢Q→￢Pとなる。</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>P→Qの逆はQ→P、裏は￢P→￢Q、対偶は￢Q→￢Pとなる。</div></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>{|class=&quot;wikitable&quot; style=&quot;text-align:center&quot;</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>{| <ins class="diffchange diffchange-inline">border=&quot;1&quot; </ins>class=&quot;wikitable&quot; style=&quot;text-align:center<ins class="diffchange diffchange-inline">;</ins>&quot;</div></td></tr> <tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div>!<del class="diffchange diffchange-inline">P</del>!!<del class="diffchange diffchange-inline">Q</del>!!<del class="diffchange diffchange-inline">P→Q</del>!!<del class="diffchange diffchange-inline">￢P</del>!!<del class="diffchange diffchange-inline">￢Q</del>!!<del class="diffchange diffchange-inline">Q→P：逆</del>!!<del class="diffchange diffchange-inline">￢P→￢Q：裏</del>!!<del class="diffchange diffchange-inline">￢Q→￢P：対偶</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>!<ins class="diffchange diffchange-inline">　P　</ins>!!<ins class="diffchange diffchange-inline">　Q　</ins>!!<ins class="diffchange diffchange-inline">　P→Q　</ins>!!<ins class="diffchange diffchange-inline">　￢P　</ins>!!<ins class="diffchange diffchange-inline">　￢Q　</ins>!!<ins class="diffchange diffchange-inline">　Q→P：逆　</ins>!!<ins class="diffchange diffchange-inline">　￢P→￢Q：裏　</ins>!!<ins class="diffchange diffchange-inline">　￢Q→￢P：対偶　</ins></div></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>|-</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>|-</div></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>|0|| 0|| 1|| 1|| 1|| 1|| 1|| 1</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>|0|| 0|| 1|| 1|| 1|| 1|| 1|| 1</div></td></tr> <tr><td colspan="2" class="diff-lineno">25 行:</td> <td colspan="2" class="diff-lineno">25 行:</td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>|1|| 1|| 1|| 0|| 0|| 1|| 1|| 1</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>|1|| 1|| 1|| 0|| 0|| 1|| 1|| 1</div></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>|}</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>|}</div></td></tr> <tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;"></del></div></td><td colspan="2">&nbsp;</td></tr> <tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">*必要条件：α→βの場合、βはαであるための必要条件</del></div></td><td colspan="2">&nbsp;</td></tr> <tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">*十分条件：α→βの場合、αはβであるための十分条件</del></div></td><td colspan="2">&nbsp;</td></tr> <tr><td class='diff-marker'>-</td><td style="background: #ffa; color:black; font-size: smaller;"><div><del style="color: red; font-weight: bold; text-decoration: none;">*必要十分条件（または同値）：α⇔βのの場合、α（β）はβ（α）の必要十分条件</del></div></td><td colspan="2">&nbsp;</td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>== CAIテスト&nbsp; ==</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>== CAIテスト&nbsp; ==</div></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*&lt;span class=&quot;pops&quot;&gt; [[cai_ja:EDULOG00010009|CAIテストのページへ（新しいWindowが開きます）]] &lt;/span&gt;</div></td><td class='diff-marker'> </td><td style="background: #eee; color:black; font-size: smaller;"><div>*&lt;span class=&quot;pops&quot;&gt; [[cai_ja:EDULOG00010009|CAIテストのページへ（新しいWindowが開きます）]] &lt;/span&gt;</div></td></tr> <!-- diff generator: internal 2026-04-18 11:59:57 --> </table> Admin http://ja.iwschool.org/wiki/index.php?title=%E8%AB%96%E7%90%86%E5%AD%A6/%E9%80%86%E3%80%81%E8%A3%8F%E3%81%8A%E3%82%88%E3%81%B3%E5%AF%BE%E5%81%B6&diff=3300&oldid=prev Admin:&#32;ページの作成: 論理学 ＞ 逆、裏および対偶 == 目次 == * 逆（Wikipedia） * [[wikipedia_ja:裏_(論理学)|裏… 2013-10-23T08:21:45Z <p>ページの作成: <a href="/wiki/%E8%AB%96%E7%90%86%E5%AD%A6" title="論理学">論理学</a> ＞ <a href="/wiki/%E8%AB%96%E7%90%86%E5%AD%A6/%E9%80%86%E3%80%81%E8%A3%8F%E3%81%8A%E3%82%88%E3%81%B3%E5%AF%BE%E5%81%B6" title="論理学/逆、裏および対偶">逆、裏および対偶</a> == 目次 == * <a href="http://ja.wikipedia.org/wiki/%E9%80%86" class="extiw" title="wikipedia ja:逆">逆（Wikipedia）</a> * [[wikipedia_ja:裏_(論理学)|裏…</p> <p><b>新規ページ</b></p><div>[[論理学]]<br /> ＞ [[論理学/逆、裏および対偶|逆、裏および対偶]]<br /> <br /> == 目次 ==<br /> <br /> * [[wikipedia_ja:逆|逆（Wikipedia）]] <br /> * [[wikipedia_ja:裏_(論理学)|裏（Wikipedia）]] <br /> * [[wikipedia_ja:対偶_(論理学)|対偶（Wikipedia）]] <br /> <br /> == 説明 ==<br /> <br /> 以下の真理値表は、1を真、0を偽としている。<br /> <br /> P→Qの逆はQ→P、裏は￢P→￢Q、対偶は￢Q→￢Pとなる。<br /> <br /> {|class=&quot;wikitable&quot; style=&quot;text-align:center&quot;<br /> !P!!Q!!P→Q!!￢P!!￢Q!!Q→P：逆!!￢P→￢Q：裏!!￢Q→￢P：対偶<br /> |-<br /> |0|| 0|| 1|| 1|| 1|| 1|| 1|| 1<br /> |-<br /> |0|| 1|| 1|| 1|| 0|| 0|| 0|| 1<br /> |-<br /> |1|| 0|| 0|| 0|| 1|| 1|| 1|| 0<br /> |-<br /> |1|| 1|| 1|| 0|| 0|| 1|| 1|| 1<br /> |}<br /> <br /> *必要条件：α→βの場合、βはαであるための必要条件<br /> *十分条件：α→βの場合、αはβであるための十分条件<br /> *必要十分条件（または同値）：α⇔βのの場合、α（β）はβ（α）の必要十分条件<br /> <br /> == CAIテスト ==<br /> <br /> *&lt;span class=&quot;pops&quot;&gt; [[cai_ja:EDULOG00010009|CAIテストのページへ（新しいWindowが開きます）]] &lt;/span&gt;</div> Admin