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

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

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

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

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

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

Двоичное преобразование
🌀 На вход алгоритма подаётся натуральное число N. Алгоритм строит по нему новое число R следующим образом: ① Строится двоичная запись числа N ②...
ОБРАБОТКА ЧИСЕЛ В N СС
Задача: x = int(input()) a=0; b=0 while x > 0: if x%2 == 0: a += 1 else: b += x%6 x = x//6 print(a, b) Необходимо указать наименьшее...
ЗАДАЧИ НА ДВИЖЕНИЕ
Все задачи, связанные с движением решаются по одной простой формуле : S=Vt 🔺S- расстояние 🔺V- скорость движения 🔺t- время Эта формула — ключ...
Угрозы 21 века (глобальные проблемы)
Общие черты всех глобальных проблем: 🔺 затрагивают все человечество; 🔺 предполагают международное сотрудничество различных стран; 🔺 от их решения...
Опричнина для ЕГЭ по истории
Политика опричнины Политика опричнины — государственная политика в Русском государстве с 1565 по 1572 годы, заключавшаяся в реализации чрезвычайных...
Пищевая цепь: интересные перемещения
Сегодня мы рассмотрим интересные перемещения в рамках пищевой цепи. Как так происходит, что птицы становятся консументами II порядка? В жизни...

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

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