File:Logical connectives Hasse diagram.svg

此 SVG 檔案的 PNG 預覽的大小：424 × 600 像素。其他解析度：170 × 240 像素 | 339 × 480 像素 | 543 × 768 像素 | 724 × 1,024 像素 | 1,448 × 2,048 像素 | 744 × 1,052 像素。

原始檔案（SVG 檔案，表面大小：744 × 1,052 像素，檔案大小：201 KB）

說明

中文（繁體）

添加單行說明來描述出檔案所代表的內容

摘要

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 KB）	TeunSpaans（留言 \| 貢獻）	updated to newer inkscape version, hopefully alll previous issues solved
	2021年7月24日 (六) 14:14	744 × 1,052（201 KB）	Watchduck（留言 \| 貢獻）	revert to last version by myself
	2021年6月20日 (日) 14:59	744 × 1,052（193 KB）	Mechachleopteryx（留言 \| 貢獻）	widened xor symbol
	2021年6月20日 (日) 14:38	744 × 1,052（193 KB）	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 KB）	Mechachleopteryx（留言 \| 貢獻）	Reverted to version as of 19:25, 7 May 2010 (UTC)
	2021年6月20日 (日) 14:27	744 × 1,052（193 KB）	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 KB）	Mechachleopteryx（留言 \| 貢獻）	Reverted to version as of 19:25, 7 May 2010 (UTC)
	2021年6月20日 (日) 14:17	744 × 1,052（193 KB）	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 KB）	Watchduck（留言 \| 貢獻）	changed XOR sign from <math>\dot\or</math> to <math>\oplus</math>
	2009年8月24日 (一) 17:00	744 × 1,052（206 KB）	Watchduck（留言 \| 貢獻）