бульдік
алгебрасы
деп аталады.
Пікір - жалған және ақиқат болатын кейбір пайымдаулар.
―Екі - жҧп сан‖, ―Бейрут - Израильдің астанасы‖ сӛйлемдері пікір
болады, ӛйткені 1-сі - ақиқат, 2-сі - жалған екенін анықтауға болады.
Сҧраулы, лепті сӛйлемдер пікір бола алмайды, тек хабарлы сӛйлем
болуы шарт.
Пікірлік форма
– қҧрамында ең болмағанда бір ғана
айнымаласы бар хабарлы сӛйлем.(мысалы теңдеу)
Логика
алгебрасы
пікірдің
мазмҧнын
қарастырмайды,
ақиқаттықты ғана анықтайды. Осыған дейін жай пікірлер туралы
айтылса, енді екі немесе одан кӛп жай пікірлер кҥрделі пікірді
қҧрайды. Олар
логикалық жалғаулар
арқылы қҧрылады.
―2 - жай және жҧп сан‖ екі жай сӛйлемнен тҧрады,
және
жалғауы алынған, пікір ақиқат.
―Жексенбіде бақшада жҧмыс істейміз
немесе
серуенге
шығамыз.‖ Бҧл пікірлердің ақиқат жалғандығы әрбір жай пікірдің
ақиқаттығына байланысты анықталады. Мысалы ―2 - жай және жҧп
сан‖ пікіріндегі ―2 - жай сан‖ А, ―2 - жҧп сан‖ В деп белгіленеді.
Олардың арасындағы байланыс ―және‖, бҧдан «А және В» пікірі
шығады. Олардың ақиқаттығын 1, жалғандығын 0 деп белгілеген
тиімді.
Бульдік алгебрада мҧндай логикалық байланыстар операция
ретінде қарастырылады.
1.
Теріске шығару ―емес‖(«не» - отрицание), кейде оны
Достарыңызбен бөлісу: |
