充分必要条件假言推理有( )、否定前件式、肯定后件式、否定后件式四种推理形式。