Item
.
\(P \imp Q\)
is true when
\(P\)
is false or
\(Q\)
is true or both.
in-context