Логика - наука, изучающая законы и формы мышления; учение о способах рассуждений и доказательств.

Законы мира, сущность предметов, общее в них мы познаем посредством абстрактного мышления. Основными формами абстрактного мышления являются понятия, суждения и умозаключения.

Понятие - форма мышления, в которой отражаются существенные признаки отдельного предмета или класса однородных предметов. Понятия в языке выражаются словами.

Содержание понятия - совокупность существенных признаков, отраженных в этом понятии.

Объем понятия - множество предметов, каждому из которых принадлежат признаки, составляющие содержание понятия. Выделяют понятия общие и единичные.

Выделяют следующие отношения понятий по объему:

  • тождество или совпадение объемов, означающее, что объем одного понятия равен объему другого понятия;
  • подчинение или включение объемов: объем одного из понятий полностью включен в объем другого;
  • исключение объемов - случай, в котором нет ни одного признака, который бы находился в двух объемах;
  • пересечение или частичное совпадение объемов;
  • соподчинение объемов - случай, когда объемы двух понятий, исключающие друг друга, входят в объем третьего.

Суждение - это форма мышления, в которой что-либо утверждается или отрицается о предметах, признаках или их отношениях.

Умозаключение - форма мышления, посредством которой из одного или нескольких суждений, называемых посылками, мы по определенным правилам вывода получаем суждение-заключение.

Алгебра в широком смысле этого слова наука об общих операциях, аналогичных сложению и умножению, которые могут выполняться не только над числами, но и над другими математическими объектами.

Примеры алгебр: алгебра натуральных чисел, алгебра рациональных чисел, алгебра многочленов, алгебра векторов, алгебра матриц, алгебра множеств и т.д. Объектами алгебры логики или булевой алгебры являются высказывания.

Высказывание - это любое предложение какого-либо языка (утверждение), содержание которого можно определить как истинное или ложное.

Всякое высказывание или истинно, или ложно; быть одновременно и тем и другим оно не может.

В естественном языке высказывания выражаются повествовательными предложениями. Восклицательные и вопросительные предложения высказываниями не являются.

Высказывания могут выражаться с помощью математических, физических, химических и прочих знаков. Из двух числовых выражений можно составить высказывания, соединив их знаками равенства или неравенства.

Высказывание называется простым (элементарным), если никакая его часть сама не является высказыванием.

Высказывание, состоящее из простых высказываний, называются составным (сложным).

Простые высказывания в алгебре логики обозначаются заглавными латинскими буквами:
А = {Аристотель - основоположник логики},
В = {На яблонях растут бананы}.

Обоснование истинности или ложности простых высказываний решается вне алгебры логики. Например, истинность или ложность высказывания: "Сумма углов треугольника равна 180 градусов" устанавливается геометрией, причем - в геометрии Евклида это высказывание является истинным, а в геометрии Лобачевского - ложным.

Истинному высказыванию ставится в соответствие 1, ложному - 0. Таким образом, А = 1, В = 0.

Алгебра логики отвлекается от смысловой содержательности высказываний. Ее интересует только один факт - истинно или ложно данное высказывание, что дает возможность определять истинность или ложность составных высказываний алгебраическими методами.

Основные операции алгебры высказываний.

Логическая операция КОНЪЮНКЦИЯ (лат. conjunctio - связываю):

  • в естественном языке соответствует союзу и;
  • обозначение: &;
  • в языках программирования обозначение: and;
  • иное название: логическое умножение.

Конъюнкция - это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания истинны.

Таблица истинности конъюнкции:

АВА&В
000
010
100
111

Логическая операция ДИЗЪЮНКЦИЯ (лат. disjunctio - различаю):

  • в естественном языке соответствует союзу или;
  • обозначение: ;
  • в языках программирования обозначение: or;
  • иное название: логическое сложение.

Дизъюнкция - это логическая операция, которая каждым двум простым высказываниям ставит в соответствие составное высказывание, являющееся ложным тогда и только тогда, когда оба исходных высказывания ложны и истинным, когда хотя бы одно из двух образующих его высказываний истинно.

Таблица истинности дизъюнкции:

АВАВ
000
011
101
111

Логическая операция ИНВЕРСИЯ (лат. inversio - переворачиваю):

  • в естественном языке соответствует словам "Неверно, что... " и частице не;
  • обозначение: не А, ;
  • в языках программирования обозначение: not;
  • иное название: отрицание.

Отрицание - это логическая операция, которая каждому простому высказыванию ставит в соответствие составное высказывание, заключающееся в том, что исходное высказывание отрицается.

Таблица истинности отрицания:

Ане А
01
10

Функция логического сложения ИЛИ (ЛогЗнач1;ЛогЗнач2;…) дает значение TRUE (Истина), только тогда, когда хотя бы один логический аргумент имеют значение TRUE (1).

Функция логического отрицания НЕ(ЛогЗнач) дает значение TRUE (Истина), когда логический аргумент имеют значение FALSE (0) и, наоборот, значение FALSE (Ложь), когда логический аргумент имеют значение TRUE (1).

Логическая операция ИМПЛИКАЦИЯ (лат. implicatio - тесно связываю):

  • в естественном языке соответствует обороту Если ..., то ...;
  • обозначение: ;
  • иное название: логическое следование.

Импликация - это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся ложным тогда и только тогда, когда условие (первое высказывание) истинно, а следствие (второе высказывание) ложно.

Таблица истинности импликации:

АВАВ
001
011
100
111

Логическая операция ЭКВИВАЛЕНЦИЯ (лат. аequivalens - равноценное):

  • в естественном языке соответствует оборотам речи тогда и только тогда и в том и только в том случае;
  • обозначение: ~ ;
  • иное название: равнозначность.

Эквиваленция - это логическая операция, ставящая в соответствие каждым двум простым высказываниям составное высказывание, являющееся истинным тогда и только тогда, когда оба исходных высказывания одновременно истинны или одновременно ложны.

Таблица истинности эквиваленции:

АВА~В
001
010
100
111

Логические операции имеют следующий приоритет: действия в скобках, инверсия , &, , , ~.

Таблицу, показывающую, какие значения принимает составное высказывание при всех сочетаниях (наборах) значений входящих в него простых высказываний, называют таблицей истинности составного высказывания.

Составные высказывания в алгебре логики записываются с помощью логических выражений. Для любого логического выражения достаточно просто построить таблицу истинности.

Алгоритм построения таблицы истинности:

  1. подсчитать количество переменных n в логическом выражении;
  2. определить число строк в таблице m = 2n;
  3. подсчитать количество логических операций в формуле;
  4. установить последовательность выполнения логических операций с учетом скобок и приоритетов;
  5. определить количество столбцов в таблице: число переменных плюс число операций;
  6. выписать наборы входных переменных с учетом того, что они представляют собой натуральный ряд n-разрядных двоичных чисел от 0 до 2n-1;
  7. провести заполнение таблицы истинности по столбикам, выполняя логические операции в соответствии с установленной в п.4 последовательностью.

Наборы входных переменных, во избежание ошибок, рекомендуют перечислять следующим образом:
а) определить количество наборов входных переменных;
б) разделить колонку значений первой переменной пополам и заполнить верхнюю часть колонки 0, а нижнюю -1;
в) разделить колонку значений второй переменной на четыре части и заполнить каждую четверть чередующимися группами 0 или 1, начиная с группы 0;
г) продолжать деление колонок значений последующих переменных на 8, 16 и т.д. частей и заполнение их группами 0 или 1 до тех пор, пока группы 0 и 1 не будут состоять из одного символа.

Пример. Для формулы A&(B C ) построить таблицу истинности алгебраически и с использованием электронных таблиц.

Количество логических переменных 3, следовательно, количество строк в таблице истинности должно быть 23 = 8.

Количество логических операций в формуле 5, следовательно, количество столбцов в таблице истинности должно быть 3 + 5 = 8.

АВCВCА & (ВC)
00010
00100
01010
01110
10011
10100
11011
11111

Логической (булевой) функцией называют функцию F(Х1, Х2, ..., Хn), аргументы которой Х1, Х2, ..., Хn (независимые переменные) и сама функция (зависимая переменная) принимают значения 0 или 1.

Таблицу, показывающую, какие значения принимает логическая функция при всех сочетаниях значений ее аргументов, называют таблицей истинности логической функции. Таблица истинности логической функции n аргументов содержит 2n строк, n столбцов значений аргументов и 1 столбец значений функции.

Логические функции могут быть заданы табличным способом или аналитически - в виде соответствующих формул.

Если логическая функция представлена с помощью дизъюнкций, конъюнкций и инверсий, то такая форма представления называется нормальной.

Существует 16 различных логических функций от двух переменных.

Логические выражения называются равносильными, если их истинностные значения совпадают при любых значениях, входящих в них логических переменных.

В алгебре логики имеется ряд законов, позволяющих производить равносильные преобразования логических выражений. Приведем соотношения, отражающие эти законы.

  1. Закон двойного отрицания:
    не (не А) = A.
    Двойное отрицание исключает отрицание.

  2. Переместительный (коммутативный) закон:
    - для логического сложения:
    А B = B A;

    - для логического умножения:
    A & B = B & A.

    Результат операции над высказываниями не зависит от того, в каком порядке берутся эти высказывания.

  3. Сочетательный (ассоциативный) закон:
    - для логического сложения:
    (A B) C = A (B C);

    - для логического умножения:
    (A & B) & C = A & (B & C).

    При одинаковых знаках скобки можно ставить произвольно или вообще опускать.

  4. Распределительный (дистрибутивный) закон:
    - для логического сложения:
    (A B) & C = (A & C) (B & C);

    - для логического умножения:
    (A & B) C = (A C) & (B C).

    Определяет правило выноса общего высказывания за скобку.

  5. Закон общей инверсии (законы де Моргана):
    - для логического сложения:
    ;

    - для логического умножения:
    .

  6. Закон идемпотентности ( от латинских слов idem - тот же самый и potens -сильный; дословно - равносильный):
    - для логического сложения:
    A A = A;

    - для логического умножения:
    A & A = A.

    Закон означает отсутствие показателей степени.

  7. Законы исключения констант:
    - для логического сложения:
    A 1 = 1, A 0 = A;

    - для логического умножения:
    A & 1 = A, A & 0 = 0.

  8. Закон противоречия:
    A & (не A)= 0.

    Невозможно, чтобы противоречащие высказывания были одновременно истинными.

  9. Закон исключения третьего:
    A (не A) = 1.

    Из двух противоречащих высказываний об одном и том же предмете одно всегда истинно, а второе - ложно, третьего не дано.

  10. Закон поглощения:
    - для логического сложения:
    A (A & B) = A;

    - для логического умножения:
    A & (A B) = A.

  11. Закон исключения (склеивания):
    - для логического сложения:
    (A & B) ( & B) = B;

    - для логического умножения:
    (A B) & ( B) = B.

  12. Закон контрапозиции (правило перевертывания):
    (AB) = (BA).

    Справедливость приведенных законов можно доказать табличным способом: выписать все наборы значений А и В, вычислить на них значения левой и правой частей доказываемого выражения и убедиться, что результирующие столбцы совпадут.

Пример. Упростить логическое выражение:



Рекомендованная литература:

  1. Ефимова О., Морозов В., Угринович Н. Курс компьютерной технологии с основами информатики. Учебное пособие для старших классов. - М.: ООО "Издательство АСТ"; АВF, 2000 г.
  2. Задачник-практикум по информатике. В 2-х томах/Под ред. И.Семакина, Е.Хеннера. - М.: Лаборатория Базовых Знаний, 2001 г.
  3. Угринович Н. Информатика и информационные технологии. 10-11 класс- М.: Лаборатория Базовых Знаний, АО "Московские учебники", 2001 г.

Рекомендации к теме

Уважаемый ученик!

В Работе 1 представлены три темы, лежащие в основе курса "Информационные технологии". Надеемся, что Вы уже имеете минимальный опыт работы с компьютером и познакомились с его устройством еще в средних классах школы.

Тема "Компьютерные коммуникации. Интернет" вызывает большой интерес в последнее время, многие молодые люди проводят в глобальной сети почти все свое свободное время. Хочется напомнить, что виртуозное владение Интернет подразумевает не просто умение "бродить" в сети и посещать время от времени интересные "чат'ы", но и разбираться в принципах организации информации в глобальной сети, разбираться в ее структуре, протоколах, уметь настраивать браузер и почтовые программы, знать и соблюдать этику работы в Интернет. Ну и конечно использовать сеть по самому важному из ее назначений - для расширения своего кругозора.

Мы не рассматривали в этом курсе технологию создания Web-сайтов, полагая, что минимальные знания для создания домашней веб-страницы можно почерпнуть из дополнительной литературы. Создание же сайтов на профессиональном уровне требует определенной подготовки, в основе которой лежат навыки работы с текстом и графикой, а также умение программировать.

Тема "Логика" обычно вызывает некоторое недоумение учащихся, не все понимают важность изучения данной темы. Хочется отметить, что знание логики важно не только как основа для дальнейшего изучения языков программирования и принципов работы с базами данных, но и как "тренажер" для развития особого типа мышления. Человек, преуспевший в изучении логики, имеет огромные преимущества в общении. Очень лестно услышать в свой адрес: "Логично", "в Ваших рассуждениях присутствует логика".