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

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

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

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

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

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

Международное право для ЕГЭ по обществознанию
Международное право —  система правовых норм, которые регулируют международные отношения, возникающие между государствами, между международными...
Техники запоминания чисел
Держи нашу немного странную (но очень интересную!) подборку советов по запоминанию чисел. Бонусом ты получишь вдохновение для создания абсурдных...
Литературные тропы
Шли как-то Гоголь, Маяковский и Чехов по полю и спорили о сущности литературы. — Я всю свою жизнь хотел скромно высмеять этих ужасных и бездуховных...
ЗАДАНИЕ 23 | Этапы геологической истории земной коры. Геологическая хронология
I тип — периоды геологической истории Земли 📚 Теория для задания: • Международная геохронологическая шкала включает в себя 5 эр и 12 периодов ...
Лирика Тютчева
Самое важное из лирики Тютчева собрали для тебя на картинке
Кости и скелет
Зачем нужен скелет? Для опоры и движения. Вспомните, как передвигаются черви и гусеницы — не будь у нас такой опоры, мы бы ползали. Но чудо! У людей...

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

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