Phrase (Formule Fermée)

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Une formule sans variables libres — une formule bien formée et fermée — qui affirme une proposition au sujet du domaine de discours et peut se voir attribuer une valeur de vérité relative à'une interprétation ou une structure.