假设有如下公理:
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(注 意:只用上述公理,不要用其他的数学知识。)
只需要给出关键步骤。
参考:
标号如下图所示:
假设有如下公理:
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(注 意:只用上述公理,不要用其他的数学知识。)
只需要给出关键步骤。
参考:
标号如下图所示: