离散数学是传统的逻辑学.ppt

1.6：命题演算的自然推理形式系统 2.命题演算的自然推理形式系统P 1)字母表： (1)命题符：p，q，r，…，p1，q1，r1， … (2)联结词符： ?， ∧，∨，→，?； (3)括号与逗号(，) 2)公式(同前面命题公式的定义) 3)推理规则(用1.5定义的12条规则) 3.可靠性和完备性 (1)可靠性：如果G1，G2，…Gn |=H，则G1∧G2∧…Gn →H永真 (2)完备性：定理1.9。 * a-e为命题，f-j非命题 * 1: T; 2: T; 3 非命题; 4: 非命题; 5: 命题; 6: 命题; 7: 命题; 8-10: 非命题 * a)解：设P：他有理论知识；Q：他有实践经验。则命题转化为： P ∧ Q b)解：设P：明天下雨；Q：明天下雪；R：我去学校 则 i)： ?(P∧Q) →R ii)： ?P∧ ?Q →R iii)：P ∨Q → ? R iv)： P∧Q∧R∨?P∧Q∧R∨P∧?Q∧R∨? P∧?Q∧R v)： ? P∧?Q ? R * c)：说小学生编不了程序，或说小学生用不了个人计算机，那是不对的。 解：设P：小学生会编程序；Q：小学生会用个人计算机； 则? (? P ∨ ? Q) d)：若不是他生病了或出差了，我是不会同意他不参加学习 解：设P：他生病了；Q：他出差了；R：我