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

发布网友发布时间：2024-05-03 12:05

共1个回答

热心网友时间：2024-10-21 09:54

逗号是用来把前提间隔了一下，也就是说有三个前提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 ⑦⑧假言推理

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

也可以用反证法证明

声明：本网页内容为用户发布，旨在传播知识，不代表本网认同其观点，若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。E-MAIL:11247931@qq.com

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

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