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

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

Это выражение либо истинно(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 инверсия (переворачивание смысла или отрицание).

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

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

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

Ферменты в опасности: радиация и холод
Итак, радиация для ферментов крайне губительна. Почему? Потому что все ферменты — белки! Под действием этой самой радиации происходит денатурация....
Напряжение
Если кратко: напряжение = давление. ~ Обозначение: U. ~ Измерение: В (вольт). ~ Прибор для измерения: вольтметр. Различают напряжение...
Административное право для ЕГЭ по обществознанию
❗ Какие бывают нарушения? Против личности Посягающие на собственность Посягающие на общественный порядок В области охраны...
Как решать восьмое задание в ЕГЭ 2026 по русскому языку
Разбираем алгоритм решения и теорию для выполнения восьмого задания в ЕГЭ 2026 по русскому языку.  Алгоритм Прочитайте перечень...
Положения клеточной теории
Кратко разберём положения клеточной теории. Почему она ценна для биологической науки? Впервые клеточная теория была сформулирована немецким...
Как решать первое задание в ЕГЭ 2026 по русскому языку
Разбираем алгоритм решения и теорию для выполнения первого задания в ЕГЭ 2026 по русскому языку.  Алгоритм Внимательно прочитайте...

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

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