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

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

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

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

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

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

Present Perfect Passive
Время, которое используется для описания действия, которое произошло в прошлом и продолжается до настоящего времени.  📋 Структура:...
Идея художественного произведения
Смотри, перед тобой течет река. Ты стоишь на берегу и смотришь, как вода бежит между камней, мочит песок. Ты видишь, как то и дело выныривают из воды...
Лирика Фета
Самое важное из лирики Фета собрали для тебя на картинке
Реформы Елены Глинской
Отец мальчика скончался, когда мальчик был малолетним, поэтому Глинская стала регентом при Иване IV. Елена Глинская правила всего 5 лет:...
Блокада Ленинграда: все, что нужно знать для ЕГЭ по истории
8 сентября 1941 — 27 января 1944 — одна из самых трагических страниц Великой Отечественной войны.Город был окружён немецкими и финскими войсками на...
Церковный раскол
Раскол Русской церкви — церковный раскол в 1650-х — 1660-х годах в Русской православной церкви, связанный с реформой патриарха Никона. 👉🏻 ПРИЧИНЫ...

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

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