Peano führte eine Reihe von logischen Symbolen ein, die noch heute verwendet werden:
Diese Umkehrung lateinischer Buchstaben als Symbole (und Umkehrung von Symbolen, um ihre "entgegengesetzte" Operation anzuzeigen) wurde von späteren Logikern befolgt:
Ich hatte immer angenommen, dass ∃ für „E“ in „ Existential“ / „there Exists “ (oder etwas Verwandtes davon) steht, aber Peano schien in dem Absatz, in dem dieses Symbol eingeführt wurde, keine Wörter zu verwenden, die mit „e“ beginnen:
Mais nous préférons l'indiquer par la nouvelle notation
qu'on peut lire « il ya des ».
- Formulaire de mathématiques , Peano (1897)
Warum also wählte er ein umgekehrtes „E“?
Früheste Verwendung von Symbolen der Mengenlehre und Logik
Ist das Symbol für die Zugehörigkeit zu einer Menge
abgeleitet vom griechischen Buchstaben
?
Math SE: Was war zuerst da, das ∀ oder das ∃?
Bei der Einführung der älteren Terminologie im vorherigen Satz beschreibt Peano sie folgendermaßen:
... bedeuten "il ya des a ", "les a e xistent"...
Es scheint wahrscheinlich, dass dies die Quelle des umgekehrten "E" ist.
Danu
Michael Bachold