Classical logic

Home > Philosophy > Logic > Propositional Logic > Classical logic

The most commonly used type of propositional logic is classical logic, which is also referred to as Boolean logic. It uses basic logical connectives such as AND, OR, and NOT to help infer logical relationships between truth values.