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