P∨Q,P→R,Q→R=>R里的逗号表示什么?怎么证明呢?

来源:百度知道 编辑:UC知道 时间:2024/05/16 07:38:44
急等解决

逗号是用来把前提间隔了一下,也就是说有三个前提P∨Q,P→R和Q→R
证明:
① P→R 前提引入
② ┐P∨R ①置换
③ Q→R 前提引入
④ ┐Q∨R ③置换
⑤ (┐P∨R)∧(┐Q∨R) ②④合取
⑥ ┐(P∨Q)∨R ⑤置换
⑦ (P∨Q)→R ⑥置换
⑧ P∨Q 前提引入
⑨ R ⑦⑧假言推理

上面的“置换”指的是使用等值式

也可以用反证法证明