Logichard
0:00.0

The statement PrightarrowQP \\rightarrow Q is false only when: