Пікірлер алгебрасы
Логика — пікірлер жөне олардың байланыстары туралы ғылым. Ойлау, пайымдау әдістері туралы алғашқы ілімдер Ежелгі Шығыс елдерінде пайда болды
Логика
Логикалық алгебра Математикалық логиканың негізін қалаған ағылшын математигі Джордж Буль (1815 – 1864ж). Ол алғашқы рет жиындар теориясының логикалық анықтамасын берген. Математикалық логика дегеніміз – математикалық әдістерді қолданып, ой түйіндеу логикасы. Пікір дегеніміз – оқиғаның ақиқат немесе жалған екендігін айтатын кез келген ұйғарым.
Математикалык логика – дөлелдеулер техникасын зерттейді. Компьютерлер математика пәні сиякты аныктамалар мен дәлелдеулерде нақтылықты және қатаң реттілікті талап етеді.
Пікірлер алгебрасы математикалық логика аймағы болып табылады.
Математикалык логика
Пікірлер алгебрасы —идеал пікірлерге қатысты ақиқат немесе жалған пікір деп тұжырымдауға болатын пікірлерді зерттейтін логикалар алгебрасы. Логикалар алгебрасы пікірдің мағынасына назар аударып, терең қарастырмайды.
Сондықтан логикалар алгебрасы тек екі мағынаға ие болады, яғни пікірлердің кез келгені «акикат» немесе «жалған» пікірлерінің біреуін ғана сипаттайды.
Пікірлер алгебрасы
Қарапайым пікірлер логикалар алгебрасында латынның бас әріптерімен таңбаланады:
А = {Абай — қазақ халқының ұлы ақыны}.
В = {А.С. Пушкин — ұлы математик}.
Акикат пікірге 1 саны, жалғанға 0 саны сейкес қойылады. Сондықтан
А=1, В=0.
Құрмалас пікірлер табиғи тілде пікірлер алгебрасында логикалык амалдармен алмастырылатын «және», «немесе», «теріске шығару» сөздері арқылы құрылады. Логикалық амалдар ақиқаттық кестесімен беріледі және графикалық түрде Эйлер-Венн диаграммасы көмегімен бейнеленеді
Достарыңызбен бөлісу: | 
