théorème d'interpolation de Craig
Nom, Nom masculin singulier, Number:Sing, Gender:Mas
Morpho:withmaj, Morpho:withspace
source:wiki,
source:bn
Définitions
En logique mathématique, le théorème d'interpolation de Craig dit que si une formule ? en implique une deuxième ?, et que ? et ? partagent au moins un symbole non logique en commun, alors il existe une formule ?, appelée interpolant, telle que ?
