Given: If P23P_{23}P23 then Q23Q_{23}Q23. Given: P23P_{23}P23 is true. What can we conclude?
Nothing can be concluded
P23P_{23}P23 is false
Q23Q_{23}Q23 is true
Q23Q_{23}Q23 is false