Diskussion:Prädikatenlogische Formeln

Graue Zahlen

Auf dieser Seite existiert ein Bezeichnungsfehler.
zB. Im Abschnitt Dreistellige Prädikate im Absatz Auf einen Blick die Koordinaten xyz nicht mit den darunter geschrieben Zahlen äquivalent. So steht in der 5 Spate unter Pyzx 312 obwohl dort eigentlich 231 geschrieben sein müsste.
(Hinweis von ‎Hexadezimale am 30. Dez. 2011)

Die Permutationen 4 und 5 sind nicht selbstinvers.

Das war schon so gemeint wie es da stand, aber ohne Erklärung in der Tat leicht misszuverstehen. Die grauen Abkürzungen habe ich auch eher für mich selbst hinzugefügt.

Die Permutationen der grauen Zahlen sind invers zu denen der Buchstaben. Zwei der sechs Permutationen sind nicht selbstinvers - und die sind dir aufgefallen.

Die Abkürzung ∀2 ∃3 ∃1 ist ungefähr so zu lesen: "Für alle 2 gibt es eine 3 und für die gibt es eine 1."
Das ist eine Beschreibung der 3D-Matrix die in der Beispielzeile unten zu sehen ist.
Der Buchstabenpermutation zxy würde die Zahlenpermutation 312 ensprechen. Ich wüsste aber nicht, wie ich aus der eine Beschreibung der Matrix machen soll.

Beispielsatz	Formel	Matrix	Beschreibung
Allen wird jemanden zu lieben von jemandem gewünscht.	$\forall x~\exists y~\exists z~Pzxy$ ∀2 ∃3 ∃1		∀13ne

Grüße, 14:07, 20. Apr. 2012 (CEST)