Let "$P \rightarrow Q$ is true" be a relation $\mathbf{R}(P, Q)$ between proposition $P$ and $Q$, where "$\rightarrow$" is the implication logic connective. Which of the followings are true?