Forme Normale de Skolem

concept

Représentation existentielle sans quantique dans la logique des prédicats

Propriétés