Logichard
0:00.0

If PrightarrowQP \\rightarrow Q is true and QQ is true, what can we say about PP?