直接证明法(续) 证明 ①②③ →S 前提引入 前提引入 ①②拒取式 ④(q)-r前提引入 ⑤-(q) ③④拒取式 ⑥一p∧-q ⑤置换12 直接证明法 (续) 证明 ① r→s 前提引入 ② s 前提引入 ③ r ①②拒取式 ④ (pq)→r 前提引入 ⑤ (pq) ③④拒取式 ⑥ pq ⑤置换