我必然去看电影→我去看电影→我可能去看电影
我必然去看电影→我去看电影→我可能去看电影
我必然去看电影→我去看电影→我可能去看电影
我必然去看电影→我去看电影→我可能去看电影
我必然去看电影→我去看电影→我可能去看电影
我必然去看电影→我去看电影→我可能去看电影
写出“这场电影，或者你去看他也去看，或者你不去看他也去看，或者你去看而他不去看，或者你不去看，他也不去看。” 其逻辑形式
写出“这场电影，或者你去看他也去看，或者你不去看他也去看，或者你去看而他不去看，或者你不去看，他也不去看。” 其逻辑形式
中国大学MOOC: 我必然去看电影→我去看电影→我可能去看电影
中国大学MOOC: 我必然去看电影→我去看电影→我可能去看电影
你准备去看电影，可以说“ ”。 A: 我如果去看电影 B: 我打算去看电影 C: 我要是去看电影 D: 我方便去看电影
你准备去看电影，可以说“ ”。 A: 我如果去看电影 B: 我打算去看电影 C: 我要是去看电影 D: 我方便去看电影
构造下面推理的证明：如果小张和小王去看电影，则小李也去看电影，小赵不去看电影或小张去看电影，小王去看电影，所以，当小赵去看电影时，小李也去。
构造下面推理的证明：如果小张和小王去看电影，则小李也去看电影，小赵不去看电影或小张去看电影，小王去看电影，所以，当小赵去看电影时，小李也去。
运动太累了，我 去看电影 。（你决定去看电影）
运动太累了，我 去看电影 。（你决定去看电影）
世界上真正重要的东西不能用心去看,要用眼睛去看
世界上真正重要的东西不能用心去看,要用眼睛去看
如果小张和小王去看电影，则小李也去看电影；小赵不去看电影或小张去看电影；小王去看电影。所以，当小赵去看电影时，小李也去看电影。 将简单命题符号化，设 p:小张去看电影， q:小王去看电影， r:小李去看电影， s:小赵去看电影； 前提：(p∧q)→r, ┐s∨p , q 结论：s→r 证明：用附加前提证明法。[br][/br] ① s 附加前提引入 ② 前提引入[br][/br] ③ ①②析取三段论 ④ 前提引入 ⑤ ③④合取 ⑥ 前提引入[br][/br] ⑦ r ⑤⑥假言推理
如果小张和小王去看电影，则小李也去看电影；小赵不去看电影或小张去看电影；小王去看电影。所以，当小赵去看电影时，小李也去看电影。 将简单命题符号化，设 p:小张去看电影， q:小王去看电影， r:小李去看电影， s:小赵去看电影； 前提：(p∧q)→r, ┐s∨p , q 结论：s→r 证明：用附加前提证明法。[br][/br] ① s 附加前提引入 ② 前提引入[br][/br] ③ ①②析取三段论 ④ 前提引入 ⑤ ③④合取 ⑥ 前提引入[br][/br] ⑦ r ⑤⑥假言推理