題組內容

四、請用有效的推論規則證明下列論證(從前提推導出結論)。
(1)

2. R⊃S        /∴ (P∨R)⊃(Q∨S)