Logiceasy
0:00.0

If PQP \lor Q is false, what must be true?