File:Concertina cube graph.svg
Original file (SVG file, nominally 673 × 651 pixels, file size: 177 KB)
Captions
Summary
[edit]DescriptionConcertina cube graph.svg |
Implications between the A000629(3) = 26 statements with 3 variables in first-order logic The formulas are represented by ordered set partitions. Black stands for the universal quantifier, red for the existential one. The basic structure of this Graph is like the cube shown on the right.
|
||
Date | |||
Source | Own work | ||
Author |
|
||
Other versions |
Licensing
[edit]Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled GNU Free Documentation License.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue |
- You are free:
- to share – to copy, distribute and transmit the work
- to remix – to adapt the work
- Under the following conditions:
- attribution – You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 22:20, 27 June 2013 | 673 × 651 (177 KB) | Watchduck (talk | contribs) | {{Information |Description ={{en|1=.}} |Source ={{own}} |Author =Mate2code |Date = |Permission = |other_versions = }} |
You cannot overwrite this file.
File usage on Commons
The following 82 pages use this file:
- Hasse diagram
- User:Watchduck
- User:Watchduck/list
- File:Concertina cube Hasse diagram.png
- File:Concertina cube graph; pairs.svg
- File:Predicate logic; 3 variables; a(12)3.png
- File:Predicate logic; 3 variables; a1e(23).png
- File:Predicate logic; 3 variables; a1e2a3.png
- File:Predicate logic; 3 variables; e12a3.png
- File:Predicate logic; 3 variables; implications lattice; ordered partitions.svg (file redirect)
- User:Watchduck
- Hasse diagram
- Category:Concertina cube
- File:Concertina cube graph; pairs.svg
- File:Predicate logic; 3 variables; ordered partition a123.svg
- File:Predicate logic; 3 variables; ordered partition a12e3.svg
- File:Predicate logic; 3 variables; ordered partition a13e2.svg
- File:Predicate logic; 3 variables; ordered partition a1e23.svg
- File:Predicate logic; 3 variables; ordered partition a1e2a3.svg
- File:Predicate logic; 3 variables; ordered partition a1e3a2.svg
- File:Predicate logic; 3 variables; ordered partition a23e1.svg
- File:Predicate logic; 3 variables; ordered partition a2e13.svg
- File:Predicate logic; 3 variables; ordered partition a2e1a3.svg
- File:Predicate logic; 3 variables; ordered partition a2e3a1.svg
- File:Predicate logic; 3 variables; ordered partition a3e12.svg
- File:Predicate logic; 3 variables; ordered partition a3e1a2.svg
- File:Predicate logic; 3 variables; ordered partition a3e2a1.svg
- File:Predicate logic; 3 variables; ordered partition e123.svg
- File:Predicate logic; 3 variables; ordered partition e12a3.svg
- File:Predicate logic; 3 variables; ordered partition e13a2.svg
- File:Predicate logic; 3 variables; ordered partition e1a23.svg
- File:Predicate logic; 3 variables; ordered partition e1a2e3.svg
- File:Predicate logic; 3 variables; ordered partition e1a3e2.svg
- File:Predicate logic; 3 variables; ordered partition e23a1.svg
- File:Predicate logic; 3 variables; ordered partition e2a13.svg
- File:Predicate logic; 3 variables; ordered partition e2a1e3.svg
- File:Predicate logic; 3 variables; ordered partition e2a3e1.svg
- File:Predicate logic; 3 variables; ordered partition e3a12.svg
- File:Predicate logic; 3 variables; ordered partition e3a1e2.svg
- File:Predicate logic; 3 variables; ordered partition e3a2e1.svg
- Template:Predicate logic; 3 variables; single; ordered partitions
- Template:Predicate logic; 3 variables; single; all representations
- File:Predicate logic; 3 variables; e12a3.png
- File:Predicate logic; 3 variables; a1e(23).png
- File:Predicate logic; 3 variables; a1e2a3.png
- File:Predicate logic; 3 variables; a(12)3.png
- User:Watchduck/list
- File:Ranks in concertina cube.svg
- File:Concertina cube Hasse diagram.png
- File:Predicate logic; 3 variables; implications lattice; weak orderings.svg (file redirect)
- File:Predicate logic; 3 variables; ordered partition a123.svg
- File:Predicate logic; 3 variables; ordered partition a12e3.svg
- File:Predicate logic; 3 variables; ordered partition a13e2.svg
- File:Predicate logic; 3 variables; ordered partition a1e23.svg
- File:Predicate logic; 3 variables; ordered partition a1e2a3.svg
- File:Predicate logic; 3 variables; ordered partition a1e3a2.svg
- File:Predicate logic; 3 variables; ordered partition a23e1.svg
- File:Predicate logic; 3 variables; ordered partition a2e13.svg
- File:Predicate logic; 3 variables; ordered partition a2e1a3.svg
- File:Predicate logic; 3 variables; ordered partition a2e3a1.svg
- File:Predicate logic; 3 variables; ordered partition a3e12.svg
- File:Predicate logic; 3 variables; ordered partition a3e1a2.svg
- File:Predicate logic; 3 variables; ordered partition a3e2a1.svg
- File:Predicate logic; 3 variables; ordered partition e123.svg
- File:Predicate logic; 3 variables; ordered partition e12a3.svg
- File:Predicate logic; 3 variables; ordered partition e13a2.svg
- File:Predicate logic; 3 variables; ordered partition e1a23.svg
- File:Predicate logic; 3 variables; ordered partition e1a2e3.svg
- File:Predicate logic; 3 variables; ordered partition e1a3e2.svg
- File:Predicate logic; 3 variables; ordered partition e23a1.svg
- File:Predicate logic; 3 variables; ordered partition e2a13.svg
- File:Predicate logic; 3 variables; ordered partition e2a1e3.svg
- File:Predicate logic; 3 variables; ordered partition e2a3e1.svg
- File:Predicate logic; 3 variables; ordered partition e3a12.svg
- File:Predicate logic; 3 variables; ordered partition e3a1e2.svg
- File:Predicate logic; 3 variables; ordered partition e3a2e1.svg
- File:Ranks in concertina cube.svg
- Template:Predicate logic; 3 variables; single; all representations
- Template:Predicate logic; 3 variables; single; ordered partitions
- Category:Concertina cube
- Category:Predicate logic; Hasse diagrams
- Category:Predicate logic; Hasse diagrams; by number of variables
File usage on other wikis
The following other wikis use this file:
- Usage on en.wikiversity.org
- Usage on fa.wikipedia.org
Metadata
This file contains additional information such as Exif metadata which may have been added by the digital camera, scanner, or software program used to create or digitize it. If the file has been modified from its original state, some details such as the timestamp may not fully reflect those of the original file. The timestamp is only as accurate as the clock in the camera, and it may be completely wrong.
Width | 673.16602 |
---|---|
Height | 650.51062 |