Есептеуіш техниканы жµндеу жєне техникалыќ ќызмет кµрсету
жүктеу/скачать 5.94 Mb. Pdf көрінісі
|
- Бұл бет үшін навигация:
- Пікірлік форма
- конъюнкция
| алгебрасы деп аталады.
Пікір - жалған және ақиқат болатын кейбір пайымдаулар. ―Екі - жҧп сан‖, ―Бейрут - Израильдің астанасы‖ сӛйлемдері пікір болады, ӛйткені 1-сі - ақиқат, 2-сі - жалған екенін анықтауға болады. Сҧраулы, лепті сӛйлемдер пікір бола алмайды, тек хабарлы сӛйлем болуы шарт. Пікірлік форма – қҧрамында ең болмағанда бір ғана айнымаласы бар хабарлы сӛйлем.(мысалы теңдеу) Логика алгебрасы пікірдің мазмҧнын қарастырмайды, ақиқаттықты ғана анықтайды. Осыған дейін жай пікірлер туралы айтылса, енді екі немесе одан кӛп жай пікірлер кҥрделі пікірді қҧрайды. Олар логикалық жалғаулар арқылы қҧрылады. ―2 - жай және жҧп сан‖ екі жай сӛйлемнен тҧрады, және жалғауы алынған, пікір ақиқат. ―Жексенбіде бақшада жҧмыс істейміз немесе серуенге шығамыз.‖ Бҧл пікірлердің ақиқат жалғандығы әрбір жай пікірдің ақиқаттығына байланысты анықталады. Мысалы ―2 - жай және жҧп сан‖ пікіріндегі ―2 - жай сан‖ А, ―2 - жҧп сан‖ В деп белгіленеді. Олардың арасындағы байланыс ―және‖, бҧдан «А және В» пікірі шығады. Олардың ақиқаттығын 1, жалғандығын 0 деп белгілеген тиімді. Бульдік алгебрада мҧндай логикалық байланыстар операция ретінде қарастырылады. 1. Теріске шығару ―емес‖(«не» - отрицание), кейде оны инверсия деп те атайды, белгіленуі- ¬. А пікірін теріске шығару дегеніміз А ақиқат болғанда жалған болатын А пікірі. 2. ―ЖӘНЕ‖ арқылы ӛрнектелген операция конъюнкция (лат. conjunctio – соединение-жалғастыру) немесе логикалық кӛбейту деп аталады, белгіленуі-& («амперсанд»), •, х, және, and. А және В пікірлері ақиқат болғанда тек сонда ғана А және В ақиқат болады. 3. ―НЕМЕСЕ‖ арқылы ӛрнектелген операция дизъюнкция (лат. disjunctio – разделение-бӛлу) немесе логикалық қосу деп аталып, , немесе, or белгілерімен белгіленеді. А немесе В пікірлері жалған болғанда тек сонда ғана А және В жалған болады. жүктеу/скачать 5.94 Mb. Достарыңызбен бөлісу:
|