ОСНОВЫ ЛОГИКИ И ЛОГИЧЕСКИЕ ОСНОВЫ КОМПЬЮТЕРА. Логика – наука о формах и способах человеческого мышления.

Формы мышления. Понятие. Высказывание. Умозаключение.

Понятие Это форма мышления, фиксирующая основные, существенные признаки объекта. Понятие имеет две стороны: содержание и объем. Содержание понятия составляет совокупность вещественных признаков объекта. Объем понятия определяется совокупностью предметов, на которую оно распространяется.

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

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

Алгебра высказываний. Разработана для того, чтобы можно было определять истинность или ложность составленных высказываний, не вникая в их содержание. Высказывания обозначаются именами логических переменных, которые могут принимать значения: «истина» (1) и «ложь» (0).

Логическое умножение(конъюнкция) АВА и В

Логическое сложение(дизъюнкция) АВА или В

Логическое отрицание(инверсия). АНЕ А 01 10