2022-06-04
如果小张和小王去看电影，则小李也去看电影；小赵不去看电影或小张去看电影；小王去看电影。所以，当小赵去看电影时，小李也去看电影。 将简单命题符号化，设 p:小张去看电影， q:小王去看电影， r:小李去看电影， s:小赵去看电影； 前提：(p∧q)→r, ┐s∨p , q 结论：s→r 证明：用附加前提证明法。[br][/br] ① s 附加前提引入 ② 前提引入[br][/br] ③ ①②析取三段论 ④ 前提引入 ⑤ ③④合取 ⑥ 前提引入[br][/br] ⑦ r ⑤⑥假言推理
