Mot : abaque
Catégorie : N
Genre : Masculin
Définition : En logique, tableau servant à tirer les conséquences logiques de prémisses données.