Logicmedium
0:00.0

If P    QP \iff Q is true, what can we conclude about their truth values?