QUIZ

Cocher les symboles de variable apparaissant dans \(F\) :

Le symbole \(z\) apparaissant dans \(F\) peut être :

Cocher les symboles de fonction d'arité strictement positive apparaissant dans \(F\) :

Cocher les symboles de prédicat apparaissant dans \(F\) :

Cocher les symboles appartenant à Free\((F)\) : (on suppose ici que \(z ∈ X\))

Cocher les symboles de variable qui ont (au moins) une occurrence liée dans \(F\) :

(on suppose ici que \(z ∈ X\))

Cocher les termes apparaissant dans \(F\) :

Cocher les formules atomiques apparaissant dans \(F\) :

\(F\) est une formule close :

Cocher les formules qui correspondent à une clôture universelle de \(F\) :

Cocher les formules ayant la même signification (i.e. logiquement équivalentes) que \(F\) :