命题1修改.pptVIP

【例】 用等值演算验证等值式 p→（q→r）（p∧q）→r。 ?证明 【例】 如果小张去看电影， 则当小王去看电影时， 小李也去。 小赵不去看电影或小张去看电影。 小王去看电影。 所以当小赵去看电影时， 小李也去。 解 设 p： 小张去看电影， q： 小王去看电影， r： 小李去看电影， s： 小赵去看电影。 前提： p→（q→r）， s∨p， q 结论： s→r （1） s∨p 前提引入 （2） s 附加前提引入 （3） p∨ s （1）置换 （4） s （2）置换 （5） p （3）（4）析取三段论 （6） p→（q→r） 前提引入 （7） q→r （5）（6）假言推理 （8） q 前提引入 （9） r