Admin at 08:37, 23 May 2014

Admin — Fri, 23 May 2014 08:37:41 GMT

← Older revision		Revision as of 08:37, 23 May 2014
Line 8:		Line 8:
	* [[wikipedia:Inverse_(logic)\|Inverse (logic)]]		* [[wikipedia:Inverse_(logic)\|Inverse (logic)]]
	* [[wikipedia:Contraposition\|Contraposition (logic)]]		* [[wikipedia:Contraposition\|Contraposition (logic)]]
		+
		+	== Overview ==
		+
		+	Definition of conversion, inversion and contraposition by truth table.
		+
		+	0 means false, 1 means true, and ≡ means equivalent.
		+
		+	If "P→Q" then its conversion is "Q→P", inversion is "￢P→￢Q" and contraposition is "￢Q→￢P".
		+
		+	{\| 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\|\| 1\|\| 1\|\| 1\|\| 0\|\| 0\|\| 0\|\| 1
		+	\|-
		+	\|1\|\| 0\|\| 0\|\| 0\|\| 1\|\| 1\|\| 1\|\| 0
		+	\|-
		+	\|1\|\| 1\|\| 1\|\| 0\|\| 0\|\| 1\|\| 1\|\| 1
		+	\|}

	== CAI Exercise ==		== CAI Exercise ==

Admin: Created page with 'Logic > Conversion, inversion and contraposition == Contents == * Category:Mathematical logic（Wikipedia） * [[wikipedia:Propo…'

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

Created page with 'Logic > Conversion, inversion and contraposition == Contents == * Category:Mathematical logic（Wikipedia） * [[wikipedia:Propo…'

New page

[[Logic]] > Conversion, inversion and contraposition

== Contents ==

* [[wikipedia:Category:Mathematical logic|Category:Mathematical logic（Wikipedia）]]
* [[wikipedia:Propositional_calculus|Propositional calculus]]
* [[wikipedia:Converse_(logic)|Converse (logic)]]
* [[wikipedia:Inverse_(logic)|Inverse (logic)]]
* [[wikipedia:Contraposition|Contraposition (logic)]]

== CAI Exercise ==

*[[cai_en:EDULOG00010009|Go to CAI Exercise page]]

[[en:Logic/Conversion, inversion and contraposition]]
[[ja:論理学/逆、裏および対偶]]

Logic/Conversion, inversion and contraposition - Revision history

Admin at 08:37, 23 May 2014

Admin: Created page with 'Logic > Conversion, inversion and contraposition == Contents == * Category:Mathematical logic（Wikipedia） * [[wikipedia:Propo…'