河南成教 / 离散数学
3[应用题]
令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
3[应用题]
令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
参考答案：
佳题速递：