Презентация, доклад на тему Логика. Логикалық операциялар. Ақиқат кестелері

көмегімен біріктіру амалы логикалық көбейту немесе коньюнкция деп аталады. Коньюнкция – ол әрбір қарапайым екі пікірге, пікірлердің екеуі де ақиқат болғанда ғана ақиқат мән қабылдайтын күрделі пікірді сәйкес қоятын логикалық амал.
Коньюнкция:
— табиғи тілде «және» жалғаулығына сәйкес келеді;
— пікірлер алгебрасында ^ немесе & белгілерінің бірімен таңбаланады.

Логикалық қосу (дизьюнкция). Екі немесе  одан көп пікірлерді «немесе» жалғаулығы көмегімен біріктіру амалы логикалық қосу немесе дизьюнкция деп аталады.Дизьюнкция – ол әрбір қарапайым екі пікірге, пікірлердің екеуі де жалған болғанда ғана жалған мән қабылдайтын, пікірлердің ең болмағанда біреуі ақиқат болғандаа ақиқат мән қабылдайтын  күрделі пікірді сәйкес қоятын логикалық амал.
Дизьюнкция:
— табиғи тілде «немесе» жалғаулығына сәйкес келеді;
— пікірлер алгебрасында ٧ белгісімен таңбаланады.

Логикалық теріске шығару (инверсия). «Емес» жалғауының көмегімен пікірді теріске шығару амалы логикалық теріске шығару немесе инверсия деп аталады. Инверсия – ол әрбір қарапайым пікірге, негізгі пікірдің жалған екенін қорытындылайтын күрделі пікірді сәйкес қоятын логикалық амал.
Инверсия:
— табиғи тілдегі «дұрыс емес», «теріске шығару»  сөздеріне және «емес» жалғауына сәйкес келеді;
— пікірлер алгебрасында  белгісімен таңбаланады.
Күрделі пікірлердің қабылдайтын мағынасына байланысты оның құрамына кіретін жай пікірлердің жиынтығын көрсететін кесте ақиқаттық кестесі деп аталады.
Күрделі пікірлер логика алгебрасында логикалық өрнектер көмегімен жазылады, ал логикалық өрнекке сәйкес ақиқаттық кестесін құру жеткілікті.