《推理與證明方法》ppt課件-文庫吧
2025-04-15 18:07 本頁面
【正文】 7.S→T(h)n 172。 P(s)n R→P(h)n 172。 R (m)n 172。 R→S(h)n S(m)Date 6推理與證明方法推理與證明方法Table 2. Rule of Inference Name ?x P(x) ? P(c) if c?U UI/全稱 舉 例P(c) for an arbitrary c?U ? ?x P(x) UG/全稱推廣?x P(x) ? P(c) for some c?U EI/存在 舉 例P(c) for some c?U ? ?x P(x) EG/存在推廣U:UniversalI:InstantiationE:ExistentialG:GeneralizationDate 7推理與證明方法推理與證明方法EXAMPLE 3 蘇格拉底論證：人固有一死，蘇格拉底是人，因此蘇格拉底固有一死。P(x):x是人， D(x):x是要死的， S:蘇格拉底。?x(P(x)→ D(x)),P(S)?D(S)1.?x(P(x)→ D(x))(h)3.P(S)2.P(s)→ D(s)(UG)4.D(S)Date 8推理與證明方法推理與證明方法EXAMPLE 4 Hypotheses:任何人如果他喜歡步行，則他就不喜歡乘汽車；每個(gè)人喜歡乘汽車或者喜歡騎自行車；有的人不喜歡騎自行車，Conclusion:因此有的人不喜歡步行。W(x): 喜歡步行， B(x):x喜歡乘汽車， K(x)： x喜歡騎自行車；前提： ?x(W(x) → 172。 B(x))， ?x(B(x)∨ K(x)),?x(172。 K(x)),結(jié)論： ?x(172。 W(x))Date 9推理與證明方法推理與證明方法n?x(172。 K(x))(h)7.W(c) → 172。 B(c)(UI)n 172。 K(c)(EI)8.172。 W(c)n?x(B(x)∨ K(x))(h)9.?x(172。 W(x))(EG)n B(c)∨ K(c)(UI)n B(c)n?x(W(x) → 172。 B(x))(h)Date 10推理與證明方法推理與證明方法Indirect proof, negate the conclusionHypotheses:P∨ Q,P→ R,Q→ SConclusion:S∨ RProof:P∨ Q,P→ R,Q→ S?S∨ Rn172。 (S1
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1