Quantum logic is a non-classical logic system that extends classical logic principles to accommodate the peculiarities of quantum mechanics, particularly the superposition and entanglement of quantum states. It redefines the notion of truth values and logical operations to reflect the probabilistic nature of quantum measurements and the non-commutative properties of quantum observables.