离散数学推理理论.pptx

离散数学推理理论

实例分析判断推理就是否正确:张红不管有无空闲都不看电影。张红看了电影。所以张红有空闲时间又没有空闲时间。解:P:张红有空闲时间;Q:张红看电影。前提:A1=P∨?P→?QA2=Q结论:A=P∧?P问题:该结论就是否有效结论。(该推理就是否正确)。01010000110111111101110110111100(P∨?P→?Q)∧Q→P∧?PQP所以,结论A就是有效结论;该推理就是正确得。而前提就是不一致得。

基本蕴涵式名称蕴涵关系式化简式A∧B?AA∧B?B?(A→B)?A?(A→B)??B附加式A?A∨BB?A∨B?A?A→BB?A→B假言推理(A→B)∧A?B拒取式(A→B)∧?B??A析取三段式