构造下面推理的证明下午张三或去看电影或去游泳。他没有去看电影，所以，他去游泳了。
设P：张三下午去看电影；Q：张三下午去游泳；前提：P∨Q，￢P结论：Q证明过程如下：（1）P∨QP规则（2）￢PP规则（3）QI10
举一反三
- 构造下面推理的证明: 下午张三或去看电影或去游泳。他没有去看电影，所以，他去游泳了。证明过程：第一步：命题符号化设 P：下午张三去看电影； Q：下午张三去游泳；则： 下午张三或去看电影或去游泳。可符号化为 (P∧￢Q)∨(￢P∧Q) 他没有去看电影。可符号化为 （ ） 他去游泳了。可符号化为（ ）第二步写出推理论证的形式：(P∧￢Q)∨(￢P∧Q)，￢P=>Q第三步进行推理证明。
- 设P：小王下午去看电影；Q：小王下午去游泳，则下午小王或去看电影或去游泳；他没去看电影；所以，他去游泳了的推理形式正确得是 。 A: (P∨Q)∧￢P→Q B: (P∨Q)∧￢P => Q C: (P∨Q)∧￢P <=> Q D: (P∨Q)∧￢P ←→ Q
- 构造下面推理的证明：如果小张和小王去看电影，则小李也去看电影，小赵不去看电影或小张去看电影，小王去看电影，所以，当小赵去看电影时，小李也去。
- 用构造证明的方法证明推理的正确性。如果小张和小王去看电影，则小李也去。小赵不去看电影或者小张去看电影。小王去看电影。所以，小赵去看电影时，小李也去。
- 判断下面推理是否正确若气温超过30度，则Alice必去游泳。若Alice去游泳，则她就不去看电影。今天气温超过30度。所以今天Alice不会去看电影。
内容
- 0
明天A我B马小军C去D看电影。（和） A: 明天（和）我马小军去看电影。 B: 明天我（和）马小军去看电影。 C: 明天我马小军（和）去看电影。 D: 明天我马小军去（和）看电影。
- 1
如果小张和小王去看电影，则小李也去看电影；小赵不去看电影或小张去看电影；小王去看电影。所以，当小赵去看电影时，小李也去看电影。 将简单命题符号化，设 p:小张去看电影， q:小王去看电影， r:小李去看电影， s:小赵去看电影； 前提：(p∧q)→r, ┐s∨p , q 结论：s→r 证明：用附加前提证明法。[br][/br] ① s 附加前提引入 ② 前提引入[br][/br] ③ ①②析取三段论 ④ 前提引入 ⑤ ③④合取 ⑥ 前提引入[br][/br] ⑦ r ⑤⑥假言推理
- 2
你准备去看电影，可以说“ ”。 A: 我如果去看电影 B: 我打算去看电影 C: 我要是去看电影 D: 我方便去看电影
- 3
令p：天下雨，q：看电影，命题“只有天下雨，他才去看电影”可符号化为
- 4
判断下面推理是否正确若气温超过30度，则Alice必去游泳。若Alice去游泳，则她就不去看电影。今天Alice没去看电影。所以今天气温必然超过30度