логика

ЦЕЛИ ОБУЧЕНИЯ
ПЕРЕВОДИТЬ ЦЕЛЫЕ ЧИСЛА ИЗ ДЕСЯТИЧНОЙ СИСТЕМЫ СЧИСЛЕНИЯ В ДВОИЧНУЮ, ВОСЬМЕРИЧНУЮ, ШЕСТНАДЦАТЕРИЧНУЮ И ОБРАТНО;
ИСПОЛЬЗОВАТЬ ЛОГИЧЕСКИЕ ОПЕРАЦИИ (ДИЗЪЮНКЦИЯ, КОНЪЮНКЦИЯ, ИНВЕРСИЯ);
• СТРОИТЬ ТАБЛИЦЫ ИСТИННОСТИ ДЛЯ ЗАДАННОГО ЛОГИЧЕСКОГО ВЫРАЖЕНИЯ;
• ОБЪЯСНЯТЬ НАЗНАЧЕНИЕ ОСНОВНЫХ ЛОГИЧЕСКИХ ЭЛЕМЕНТОВ: КОНЪЮНКТОР, ДИЗЪЮНКТОР, ИНВЕРТОР;
• ПРЕОБРАЗОВЫВАТЬ ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ В ЛОГИЧЕСКИЕ СХЕМЫ И НАОБОРОТ;
• ОПИСЫВАТЬ ФУНКЦИИ УСТРОЙСТВА УПРАВЛЕНИЯ, АРИФМЕТИКОЛОГИЧЕСКОГО УСТРОЙСТВА И РЕГИСТРОВ ПАМЯТИ КАК ОТДЕЛЬНЫХ ЧАСТЕЙ ПРОЦЕССОРА;
• СРАВНИВАТЬ ТАБЛИЦЫ КОДИРОВКИ СИМВОЛОВ UNICODE И AS

ЛОГИКА – ЭТО НАУКА О ВИДАХ И ЗАКОНАХ ЧЕЛОВЕЧЕСКОГО МЫШЛЕНИЯ, В ТОМ ЧИСЛЕ О ЗАКОНОМЕРНОСТЯХ ВЫСКАЗЫВАНИЙ, КОТОРЫЕ МОЖНО ДОКАЗАТЬ. КАК НАУЧНЫЕ ДИСЦИПЛИНЫ СФОРМИРОВАНЫ ФОРМАЛЬНАЯ, МАТЕМАТИЧЕСКАЯ, ВЕРОЯТНОСТНАЯ И ДР. ВИДЫ ЛОГИКИ.
ФОРМАЛЬНАЯ ЛОГИКА – ЭТО ЛОГИКА, СВЯЗАННАЯ С АНАЛИЗОМ НАШЕГО СОДЕРЖАТЕЛЬНОГО МНЕНИЯ, КОТОРОЕ ВЫРАЖАЕТСЯ ЯЗЫКОМ РЕЧИ.
ВЕРОЯТНОСТНАЯ ЛОГИКА – ЛОГИКА, СОЗДАВАЕМАЯ СЛУЧАЙНЫМИ ПАРАМЕТРАМИ, ОСНОВАННАЯ НА ИСПОЛЬЗОВАНИИ НЕСКОЛЬКИХ СЕРИЙ ИСПЫТАНИЙ.

МАТЕМАТИЧЕСКАЯ ЛОГИКА ЯВЛЯЕТСЯ ЧАСТЬЮ ФОРМАЛЬНОЙ ЛОГИКИ, ИМЕЕТ ЧЕТКО ОПРЕДЕЛЕННЫЕ ФОРМЫ И ВЫСКАЗЫВАНИЯ. ОНА ИЗУЧАЮТ ТОЛЬКО ТЕ МЫСЛИ, КОТОРЫЕ МОЖНО РЕШИТЬ ИХ ИСТИННОСТЬ ИЛИ ЛОЖЬ.
ВЫСКАЗЫВАНИЕ – КАКОЕ-ЛИБО ПРЕДПОЛОЖЕНИЕ, КОТОРОЕ МОЖЕТ БЫТЬ ИСТИНОЙ ИЛИ ЛОЖЬЮ. НАПРИМЕР, ВЫСКАЗЫВАНИЯ «НУР-СУЛТАН – СТОЛИЦА РЕСПУБЛИКИ КАЗАХСТАН» И «2 * 3 = 6» – ИСТИННЫЕ, А ТАКИЕ, КАК «ГОРА ПЛОСКАЯ», «2 * 2 = 5» – ЛОЖНЫЕ.

ТАБЛИЦА ИСТИННОСТИ – ЭТО ПРЕДСТАВЛЕНИЕ ЛОГИЧЕСКИХ ОПЕРАЦИЙ В ВИДЕ ТАБЛИЦЫ, В КОТОРОЙ ВСЕ ВОЗМОЖНЫЕ ПОСЛЕДОВАТЕЛЬНОСТИ ЗНАЧЕНИЙ ИСТИННОСТИ ВСТРОЕННЫХ ОПЕРАНД ПЕРЕЧИСЛЕНЫ ВМЕСТЕ С ФАКТИЧЕСКИМ ЗНАЧЕНИЕМ РЕЗУЛЬТАТА ОПЕРАЦИИ ДЛЯ КАЖДОЙ ИЗ ЭТИХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ.

ɅОГИЧЕСКОЕ УМНОЖЕНИЕ (КОНЪЮНКЦИЯ)
СОЕДИНЕНИЕ ДВУХ ПРОСТЫХ ВЫСКАЗЫВАНИЙ A И B В ОДНО СОСТАВНОЕ С ПОМОЩЬЮ СОЮЗА И НАЗЫВАЕТСЯ ЛОГИЧЕСКИМ УМНОЖЕНИЕМ, ИЛИ КОНЪЮНКЦИЕЙ, А РЕЗУЛЬТАТ ОПЕРАЦИИ – ЛОГИЧЕСКИМ ПРОИЗВЕДЕНИЕМ. ОПЕРАЦИЯ И ОТМЕЧАЕТСЯ ЗНАКОМ «‸», «·» ИЛИ «&».

ТАБЛИЦА ИСТИННОСТИ ЛОГИЧЕСКОЙ ОПЕРАЦИИ И.
Здесь А и В – два высказывания, принимающие значения да или нет. Если оба высказывания истинны, то конъюнкция высказываний А и В истинна. Если одно из высказываний А и В ложно или оба высказывания ложны, то конъюнкция А и В ложна.

ɅОГИЧЕСКОЕ СЛОЖЕНИЕ (ДИЗЪЮНКЦИЯ)
ОБЪЕДИНЕНИЕ ДВУХ ПРОСТЫХ УТВЕРЖДЕНИЙ A И B В ОДНО СОСТАВНОЕ УТВЕРЖДЕНИЕ С ПОМОЩЬЮ СОЮЗА ИЛИ НАЗЫВАЕТСЯ ЛОГИЧЕСКИМ СЛОЖЕНИЕМ, ИЛИ ДИЗЪЮНКЦИЕЙ, А РЕЗУЛЬТАТ ОПЕРАЦИИ – ЛОГИЧЕСКОЙ СУММОЙ. ОПЕРАЦИЯ ИЛИ ОТМЕЧАЕТСЯ ЗНАКОМ «|», «V» ИЛИ «+». ТАБЛИЦА ИСТИННОСТИ ЛОГИЧЕСКОЙ ОПЕРАЦИИ ИЛИ.

ЕСЛИ ОДНО ИЗ ВЫСКАЗЫВАНИЙ А И В ИСТИННО, ТО ДИЗЪЮНКЦИЯ А И В БУДЕТ ИСТИННОЙ. ЕСЛИ ЖЕ ОБА ВЫСКАЗЫВАНИЯ А И В ЛОЖНЫ, ТО ДИЗЪЮНКЦИЯ А И В ЛОЖНА.

ɅОГИЧЕСКОЕ ОТРИЦАНИЕ (ИНВЕРСИЯ)
ПРИСВОЕНИЕ СОЮЗА НЕ ПРОСТОМУ УТВЕРЖДЕНИЮ A НАЗЫВАЕТСЯ ЛОГИЧЕСКИМ ОТРИЦАНИЕМ, ИЛИ ИНВЕРСИЕЙ, В РЕЗУЛЬТАТЕ ВЫПОЛНЕНИЯ ЭТОЙ ОПЕРАЦИИ ПОЯВЛЯЕТСЯ НОВОЕ УТВЕРЖДЕНИЕ. ОПЕРАЦИЯ НЕ ОБОЗНАЧАЕТСЯ ЧЕРТОЙ НАД УТВЕРЖДЕНИЕМ А ИЛИ ЗНАКОМ «¬». ТАБЛИЦА ИСТИННОСТИ ЛОГИЧЕСКОЙ ОПЕРАЦИИ НЕ.

ЕСЛИ ИСХОДНОЕ ВЫСКАЗЫВАНИЕ ЛОЖНО, ТОГДА ОТРИЦАНИЕ ЯВЛЯЕТСЯ ИСТИННЫМ, И НАОБОРОТ, ЕСЛИ ИСХОДНОЕ ВЫСКАЗЫВАНИЕ ИСТИННО, ТО ЕГО ОТРИЦАНИЕ ЛОЖНО.
ПРИМЕР 1. ПОСТРОИМ ТАБЛИЦУ ИСТИННОСТИ ВЫРАЖЕНИЯ ДЛЯ А · (В).