Variable

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
Ein Symbol in einer formalen Sprache, das für ein nicht spezifiziertes Element der Domäne steht und innerhalb von Formeln frei oder gebunden auftreten kann.