知识表示人工智能

- 解： - 首先引入下列谓词： F(x): x is a formula MC(x, y): the main connective of x