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