ZhangZhihui's Blog  

2025年5月2日

摘要: First-order logic (FOL), also known as predicate logic, is a formal system used in mathematics, philosophy, computer science, and linguistics to repre 阅读全文
posted @ 2025-05-02 10:00 ZhangZhihuiAAA 阅读(16) 评论(0) 推荐(0)