Glossaris

Glossaris

Glossari Lògica / Terme

Terme

Referència a un objecte d’un domini. Un terme pot ser una constant, una variable o una funció (de Skolem).

Enllaç permanent: Terme - Data: 2013-06-15 09:06:40


< Teorema | Glossari Lògica | Variable >