Нажмите на ссылку 05谓词逻辑.pdf, чтобы просмотреть файл.