論理学/逆、裏および対偶
提供: Internet Web School
(版間での差分)
(ページの作成: 論理学 ＞ 逆、裏および対偶 == 目次 == * 逆（Wikipedia） * [[wikipedia_ja:裏_(論理学)|裏…) |
|||
| (間の1版分が非表示) | |||
| 14 行: | 14 行: | ||
P→Qの逆はQ→P、裏は￢P→￢Q、対偶は￢Q→￢Pとなる。 | P→Qの逆はQ→P、裏は￢P→￢Q、対偶は￢Q→￢Pとなる。 | ||
| - | {|class="wikitable" style="text-align:center" | + | {| border="1" class="wikitable" style="text-align:center;" |
| - | ! | + | ! P !! Q !! P→Q !! ￢P !! ￢Q !! Q→P：逆 !! ￢P→￢Q：裏 !! ￢Q→￢P：対偶 |
|- | |- | ||
|0|| 0|| 1|| 1|| 1|| 1|| 1|| 1 | |0|| 0|| 1|| 1|| 1|| 1|| 1|| 1 | ||
| 25 行: | 25 行: | ||
|1|| 1|| 1|| 0|| 0|| 1|| 1|| 1 | |1|| 1|| 1|| 0|| 0|| 1|| 1|| 1 | ||
|} | |} | ||
| - | |||
| - | |||
| - | |||
| - | |||
== CAIテスト == | == CAIテスト == | ||
*<span class="pops"> [[cai_ja:EDULOG00010009|CAIテストのページへ（新しいWindowが開きます）]] </span> | *<span class="pops"> [[cai_ja:EDULOG00010009|CAIテストのページへ（新しいWindowが開きます）]] </span> | ||
| + | |||
| + | |||
| + | |||
| + | [[en:Logic/Conversion, inversion and contraposition]] | ||
| + | [[ja:論理学/逆、裏および対偶]] | ||
2014年5月23日 (金) 04:57 時点における最新版
論理学 ＞ 逆、裏および対偶
目次
説明
以下の真理値表は、1を真、0を偽としている。
P→Qの逆はQ→P、裏は￢P→￢Q、対偶は￢Q→￢Pとなる。
| P | Q | P→Q | ￢P | ￢Q | Q→P：逆 | ￢P→￢Q：裏 | ￢Q→￢P：対偶 |
|---|---|---|---|---|---|---|---|
| 0 | 0 | 1 | 1 | 1 | 1 | 1 | 1 |
| 0 | 1 | 1 | 1 | 0 | 0 | 0 | 1 |
| 1 | 0 | 0 | 0 | 1 | 1 | 1 | 0 |
| 1 | 1 | 1 | 0 | 0 | 1 | 1 | 1 |
