Математикалық логиканың негізін қалаған ағылшын математигі Джордж Буль (1815 – 1864ж). Ол алғашқы рет жиындар теориясының логикалық анықтамасын берген.
Математикалық логика дегеніміз – математикалық әдістерді қолданып, ой түйіндеу логикасы.
Пікір дегеніміз – оқиғаның ақиқат немесе жалған екендігін айтатын кез келген ұйғарым.
Логикалық айнымалылар
Пікірді белгілеу үшін логикалықайнымалы қолданылады
Тек екі тұрақты: 1 – ақиқат немесе 0 – жалған белгіленулерімен анықталатынхшамасын логикалық айнымалы деп атайды.
мұндағы Х U – U әмбебап жиыны.
Логикалық амалдар
Қарапайым логикалық амалдар.
Логикалық теріске шығару «емес» ( ).
Логикалық қосу «немесе» ( , |, +, )
Логикалық көбейту «және» ( , &, *, ).
Белгіленуі:
Алгебралық
Теориялы-көпше
Бағдарламалық
Логикалық
Логикалық теріске шығару
Логикалық теріске шығару (инверсия) деп нәтижесі бастапқы пікірге «қарама-қайшы» пікірді айтады.
Логикада А пікірін “екі рет терістеу” А пікірін береді.
х
х
0
1
1
0
х
х
инвертор
Логикалық қосу(дизъюнкция)
Хақиқаттық жиынындағы х және У ақиқаттық жиынындағы у пікірлердің бірігуі Z=ХY ақиқаттық жиынындағы ху пікірі болады.
х
y
ху
0
0
0
0
1
1
1
0
1
1
1
1
1
х
y
х у
дизъюнктор
Логикалық көбейту(конъюнкция)
х
y
ху
0
0
0
0
1
0
1
0
0
1
1
1
Х ақиқаттық жиынындағы х және У ақиқаттық жиынындағы упікірлердің қиылысуы Z=ХY ақиқат жиынындағы ху пікіріболады.
В ={0,1} жиыны және онымен жасалатын барлық логикалық амалдармен құрылған алгебраны логика алгебрасы немесе Бульдік алгебра деп атайды.
А = < B, { , , } >
Логикалық амалдар
ды орындау тәртібі
Логикалық амалдарды орындау келесі кестеде көрсетілген приоритетпен (басымдылықпен) орындалады. Бір басылымдықтағы операциялар солдан оңға қарай орындалады. Жақша ішіндегі амал бірінші орындалады.