答案優(yōu)選前提是H1,H2,...,Hn,欲證結(jié)論R→P(結(jié)論是條件式),則將條件式作為附加前提證得P即可,這就是CP規(guī)則.
設(shè)H=H1∧H2∧...∧Hn,由前提H證明R→P,即證明H→(R→P)永真,而H→(R→P)等價(jià)于H∧R→P,因此證明H∧R→P永真即可.
答案優(yōu)選前提是H1,H2,...,Hn,欲證結(jié)論R→P(結(jié)論是條件式),則將條件式作為附加前提證得P即可,這就是CP規(guī)則.
文中圖片素材來源網(wǎng)絡(luò),如有侵權(quán)請(qǐng)聯(lián)系644062549@qq.com刪除
轉(zhuǎn)載注明出處:http://www.tengyi66.com