[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. Abonnez-vous par mail ou RSS pour ne rater aucun billet (max 2 par semaine). Je suis convaincu que Printeurs, mon dernier roman de science-fiction vous passionnera. Commander mes livres est le meilleur moyen de me soutenir !

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

Sharing is caring