substitution instance
substitution instance · substitution instances
A well-formed formula that has a constant term in place of a variableA well-formed formula (wff) that has a constant term in place of a variable; expressed as Q(a/x), where the resulting wff is identical to Q except that the constant a takes the place of every free occurrence of the variable x.
Значение
значений: 1A well-formed formula (wff) that has a constant term in place of a variable; expressed as Q(a/x), where the resulting wff is identical to Q except that the constant a takes the place of every free occurrence of the variable x.
Формы
мн. число: substitution instances| Ед. число | substitution instance |
|---|---|
| Мн. число | substitution instances |
правильный