否定后件推理 · 基础

已知“若 A，则 B”，又知“非 B”，可以推出？