∃ et ∀ : “Exists” et “All” avec les lettres à l’envers ?

C’est une question bête, mais je me la pose.

Les symboles pour dire « il existe un quelque chose tel que chose » et « pour tout quelque chose alors quelque chose », qui sont le quantificateur existentiel et le quantificateur universel, notés ∃ et ∀, l’origine de ces deux symboles est‑elle simplement l’Anglais ou autre chose ?

En Anglais, on dit “there exists” pour ∃ et “for all” pour ∀. Le ∀ est‑il simplement le A de All mis à l’envers et ∃ le E de Exists en miroir (ben oui, parce que sinon un E à l’envers, ça fait toujours un E, alors à part le retourner en miroir …).

J’ai voulu vérifier quelque chose. Dans l’alphabet Phénicien, le E était aussi tourné dans la même sens que le symbole ∃, et de même en Grecque. Mais le A, en Phénicien est pivoté d’un quart de tour, et en Grecque, il était dans le même sens que maintenant. Alors au moins l’un de ces deux symboles ne vient ni du Phénicien, ni du Grecque, et je ne vois pas pourquoi les deux symboles auraient chacun une origine différente.

Alors j’imagine que ça vient simplement des initiales des deux mots Anglais, Exists et All.

C’est ça ou pas ?

Ouais ! Et le A en miroir donne toujours un A.


Bonne question, merci de l'avoir posée !