用构造证明的方法证明推理的正确性。如果小张和小王去看电影，则小李也去。小赵不去看电影或者小张去看电影。小王去看电影。所以，小赵去看电影时，小李也去。
举一反三
- 构造下面推理的证明：如果小张和小王去看电影，则小李也去看电影，小赵不去看电影或小张去看电影，小王去看电影，所以，当小赵去看电影时，小李也去。
- 如果小张和小王去看电影，则小李也去看电影；小赵不去看电影或小张去看电影；小王去看电影。所以，当小赵去看电影时，小李也去看电影。 将简单命题符号化，设 p:小张去看电影， q:小王去看电影， r:小李去看电影， s:小赵去看电影； 前提：(p∧q)→r, ┐s∨p , q 结论：s→r 证明：用附加前提证明法。[br][/br] ① s 附加前提引入 ② 前提引入[br][/br] ③ ①②析取三段论 ④ 前提引入 ⑤ ③④合取 ⑥ 前提引入[br][/br] ⑦ r ⑤⑥假言推理
- “如果下雨，我们就去看电影”的否定是： A: 如果不下雨，我们就不去看电影 B: 下雨了，我们不去看电影 C: 不下雨，或者我们去看电影 D: 如果我们不去看电影，那么就下雨
- 你准备去看电影，可以说“ ”。 A: 我如果去看电影 B: 我打算去看电影 C: 我要是去看电影 D: 我方便去看电影
- 谁说我不喜欢看电影？我不要去看电影。