Уроки

Урок на тему «Логические операции. Отрицание (инверсия)»

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

Урок на тему «Таблицы истинности логических операций»

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

Урок на тему «Алгебра логики»

Алгебра логики или алгебра высказываний — раздел математической логики, который появилась в середине 19 века благодаря Джорджу Булю. Эта наука изучает логические операции над высказываниями. Понятие высказывания одно из ключевых понятий логики. Высказывание — это повествовательное предложение, о котором можно однозначно сказать истинно оно или ложно.