令p：他是计算机系本科生     q：他是计算机系研究生     r：他学过DELPHI语言     s:他学过C 语言     t:他会编程序     前提：(p∨q)→(r∧s),(r∨s)→t     结论：p→t证①p                P(附加前提)       ②p∨q             T①I       ③(p∨q)→(r∧s)   P(前提引入)       ④r∧s             T②③I       ⑤r                T④I       ⑥r∨s             T⑤I       ⑦(r∨s)→t        P(前提引入)       ⑧t                T⑤⑥I