ソースを表示

[[論理学]]
＞ [[論理学/含意と同値|含意と同値]]

== 目次 ==

* [[wikipedia_ja:論理包含|論理包含（Wikipedia）]]  
* [[wikipedia_ja:同値|同値（Wikipedia）]]  

== 説明 ==

===含意（→）===

注：通常の言葉による表現は、「α→β」は、「もしαならβ」と読む。たとえば、α＝雨が降っている、β＝傘を持っていく、とすると、「α→β」は、「もし雨が降っているなら、傘を持って
いく」となる。

以下の真理値表は、1を真、0を偽としている。

P→Q≡￢P∨Q≡￢（P∧￢Q）

{| border="1" class="wikitable" style="background-color:#ddf"
! style="background:#ffdead;" |　P　
! style="background:#ffdead;" |　Q　
! style="background:#ffdead;" |　P→Q　
! style="background:#ffdead;" |　￢P　
! style="background:#ffdead;" |　￢Q　
! style="background:#ffdead;" |　￢P∨Q　
! style="background:#ffdead;" |　P∧￢Q　
! style="background:#ffdead;" |　￢（P∧￢Q）　
|-
|　0 
|　0 
|　1 
|　1 
|　1 
|　1 
|　0 
|　1 
|-
|　0 
|　1 
|　1 
|　1 
|　0 
|　1 
|　0 
|　1 
|-
|　1 
|　0 
|　0 
|　0 
|　1 
|　0 
|　1 
|　0 
|-
|　1 
|　1 
|　1 
|　0 
|　0 
|　1 
|　0 
|　1 
|-
|}


===同値（⇔）===

P⇔Q≡（P→Q）∧（Q→P）

{| border="1" class="wikitable" style="background-color:#ddf"
! style="background:#ffdead;" |　P　
! style="background:#ffdead;" |　Q　
! style="background:#ffdead;" |　P⇔Q　
! style="background:#ffdead;" |　P→Q　
! style="background:#ffdead;" |　Q→P　
! style="background:#ffdead;" |　（P→Q）∧（Q→P）　
|-
|　0 
|　0 
|　1 
|　1 
|　1 
|　1 
|-
|　0 
|　1 
|　0 
|　1 
|　0 
|　0 
|-
|　1 
|　0 
|　0 
|　0 
|　1 
|　0 
|-
|　1 
|　1 
|　1 
|　1 
|　1 
|　1 
|-
|}

== CAIテスト  ==

*<span class="pops"> [[cai_ja:EDULOG00010006|CAIテストのページへ（新しいWindowが開きます）]] </span>



[[en:Logic/Implication and equivalence]]
[[ja:論理学/含意と同値]]