Discussion:Formule de Sahlqvist

Autres discussions [liste]
  • Admissibilité
  • Neutralité
  • Droit d'auteur
  • Article de qualité
  • Bon article
  • Lumière sur
  • À faire
  • Archives
  • Commons

Ça ne va pas

modifier

L’article utilise des caractères spéciaux de la logique des prédicats (j’image, mais je ne connaissais pas \Box), sans jamais présenter de pointeur pour aiguiller le lecteur sur le sens de ces symboles.

Revenir à la page « Formule de Sahlqvist ».