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

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

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

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

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

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

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

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

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

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