2014年5月23日 (金) 04:44 における Admin による編集

Admin — Fri, 23 May 2014 04:44:38 GMT

←前の版		2014年5月23日 (金) 04:44時点における版
112 行:		112 行:

	*<span class="pops"> [[cai_ja:EDULOG00010006\|CAIテストのページへ（新しいWindowが開きます）]] </span>		*<span class="pops"> [[cai_ja:EDULOG00010006\|CAIテストのページへ（新しいWindowが開きます）]] </span>
		+
		+
		+
		+	[[en:Logic/Implication and equivalence]]
		+	[[ja:論理学/含意と同値]]

Admin: ページの作成: 論理学＞含意と同値 == 目次 == * 論理包含（Wikipedia） * [[wikipedia_ja:同値|同値（Wiki…

Admin — Wed, 23 Oct 2013 08:06:33 GMT

ページの作成: 論理学＞含意と同値 == 目次 == * 論理包含（Wikipedia） * [[wikipedia_ja:同値|同値（Wiki…

新規ページ

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

== 目次 ==

* [[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>

論理学/含意と同値 - 変更履歴

2014年5月23日 (金) 04:44 における Admin による編集

Admin: ページの作成: 論理学 ＞ 含意と同値 == 目次 == * 論理包含（Wikipedia） * [[wikipedia_ja:同値|同値（Wiki…

Admin: ページの作成: 論理学＞含意と同値 == 目次 == * 論理包含（Wikipedia） * [[wikipedia_ja:同値|同値（Wiki…