Matematik mantiqning, darak gap sifatida aniqlanadigan tushunchasi; chin yoki yolg‘on bo‘lishi mumkin, lekin bir vaqtda chin yoki yolg‘on bo‘lishi mumkin emas. Informatikada bu tushuncha, mulohaza – bu mantiqiy ifoda degan tavsifgacha torayadi. Mulohazalar ustida mantiqiy amallar bajarilishi mumkin. Oddiy mulohazalardan murakkab mulohazalar quriladi.

Математик мантиқнинг, дарак гап сифатида аниқланадиган тушунчаси; чин ёки ёлғон бўлиши мумкин, лекин бир вақтда чин ёки ёлғон бўлиши мумкин эмас. Информатикада бу тушунча, мулоҳаза – бу мантиқий ифода деган тавсифгача тораяди. Мулоҳазалар устида мантиқий амаллар бажарилиши мумкин. Оддий мулоҳазалардан мураккаб мулоҳазалар қурилади

Понятие математической логики, определяемое как повествовательное предложение; может быть истинным или ложным, но не может быть истинным и ложным одновременно. В информатике это понятие сужается до определения: высказывание – это логическое выражение. Над высказываниями возможно производить логические операции. Из простых высказываний строятся сложные.

propozition