透过现象看本质的逻辑三段论

      三段论，故名思议是三段。它是怎样的逻辑呢？我们先看这两句话：

        由于没有蝾螈是夜行动物，没有蝾螈是蝙蝠。因为所有的蝙蝠都是夜行动物。

这句话的三段论就是：

一，所有蝙蝠都是夜行动物。二、没有蝾螈是夜行动物。三没有蝾螈是蝙蝠。

它的主项就是没有蝾螈是夜行动物。这样的思维方式我还需要练习，实在有些蒙呢。