Item
.
\(P \imp Q\)
is read “if
\(P\)
then
\(Q\text{,}\)
” and called an
implication
or
conditional
.
in-context