离散数学-2-4变元的约束

- 第二章谓词逻辑 - 2-4 变元的约束授课人：李朔 - 一、基本概念 - 在给定的一个合式公式x (A)或x(A)中称