Logichard
0:00.0

If PrightarrowQP \\rightarrow Q is true, can we conclude QrightarrowPQ \\rightarrow P is true?