Category
离散数学

离散数学-合式公式

合式公式,又称谓词公式,是一种形式语言表达式,即形式系统中按一定规则构成的表达式。按照模型论中一种通行习惯,语言F中的合...
avatar