В мовах програмування математична логіка посідає одне із головних місць. Логічні вирази використовуються у конструкціях розгалуження та циклів з умовою.
Наприклад, у мові програмування Pascal використовуються наступні позначення логічних операцій:
операція заперечення (інверсії) позначається словом not
операція кон'юнкції (логічний добуток) позначається словом and
операція диз'юнкції (логічна сума) позначається словом or
операція виключаючої диз'юнкції позначається xor
В мові програмування Pascal, як і у багатьох інших, логічні вирази можуть набувати значення False (хибність) або True (істина).
Аналогічні позначення використовують також в інших мовах програмування. У цьому тесті використовуватимуться саме ці позначення.
Висловлювання в мовах програмування позначаються величинами логічного типу, імена яких утворюються відповідно до правил кожної конкретної мови програмування. Це означає, що висловлювання може позначатися як однією великою буквою, як в математичній логіці, так і групою букв та цифр різного регістру.