Classical logic is optimized for the verification that no contradiction is made and convenient mathematical manipulation: Boolean algebras are very nice. Unfortunately intuition goes out the window.

On the other hand I found intuitionistic implication more... intuitive :)