💾 Archived View for ploum.net › 72-onliner-15 › index.gmi captured on 2023-04-20 at 00:02:49. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2023-01-29)
➡️ Next capture (2023-07-10)
-=-=-=-=-=-=-
2005-10-11
– 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].
[1] En théorie, j’ai su ce que cette définition signifiait… à l’époque.
----
Email:
permalinks: