Classical logic is used only for computer science, while Intuitionistic logic is used for pure mathematics.

Intuitionistic logic rejects the use of variables like P and Q.

Classical logic assumes every statement is either true or false, while Intuitionistic logic equates truth with provability.

Intuitionistic logic allows for statements to be 'partially true', whereas Classical logic does not.