La définition de Tête

La tête en logique

En logique, la tête désigne la première partie d'une règle. Une règle est généralement de la forme: « si p, alors q ». La tête de la règle est, dans ce cas, la proposition initiale p, posée comme vraie.