也可以說他是一個語言,語法(syntax)就是定義完整的sentences,語意(semantics)就是某個sentence的真偽或意義。 logic可以透過syntax inference導出新的 ...
確定! 回上一頁