ВВЕДЕНИЕ В МАТЕМАТИЧЕСКУЮ ЛОГИКУ

Редакция Без Сменки
Честно. Понятно. С душой.
▪️ Математическая логика — это аппарат формальной обработки высказываний.
▪️ Высказывания — это выражения естественного (русского) языка, например: «Я люблю информатику».

Это выражение либо истинно(1), либо ложно(0)

❔Что можно делать, если есть только 0 и 1?

Рассмотрим бинарную (имеющую два состояния) переменную b:
B —> B;
B – это множество бинарных значений, B = {0; 1};

Берём b и ставим ей в соответствие число 0: f(b) = 0.
Берём b и ставим ей в соответствие число 1 : f(b) = 1
константы закончились
Берём b и ставим ей в соответствие число b : f(b) = b.
Берём b и ставим ей в соответствие число обратно b: f(b) = -b.

Больше не существует вариантов, где мы берём только одну b.

А интерес для нас представляет только операция f(b) = -b инверсия (переворачивание смысла или отрицание).

👉 Пример:
А = «Я люблю спать»
— А = «Я не люблю спать»

Где вы учитесь?

Вам также будет интересно

Особенности уголовного процесса
⚔️ Сразу перейдем к основным этапам уголовного процесса: 1. Возбуждение уголовного дела 2. Предварительное расследование - предварительное...
Химические свойства стирола
Стирол — бесцветная жидкость с резким запахом. Формула стирола С₆H₅-СH=CH₂ и его химические свойства во многом отличаются от свойств бензола и...
Алгоритм решения текстовых задач на ЕГЭ по профильной математике
Все или почти все текстовые задачи идут по одной проверенной схеме. Сначала естественно, нужно прочитать текст самой задачи, затем нарисовать к ней...
«НОВЫЙ ЧЕЛОВЕК»
Основные черты и герои, которых можно отнести к этом типу, на картинке. Сохраняй и заучивай
Болота в 26 задании ЕГЭ 2026 по географии
Болото — это избыточно увлажнённый участок земной поверхности со слоем торфа не менее 30 см (при меньшей мощности — заболоченные земли), со...
Социальные отношения: термины для ЕГЭ по обществознанию
Сделали словарик по блоку «Социология», тема социальных отношений. Социальная стратификация и мобильность географическая мобильность —...

0 комментария

Авторизуйтесь, чтобы оставить комментарий.