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 le code]
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.