[Onliner 15]

– Une forme de skolem est une formule prédicative sous forme prénexe dans laquelle toutes les quantifications existentielles du préfixe ont été éliminée par skolémisation.

issu de mon syllabus de Mathématiques Discrètes[1].

Notes

[1] En théorie, j’ai su ce que cette définition signifiait… à l’époque.

Recevez les billets par mail ou par RSS. Max 2 billets par semaine, rien d’autre. Adresse email jamais partagée et définitivement effacée lors du désabonnement. Dernier livre paru : Printeurs, thriller cyberpunk. Pour soutenir l’auteur, lisez, offrez et partagez des livres.

Ce texte est publié sous la licence CC-By BE.