A logic statement of the form
P → Q or P
É Q, P Þ Q
that should be read as "if P is true then Q follows", although
its meaning in logic only partly resembles its usage in English.
Link to us