Логическое выражение в программировании — конструкция языка программирования, результатом вычисления которой является «истина» или «ложь». В большинстве языков программирования низкого и высокого уровня определён набор встроенных операций сравнения позволяющих строить «простые» логические выражения.