Beschreibung

Implications between statements in predicate logic like ${\displaystyle \forall x~\forall y~\forall z~Pxyz}$,
represented by abbreviated descriptions of cubic matrices like the following:

matrix	abbreviated description	description	example formula
	123ne	The 1-2-3-matrix is nonempty.	${\displaystyle \exists x~\exists y~\exists z~Pxyz}$
	∀23ne	All 2-3-planes are nonempty.	${\displaystyle \forall x~\exists y~\exists z~Pxyz}$
	in∃23 ∀3ne	In a 2-3-plane all 3-lines are nonempty.	${\displaystyle \exists x~\forall y~\exists z~Pxyz}$
	∃3f	A 3-line is full.	${\displaystyle \exists x~\exists y~\forall z~Pxyz}$
	∀3ne	All 3-lines are nonempty.	${\displaystyle \forall x~\forall y~\exists z~Pxyz}$
	in∀23 ∃3f	In all 2-3-planes a 3-line is full.	${\displaystyle \forall x~\exists y~\forall z~Pxyz}$
	∃23f	A 2-3-plane is full.	${\displaystyle \exists x~\forall y~\forall z~Pxyz}$
	123f	The 1-2-3-matrix is full.	${\displaystyle \forall x~\forall y~\forall z~Pxyz}$

This SVG was created with Inkscape.

Watchduck You can name the author as "T. Piesk", "Tilman Piesk" or "Watchduck".

Ich, der Urheberrechtsinhaber dieses Werkes, veröffentliche es hiermit unter der folgenden Lizenz:

Es ist erlaubt, die Datei unter den Bedingungen der GNU-Lizenz für freie Dokumentation, Version 1.2 oder einer späteren Version, veröffentlicht von der Free Software Foundation, zu kopieren, zu verbreiten und/oder zu modifizieren; es gibt keine unveränderlichen Abschnitte, keinen vorderen und keinen hinteren Umschlagtext. Der vollständige Text der Lizenz ist im Kapitel GNU-Lizenz für freie Dokumentation verfügbar.http://www.gnu.org/copyleft/fdl.htmlGFDLGNU Free Documentation Licensetruetrue

Diese Datei ist unter der Creative-Commons-Lizenz „Namensnennung 3.0 nicht portiert“ lizenziert.

Dieses Werk darf von dir

• verbreitet werden – vervielfältigt, verbreitet und öffentlich zugänglich gemacht werden
• neu zusammengestellt werden – abgewandelt und bearbeitet werden

Zu den folgenden Bedingungen:

• Namensnennung – Du musst angemessene Urheber- und Rechteangaben machen, einen Link zur Lizenz beifügen und angeben, ob Änderungen vorgenommen wurden. Diese Angaben dürfen in jeder angemessenen Art und Weise gemacht werden, allerdings nicht so, dass der Eindruck entsteht, der Lizenzgeber unterstütze gerade dich oder deine Nutzung besonders.

https://creativecommons.org/licenses/by/3.0CC BY 3.0 Creative Commons Attribution 3.0 truetrue

Du darfst es unter einer der obigen Lizenzen deiner Wahl verwenden.