Тақырыбы: Логикалық операциялар. Коньюнкция, дизьюнкция инверсия

Тақырыбы: Логикалық операциялар. Коньюнкция, дизьюнкция инверсия

Күрделі жағдайларда сұрактардың жауабы ЖӘНЕ, НЕМЕСЕ, ЕМЕС логикалық жалғаулыктарын пайдаланып, құрамды пікірлер арқылы беріледі. Мысалы, "Бұл оқушы ақылды және зерек" пікірі қарапайым "Бұл окушы ақылды" және "Бұл оқушы зерек" деген пікірлерден тұратын құрамды пікір болып табылады.

Логикалық жалғаулықтардың көмегімен басқа пікірлерден құрастырылған пікірлерді құрамды деп атайды. Құрамды емес пікірлерді қарапайым немесе элементтар деп атайды.

Логикалық жалғаулықтар математикада күрделі айтылымдарды сипаттайтын логикалық операциялар болып табылады.

Логикалық айтылымдармен жұмыс істеу үшін оларға ат қояды. "Айдар жазда теңізге барады" айтылымы А арқылы белгіленсін, ал В арқылы — "Айдар жазда тауға барады" айтылымы белгіленсін. Сонда "Айдар жазда теңізге де, тауға да барады" құрамды айтылымын А және В түрінде қысқаша жазуға болады. Мұндағы "және" — логикалық жалғаулық, А, В — логикалық айнымалылар, олар тек екі мәнде болады: "ақиқат" немесе "жалған", сәйкесінше олар "0" не "1" арқылы белгіленеді.

Әрбір логикалық жалғаулық логикалық айтылымдармен орындалатын операция ретінде қарастырылады және олардың өз аты мен белгіленуі болады.

Конъюнкция (лат. conjunctіo – одақ, байланыс) – логикалық байланымдар, екі пікірдің бірігуінен логикалық “және” жалғауы арқылы пікір құратын логикалық операция (символдық жазылуы: ALB). Осылай құрылған күрделі пікір оған енетін барлық пікірлер ақиқат болғанда және тек сол жағдайда ақиқат, ал қалған жағдайлардың бәрінде жалған болады.^[1] Белгіленуі: {\displaystyle ~a\And \And ~b\,,\ ~a\And ~b\,,\ a\land b\,,\ a\cdot b\,,\ ~a~{\mbox{AND}}~b\,}алгебрадағы көбейту секілді логикалық көбейту белгісі жазылмауы мүмкін: {\displaystyle ~ab\,}Бинарлық конъюнкциясының ақиқаттық таблицасы: