这是一个充分条件假言直言推理，属于无效推理。充分条件假言直言推理中，可以通过肯定前件来肯定后件，也可以通过否定后件推出对前件的否定。但是不能通过肯定后件推出肯定前件，或者通过否定前件推出对后件的否定。这个练习题就是肯定后件式，属于无效式。
否 条件命题 肯定后件 不能得出肯定前件
