Пәннің электрондық ОҚУ-Әдістемелік кешені
жүктеу/скачать 0,99 Mb.
|
5a98e65d-32bb-11e3-9d7d-f6d299da70eeУМКД материал Т-243у МПИ
| Логика алгебрасы – математикалық логиканың логикалық мәндері (ақиқат немесе жалған) және қолданылатын логикалық операциялар тұрғысынан қарастырылатын пікірлерді зерттейтін бөлігі. Логика алгебрасы ХІХ ғасырдың ортасында Дж. Бульдің еңбектерінде құрылған. Логикалық алгебрасын қамтамасыз ету әйгілі логикалық есептерді алгебралық әдістермен шешуге тырысудың нәтижесінде пайда болды. Логика алгебрасының негізгі мәселесі пікірлермен және оларға қолданылатын логикалық операцияларды зерттеу болып табылады. Пікірлер - өздеріне қатысты олар ақиқат немесе жалған екенін түжырымдаудың мағынасы бар болатын сөйлемдер. Өз кезегінде пікір болып табылатындай өзіндік бөлігін ажыратып алуға болмайтындай пікір жай пікір деп аталады.
«Және», «немесе», «егер...», «онда», «эквивалентті» логикалық байланыстарын, «емес» терістеуін және т.с.с. қолдану жай пікірлерден жаңа, «күрделірек» пікір құруға мүмкіндік береді. Логикалық байланыстардың өзіндік атаулары мен белгіленулері болады: «Және» - конъюнкция, & арқылы белгіленеді; «немесе» - дизъюнкция, V арқылы белгіленеді; «егер...», «онда» - импликация, → арқылы белгіленеді; «эквивалентті» - эквиваленттік, ~ (парапарлық) арқылы белгіленеді; «емес» - терістеу, - үстіндегі сызықшасымен белгіленеді. Осылай алынған пікірлердің ақиқаттығы немесе жалғандығы бастапқы пікірлердің ақиқаттығына немесе жалғандығына және пікірлерге қолданылатын операциялар ретіндегі сәйкес байланыс тұжырымдамасына тәуелді. Ақиқаттықты белгілеу үшін «А» символы, ал жалғандықты белгілеу үшін «Ж» символы енгізіледі. Содан кейін бұл символдардың орнына 1 мен 0 цифрлары пайдаланылады. Күрделі пікірлердің (пікірлер алгебрасы) формулаларынан оларды құрайтын жай пікірлерді әртүрлі мәндеріне сәйкес мәндерінің ақиқаттық кестелерін пайдаланып анықтауға болады.
жүктеу/скачать 0,99 Mb. Достарыңызбен бөлісу:
| ||||||||||||