substitution

concept in logic; syntactic transformation on formal expressions

en-US/ˌsʌbstɪˈtuʃən/
en-GB/ˌsʌbstɪˈtjuːʃn/

Категории: