In the terminology used to describe logic (i.e. used by logicians and mathematicians), implies = proves