Non-commutative logic is a branch of logic where the order of propositions affects the truth value of the logical statements, contrasting with classical logic where order is irrelevant. This type of logic is particularly useful in areas such as linguistics, computer science, and quantum mechanics, where the sequence of operations or events can significantly impact outcomes.