Question

离散数学推理证明

离散数学推理证明中前提:A蕴含B,非A,结论非B.怎么证明

• 你的回答被采纳后将获得：
• 系统奖励15（财富值+成长值）+难题奖励20（财富值+成长值）

Answer 1

A包含于B等价于B可以推出A，所以非A推出非B

追问

你能用符号表示下吗

你能用符号表示下吗

追答

把“包含于”用包含符号代替，“可以推出”用推导箭头代替就好了。

Answer 2

　　你的题目有错，改改：
　　前提：A→B，┐B；
　　结论：┐A
　　推理证明
　　1）A→B 前提引入
　　2）┐A∨B 1）等价置换
　　3）┐B 前提引入
　　4）┐A 2）3）析取三段式
得证。