Diskussion:Prädikatenlogische Formeln

Seiteninhalte werden in anderen Sprachen nicht unterstützt.
Aus Wikiversity

Graue Zahlen[Bearbeiten]

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.

∀2 ∃3 ∃1
∀13ne

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