p→Q R∧S-Q⇨P∧S用演绎法证明
- 假设p为真
- 根据p→Q,得到Q为真
- 根据R∧S,得到R和S都为真
- 假设-Q为真
- 根据-Q⇨P∧S,得到P和S都为真
- 综上,当p为真时,Q、R、S、P、-Q⇨P∧S都为真
- 因此,根据演绎法,可以得出结论:p→Q, R∧S,-Q⇨P∧S成立。
原文地址: https://www.cveoy.top/t/topic/baFh 著作权归作者所有。请勿转载和采集!
安全问答是一个知识全球问答,包含丰富的问答知识
原文地址: https://www.cveoy.top/t/topic/baFh 著作权归作者所有。请勿转载和采集!