Matematik mantiqning, mulohazalar va ular ustida bo‘ladigan amallarni o‘rganadigan bo‘limi. Mantiq algebrasining xususiy holi. Mulohaza – bu, har qanday tasdiq; chin yoki yolg‘on bo‘lishi mumkin. Mulohazalar ustida muayyan amallar bajariladi: «va» & bilan belgilanadi, konyunksiya deb ataladi; «yoki» V bilan belgilanadi, dizyunksiya deb ataladi, «agar ..., u holda» > bilan belgilanadi, implikatsiya deb ataladi; «ekvivalentlik» «yo‘q» bilan belgilanadi, inkor deb ataladi. Aniqlanish (tavsif) sohasi mulohaza, qiymatlar sohasi 1 deb belgilanadigan haqiqat (chin) yoki 0 deb belgilanadigan yolg‘on bo‘lgan funksiya tushunchasi kiritilgan. Funksiyalar, ko‘pincha, haqiqiylik jadvallari deb ataladigan jadvallar bilan berilishi mumkin.

Математик мантиқнинг, мулоҳазалар ва улар устида бўладиган амалларни ўрганадиган бўли-ми. Мантиқ алгебрасининг хусусий ҳоли. Мулоҳаза – бу, ҳар қандай тасдиқ; чин ёки ёлғон бўлиши мумкин. Мулоҳазалар устида муайян амаллар бажарилади: «ва» & билан белгиланади, конъюнкция деб аталади; «ёки» V билан белгиланади, дизъюнкция деб аталади, «агар ..., у ҳолда» > билан белгиланади, импликация деб аталади; «эквивалентлик» «йўқ» билан белгиланади, инкор деб аталади. Аниқланиш (тавсиф) соҳаси мулоҳаза, қийматлар соҳаси 1 деб белгиланадиган ҳақиқат (чин) ёки 0 деб белгиланадиган ёлғон бўлган функция тушунчаси киритилган. Функ-циялар, кўпинча, ҳақиқийлик жадваллари деб аталадиган жадваллар билан берилиши мумкин

Раздел математической логики, изучающий высказывания и операции над ними. Частный случай алгебры логики. Высказывание – это любое утверждение; может быть либо истинным, либо ложным. Над высказываниями возможны определенные операции: «и» обозначается &, называется конъюнкцией; «или» обозначается V, называется дизъюнкцией; «если ... , то» обозначается >, называется импликацией; «эквивалентность» обозначается «не», называется отрицанием. Введено понятие функции, у которой область определения – высказывание, а область значений истина, которая обозначается 1, или ложь – обозначается 0. Функции могут задаваться таблицами, часто называемыми таблицами истинности.

Boolean mathematics