《离散数学》证明题：证明R→S可从前提P→(Q→S)，┐R∨P和Q推出。

Answer 1

前提引入，将R当做条件。
R，并且┐R∨P，所以P，又因为P→(Q→S)，所以(Q→S)，因为Q，所以S
得证。