🗊Презентация Логические величины, операции, выражения

Логические величины, операции, выражения ГБОУ СПО «НТСТиСО»

Основные понятия Слово логика означает совокупность правил, которым подчиняется процесс мышления. Сам термин "логика" происходит от древнегреческого «logos», означающего "слово, мысль, понятие, рассуждение, закон".  Формальная логика - наука о формах и законах мышления. Законы логики отражают в сознании человека свойства, связи и отношения объектов окружающего мира. Логика как наука позволяет строить формальные модели окружающего мира, отвлекаясь от содержательной стороны. Основными формами мышления являются понятия, суждения и умозаключения.      Понятие - это форма мышления, которая выделяет существенные признаки предмета или класса предметов, отличающие его от других. Например, компьютер, человек, ученики.      Суждения - это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком, отношения между предметами или факт существования предмета и которая может быть либо истинной, либо ложной.

Логические выражения и логические операции

Логическое отрицание (инверсия)

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

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

Логическое следование (импликация)

Логическое тождество (эквиваленция)

Построение таблиц истинности для логических функций

Логические функции и их преобразования. Законы логики

Вопросы для самоконтроля