构造下面推理的证明下午张三或去看电影或去游泳。他没有去看电影,所以,他去游泳了。
设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度