Основы логики и логические операции

Логика — это наука, изучающая правила правильного мышления. Как отдельная наука она сложилась в IV веке до н. э. благодаря греческому учёному Аристотелю; на Востоке его учение развил Абу Наср аль-Фараби. Мышление имеет три основные формы: понятие (основные признаки предмета), высказывание и умозаключение (получение нового высказывания из известных). Высказывание — это повествовательное предложение, про которое можно однозначно сказать, что оно истинно или ложно; вопросы, восклицания и приказы высказываниями не являются. Высказывание, которое нельзя разделить на части, называется простым; высказывание, соединённое словами «и», «или», «не», — составным. Высказывания обозначают заглавными латинскими буквами (A, B, C…); такая буква — логическая переменная, её значение равно 1 (истина) или 0 (ложь). Одно высказывание не может быть одновременно истинным и ложным.