3 ms·In the terminology used to describe logic (i.e. used by logicians and mathematicians), implies = provesby dzamo_norton 8y agoIn the terminology used to describe logic (i.e. used by logicians and mathematicians), implies = proves