逻辑判断之演绎推理：A→B能推出
问题描述：
逻辑判断之演绎推理：A→B能推出
我遇到一难题,我自己的思维是A→B不能推出-A∨B,第一犯了否定前件的错误,第二,即使用摩根定律也只能推出：A→B==-（A,B）==-A或者-B,你们认为呢?真的绞尽脑汁了,因为试题答案刚好和我的思路相反,
答
A→B = -（A,-B）= -A或者B
或者 A→B 推出 1 = -A∨A=-A∨B