ファイル:Logical connectives Hasse diagram.svg

元のファイル ‎(SVG ファイル、744 × 1,052 ピクセル、ファイルサイズ: 201キロバイト)

このファイルは、ウィキメディア・コモンズから呼び出されています。
このファイルは、他のプロジェクトで使用されている可能性があります。
このファイルの解説やノートへの記入、履歴などの詳細の確認は、ウィキメディア・コモンズのファイルページ（ノート/履歴/ログ）を使用してください。

ウィキメディア・コモンズのファイルページにある説明を、以下に表示します。

概要

Rhombic dodecahedron:

Logical connectives:


(Logical connectives table and Hasse diagram)

解説

English: The sixteen logical connectives ordered in a Hasse diagram. They are represented by:

logical formulas
the 16 elements of V₄ = P^4({})
Venn diagrams

The nodes are connected like the vertices of a 4 dimensional cube. The light blue edges form a rhombic dodecahedron - the convex hull of the tesseract's vertex-first shadow in 3 dimensions.

中文：這十六個逻辑运算符排列在一个哈斯圖裡面。他们代表：

逻辑公式
16個V₄的元素 = P^4({})
文氏图

节点像四維超正方體的顶点那样连接。浅蓝色边缘形成菱形十二面體——三维阴影中冪集的第一个顶点的凸殼。

This SVG was created with Inkscape.

日付

2009年5月15日

原典

投稿者自身による著作物

作者

Watchduck
You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".

許可
(ファイルの再利用)

この著作物の著作権者である私は、この著作物における権利を放棄しパブリックドメインとします。これは全世界で適用されます。
一部の国では、これが法的に可能ではない場合があります。その場合は、次のように宣言します。
私は、あらゆる人に対して、法により必要とされている条件を除き、如何なる条件も課すことなく、あらゆる目的のためにこの著作物を使用する権利を与えます。

その他のバージョン

Printable versions:

ファイルの履歴

過去の版のファイルを表示するには、その版の日時をクリックしてください。

	日付と時刻	寸法	利用者	コメント
現在の版	2023年2月13日 (月) 14:17	744 × 1,052 (201キロバイト)	TeunSpaans	updated to newer inkscape version, hopefully alll previous issues solved
	2021年7月24日 (土) 14:14	744 × 1,052 (201キロバイト)	Watchduck	revert to last version by myself
	2021年6月20日 (日) 14:59	744 × 1,052 (193キロバイト)	Mechachleopteryx	widened xor symbol
	2021年6月20日 (日) 14:38	744 × 1,052 (193キロバイト)	Mechachleopteryx	changed xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign.
	2021年6月20日 (日) 14:33	744 × 1,052 (201キロバイト)	Mechachleopteryx	Reverted to version as of 19:25, 7 May 2010 (UTC)
	2021年6月20日 (日) 14:27	744 × 1,052 (193キロバイト)	Mechachleopteryx	changed xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign.
	2021年6月20日 (日) 14:24	744 × 1,052 (201キロバイト)	Mechachleopteryx	Reverted to version as of 19:25, 7 May 2010 (UTC)
	2021年6月20日 (日) 14:17	744 × 1,052 (193キロバイト)	Mechachleopteryx	changed xor sign to /nleftrightarrow, changed truth and false to bottom and top. changed not to logical not sign.
	2010年5月7日 (金) 19:25	744 × 1,052 (201キロバイト)	Watchduck	changed XOR sign from <math>\dot\or</math> to <math>\oplus</math>
	2009年8月24日 (月) 17:00	744 × 1,052 (206キロバイト)	Watchduck