早教吧 育儿知识 作业答案 考试题库 百科 知识分享

逻辑上,从a并且b—>c,能不能有a并且非c—>b?,如果能够,请告知证明过程.t题目中第二个ying应该是a并且非c—>非b?

题目详情
逻辑上,从a并且b —> c ,能不能有a并且非c—>b?,如果能够,请告知证明过程.
t题目中第二个ying应该是a并且非c—>非b?
▼优质解答
答案和解析
你是说 从 a ∧ (b→c) 推出 a ∧ (¬c→¬b),还是(a∧b)→c推出(a∧¬c)→¬b 前者用一次等价替换就搞定(b→c与¬c→¬b等价)后者用若干次等价替换(比如你可以利用最基本的φ→ψ与...