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

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

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

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

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

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

Разбор заданий ЕГЭ-2022 по истории с Дальнего Востока
Разобрали задания, которые встретились на ЕГЭ-2022 по истории на Дальнем Востоке.
Тема, тематика, мотив, вечные темы в литературе
Что такое тема и какой она бывает в литературе? Основная Частная Ведущая тема произведения, определяющая его единство.  ...
Сквозная тема
Давай вернемся в детский сад. Садись за стол, бери вот эту коробку. Смотри, как много в ней разных бусин. А теперь бери ниточку. Нанизывай на нее...
Подборка произведений для сочинения в ЕГЭ по русскому языку
Ловите полезный список, состоящий из произведений, которые помогут при аргументации в сочинении ЕГЭ. М.Ю. Лермонтов «Бородино» А.С. Пушкин...
Лидерство
Политические лидеры в РФ: Президент председатель Совета Федерации председатель Госдумы председатели партий премьер-министр ...
Проводники в электростатическом поле
Проводит а-ль не проводит? А сейчас разберём 😎 Проводник — это тело, имеющее практически неограниченный свободный заряд. Типичные проводники —...

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

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