Logichard
0:00.0

Suppose we have a set of premises:

  1. ¬PQ\neg P \lor Q
  2. Q    ¬RQ \implies \neg R
  3. RR What can we validly infer about PP?