的公式还可以包含全称(用符号“ ∀ ”表示)量词或者存在量词(用符号“ 3 ”表示) ,用于对问题域中的对象进行量化表示。例如,我们可以引入一个原子谓词 Temperature ...
確定! 回上一頁