052 Tome V — Extensions des fonctions caractéristiques 52. Logique du premier ordre

Ci-dessus est l’illustration standard de la notation standard de la fonction caractéristique ou indicatrice d’appartenance notée généralement χF(x), et définie sur un ensemble E qui explicite l’appartenance ou non à un sous-ensemble F de l’ensemble E de tout élément x de l’ensemble E.

Latest Notes

View Archive [ -> ]