结构推理 根据下列前提，写出可能导出的结论，以及所用的推理规则：
   如果我跑步，那么我很疲劳．
   我没有疲劳．
【正确答案】设P：我跑步，Q：我很疲劳．问题的前提为：P→Q，￢Q．
   推理  (1)P→Q  P规则
   (2)￢Q    P规则
   (3)￢P    T规则
   所以结论为￢P：我没有跑步．
   说明  (1)(2)是条件中所给的前提，由此知P→Q为T，￢Q为T，Q为F，根据“→”的定义，当后件为F，整个命题为T时，其前件为F，故有P为F，￢P为T．即本题最终推出“我没有跑步”．
【答案解析】