Абай атындағы Қазақ


a) Логика алгебрасының аксиомалары



Pdf көрінісі
бет201/464
Дата31.12.2021
өлшемі5.18 Mb.
#21079
1   ...   197   198   199   200   201   202   203   204   ...   464
a) Логика алгебрасының аксиомалары  
Логика  алгебрасында  қарастырылатын  айнымалылар  0  немесе  1  мəндерін  ғана  қабылдай  алады. 
Логика  алгебрасында:  эквиваленттілік  қатынасы  (=  арқылы  белгіленеді)  жəне  операциялар:  қосу 
(дизъюнкция) (v таңбасымен белгіленеді), көбейту амалдар (& конъюнкция ) таңбасымен белгіленеді 
немесе терістеу (инверсия) апострофпен немесе үсті сызылып белгіленетін операциялар бар. 
Логика алгебрасы келесідей аксиомалар жүйесімен анықталады: 
b) Логикалық өрнектер 
Логикалық өрнектерді жазу əдетте конъюнктивті  немесе дизъюнктивті формада логикалық  өрнектер 
логикалық  көбейтудің  логикалық  қосындысы  түрінде,  конъюнктивті  түрде  логикалық  қосынды-
лардың логикалық көбейтіндісі түрінде жазылады. Əрекеттер реті, алгебралық өрнектердегідей. 


Вестник КазНПУ имени Абая, Серия «Педагогические науки», №4 (52), 2016 г. 
128
 
Логикалық  өрнектер  логикалық  функцияның  мəнін  логикалық  айнымалылардың  мəнімен  байла-
ныстырады. 


Достарыңызбен бөлісу:
1   ...   197   198   199   200   201   202   203   204   ...   464




©emirsaba.org 2022
әкімшілігінің қараңыз

    Басты бет