国科大作业考试资料-人工智能原理与算法-2024新编-第八次作业整理

假设有如下公理：

0 ≤ 3

7 ≤ 9

∀x  x ≤ x

∀x  x ≤ x + 0

∀x  x + 0 ≤ x

∀x,y  x + y ≤ y + x

∀w,x,y,z   w ≤ y ∧ x ≤ z ≤ ⇒ w + x ≤ y + z

∀x,y,z   x ≤ y ∧ y ≤ z ⇒ x ≤ z

请分别用反向链接和前向链接证明7 ≤ 3 + 9（注 意：只用上述公理，不要用其他的数学知识。）

只需要给出关键步骤。

参考：

标号如下图所示：