[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.

Je suis @ploum, ingénieur écrivain. Printeurs, mon dernier roman de science-fiction, est disponible en précommande. Abonnez-vous pour recevoir mes billets, partagez-les autour de vous et n'hésitez pas à me soutenir sur Paypal. Votre soutien, même symbolique, compte beaucoup pour moi. Merci !

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

Sharing is caring