逻辑上，从a并且b —> c ，能不能有a并且非c—>b？，如果能够，请告知证明过程。

你是说 从 a ∧ (b→c) 推出 a ∧ (¬c→¬b)，还是(a∧b)→c推出(a∧¬c)→¬b ？
前者用一次等价替换就搞定（b→c与¬c→¬b等价）
后者用若干次等价替换（比如你可以利用最基本的φ→ψ与¬φ∨ψ的等价关系，然后再用上∧∨的对偶律、交换律、结合律等等；当然，如果你知道(p∧q)→r等价于p→(q→r)，这样替换会更快）

比如可以这样证明
(1) (a∧b)→c assumption
(2) ¬(a∧b)∨c 根据→的定义等价替换
(3) (¬a∨¬b)∨c ∧∨对偶律
(4) ¬a∨(¬b∨c) ∨的结合律
(5) ¬a∨(c∨¬b) ∨的交换律
(6) (¬a∨c)∨¬b ∨的结合律
(7) ¬(a∧¬c)∨¬b ∧∨对偶律
(8) (a∧¬c)→¬b 根据→的定义等价替换

其实证明方式多种多样。你可以用语义证明（即真值表），也可以用句法证明。用句法证明，要看你采用什么公理系统（用的是什么公理，什么推理规则）。比如上面的证明就有n多条规则。也有的系统只有一条初始规则（即分离规则MP）。