File:Logical connectives Hasse diagram.svg

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Full resolution‎ (SVG file, nominally 744 × 1,052 pixels, file size: 201 KB)

[edit] Beschreibung

Rhombic dodecahedron:
Hypercubeorder.svg


Logical connectives:

input A input B output f(A,B) X and ¬X A and B ¬A and B B A and ¬B A A xor B A or B ¬A and ¬B A xnor B ¬A ¬A or B ¬B A or ¬B ¬A or ¬B X or ¬XLogical connectives table.svg
X or ¬X ¬A or ¬B A or ¬B ¬A or B A or B ¬B ¬A A xor B A xnor B A B ¬A and ¬B A and ¬B ¬A and B A and B X and ¬XLogical connectives Hasse diagram.svg
(Logical connectives table and Hasse diagram)


Description
English: The sixteen logical connectives ordered in a Hasse diagram. They are represented by: 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.
Deutsch: Die sechzehn Junktoren der Aussagenlogik in einem Hasse-Diagramm angeordnet - repräsentiert durch:
  • logische Formeln
  • mengentheoretische Definitionen durch die Elemente von V4 = P^4({})
  • Venn-Diagramme
Inkscape Logo.svg
 This vector image was created with Inkscape.
Date 2009-May-15
Source Own work
Author Tilman Piesk
alias Lipedia
Other versions

Adobe PDF Icon.svg Printable versions:

See also:


[edit] Licensing:

Public domain I, the copyright holder of this work, release this work into the public domain. This applies worldwide.
In some countries this may not be legally possible; if so:
I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current19:25, 7 May 2010Thumbnail for version as of 19:25, 7 May 2010744 × 1,052 (201 KB)Lipediachanged XOR sign from <math>\dot\or</math> to <math>\oplus</math>
17:00, 24 August 2009Thumbnail for version as of 17:00, 24 August 2009744 × 1,052 (206 KB)Lipedia
15:27, 27 May 2009Thumbnail for version as of 15:27, 27 May 2009744 × 1,052 (280 KB)Lipedia
18:45, 15 May 2009Thumbnail for version as of 18:45, 15 May 2009744 × 1,052 (248 KB)Lipedia{{Information |Description={{en|1=The sixteen logical connectives ordered in a Hasse diagram. * logical formulas * set theoretic definitions by subsets of P^3(w:en:empty set[[w:e

More than 100 pages link to this file. The following list shows the first 100 page links to this file only. A full list is available.

Global file usage

Metadata

This file contains additional information, probably added from the digital camera or scanner used to create or digitize it. If the file has been modified from its original state, some details may not fully reflect the modified file.
Width 744
Height 1052
Retrieved from "http://en.wikipedia.org/wiki/File:Logical_connectives_Hasse_diagram.svg"
Personal tools
Namespaces

Variants
Views
Actions
Navigation
Interaction
Toolbox