除非A是B，根據雙重否定，等於肯定，所以等於不是“不是B”除非A，即不是B→A，- B → A。
同時，根據否定，我們還可以得到-a → b。
只有a，沒有b，才是標準的向後推向前，即不是b → a。
擴展數據:
歸納推理
歸納法是從個別對象中推斷出壹類，從個別知識推理中概括出壹般原理或規律的推理形式和思維方法。歸納推理包括完全歸納和不完全歸納。例如，在具有細胞結構的生物中，它們的遺傳物質是通過推理發現的。
所有具有細胞結構的生物的遺傳物質都是DNA，這是完全歸納出來的結論但是，如果把病毒也看作壹種生物，發現病毒的遺傳物質只有壹部分是DNA，有些病毒的遺傳物質是RNA，所以我們說大部分生物的遺傳物質都是DNA。
這是壹個不完整的結論。細胞中水的含量是最多的，這也是壹個不完全的結論，因為很少有很少或沒有水的細胞，比如澱粉最多的小麥胚細胞，脂肪最多的脂肪細胞。
參考資料:
百度百科-邏輯推理法