8. En logique, position d'une proposition par rapport aux conditions imposées par un langage donné et par rapport à un état de fait. .