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

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

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

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

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

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

Шпаргалка по политическим партиям начала XX века
Сделали для вас супер удобную карточку по политическим партиям начала XX века для ЕГЭ по истории. Скачайте себе, чтобы вклеить в тетрадку. ...
Размножение организмов: шпаргалка для ЕГЭ 2026 по биологии, часть 2
В этой шпаргалке разберете виды бесполого размножени и виды полового размножения. Обратите внимание на партеногенез и шизогонию — эти термины часто...
КВАДРАТНЫЙ КОРЕНЬ
На самом деле, квадратный корень сильно связан со степенью, корень квадратный — это число в степени одна вторая. И точно также, как и для всех...
Задания с реального ЕГЭ-2022 по биологии
В этой шпаргалке собрали семь заданий с реального ЕГЭ по биологии 2022 с подробным решением. Задание 1  Ключ: большая поверхность...
ЗАДАНИЕ 15 | урбанизация
II тип — урбанизация 📚 Теория для задания: Урбанизация — это процесс повышения роли городов, городской культуры и «городских отношений» в...
Сравнительные конструкции с прилагательными + устойчивые выражения
Главная сравнительная конструкция в английском — это, конечно, as... as... (такой же, как.../ так же, как...) 💁‍♀ Она нужна нам для описания...

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

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