File:Concertina cube graph; tensor descriptions.svg
Jump to navigation
Jump to search
Size of this PNG preview of this SVG file: 620 × 600 pixels. Other resolutions: 248 × 240 pixels | 496 × 480 pixels | 794 × 768 pixels | 1,059 × 1,024 pixels | 2,117 × 2,048 pixels | 673 × 651 pixels.
Original file (SVG file, nominally 673 × 651 pixels, file size: 126 KB)
Captions
Captions
Add a one-line explanation of what this file represents
Summary[edit]
Implications between statements in predicate logic like ,
represented by abbreviated descriptions of cubic matrices like the following:
| matrix | abbreviated description |
description | example formula |
|---|---|---|---|
|
123ne | The 1-2-3-matrix is nonempty. | |
|
∀23ne | All 2-3-planes are nonempty. | |
|
in∃23 ∀3ne | In a 2-3-plane all 3-lines are nonempty. | |
|
∃3f | A 3-line is full. | |
|
∀3ne | All 3-lines are nonempty. | |
|
|
in∀23 ∃3f | In all 2-3-planes a 3-line is full. | |
|
∃23f | A 2-3-plane is full. | |
|
123f | The 1-2-3-matrix is full. |
 |
 |
| This SVG was created with Inkscape. |
|
Watchduck You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck". |
I, the copyright holder of this work, hereby publish it under the following licenses:
|
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. |
This file is licensed under the Creative Commons Attribution 3.0 Unported license.
- 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.
You may select the license of your choice.
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 15:00, 29 June 2013 | | 673 × 651 (126 KB) | Watchduck (talk | contribs) | reflect |
| 19:19, 16 December 2010 |  | 673 × 651 (168 KB) | Watchduck (talk | contribs) | {{Information |Description=Implications between statements in predicate logic, like <math>\forall x \forall y \forall z Rxyz</math> {{inkscape}} |Source={{own}} |Date= |Author=Lipedia |Permission= |other_versions |
You cannot overwrite this file.
File usage on Commons
The following 9 pages use this file:
- File:Concertina cube graph; tensor descriptions.svg
- File:Concertina cube graph; tensor sketches.png
- File:Predicate logic; 3 variables; implications lattice; abbreviations.svg (file redirect)
- File:Predicate logic; 3 variables; implications lattice; formula abbreviations.svg (file redirect)
- File:Predicate logic; 3 variables; implications without diagonals; abbrevations.svg (file redirect)
- File:Predicate logic; 3 variables; implications without diagonals; abbreviations.svg (file redirect)
- File:Predicate logic; 3 variables; implications without diagonals; formula abbreviations.svg (file redirect)
File usage on other wikis
The following other wikis use this file:
- Usage on de.wikiversity.org
