« Fonction de Skolem » : différence entre les versions

Version du 23 avril 2021 à 12:18

Fonction introduite pour éliminer les quantificateurs existentiels.

fonction de Skolem

Skolem function

Source : Le grand dictionnaire terminologique

Version du 23 avril 2021 à 10:36 (voir la source) Isaline (discussion \| contributions) Aucun résumé des modifications ← Modification précédente		Version du 23 avril 2021 à 12:18 (voir la source) Pitpitt (discussion \| contributions) Aucun résumé des modifications Modification suivante →
Ligne 13 :		Ligne 13 :
	[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=17016128 Source : Le grand dictionnaire terminologique ]		[http://gdt.oqlf.gouv.qc.ca/ficheOqlf.aspx?Id_Fiche=17016128 Source : Le grand dictionnaire terminologique ]

	[[Catégorie:~~publication~~]]		[[Catégorie:GRAND LEXIQUE FRANÇAIS]]