人工智能导论 —— Week Two

一阶谓词逻辑

1、命题（proposition）：一个非真即假的陈述句。

（本章几乎同离散数学 故略）

2、注意：

P：F，Q：T 时：                   P -> Q ：T