Guest Session: 1 Question Remaining. Create Account to save progress.
Login
Logicmedium
0:00.0

Which rule of inference is represented by the formula P∨Q,¬P  ⟹  R,¬P  ⟹  ¬R∴Q\frac{P \lor Q, \neg P \implies R, \neg P \implies \neg R}{\therefore Q}∴QP∨Q,¬P⟹R,¬P⟹¬R​?