Glossaris

Glossaris

Glossari Lògica / Terme

Eskolemització

Eliminació dels quantificadors existencials d’una fórmula. Les variables quantificades existencialment són substituïdes per constants i funcions de Skolem.

Enllaç permanent: Eskolemització - Data: 2013-06-15 09:06:40


< Enunciat | Glossari Lògica | Fórmula >