Logicmedium
0:00.0

Given the premises PQP \lor Q and P    RP \implies R and Q    SQ \implies S, what can we conclude?