构造证明—直接证明法 例构造下面推理的证明: 若明天是星期一或星期三,我就有课.若有课, 今天必备课我今天下午没备课.所以, 明天不是星期一和星期三 解设p:明天是星期一,q:明天是星期三, r:我有课,s:我备课 形式结构为 前提:(Vq)->r,rs,→s 结论:-p∧q11 构造证明——直接证明法 例 构造下面推理的证明： 若明天是星期一或星期三，我就有课. 若有课， 今天必备课. 我今天下午没备课. 所以， 明天不是星期一和星期三. 解 设 p：明天是星期一，q：明天是星期三， r：我有课，s：我备课 形式结构为 前提：(pq)→r, r→s, s 结论：pq