$((aimplies b) land (cimplies a)) implies (c implies b)$

documentclass{article}

usepackage{amsmath}
usepackage{mathabx}

begin{document}
% from egreg's solution
$((a implies b) land (c implies a))  (c implies  b)$
end{document}