substitution

concept in logic; syntactic transformation on formal expressions

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

分类：