构造形式推理：
(1) 如果小张和小王去看电影，则小李也去看电影．小赵不去看电影或小张去看电影．小王去看电影．所以，当小赵去看电影时，小李必定也去.

证明: 命题符号化: 令 P: 小张去看电影；Q: 小王去看电影； R: 小李去看电影； S: 小赵去看电影． 前提：(P∧Q) →R, S∨P, Q 结论：S→R -------(2分) 证明：用附加前提法． ① S 附加前提引入 ②S∨P 前提引入 ③ P ① ②析取三段论 ④ Q 前提引入 ⑤ P∧Q ③ ④合取 ⑥ (P∧Q)→R 前提引入 ⑦ R ⑤ ⑥假言推理