填空题

现代逻辑具有()和()两个特征。

【参考答案】

构造形式语言;建立演算系统