一阶谓词逻辑可以使用的连接词有()、()、()和()
出自:计算机科学