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

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

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

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

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

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

Термины для 3 задания в ОГЭ 2026 по русскому языку
Типы сказуемого для ОГЭ 2026 по русскому языку Простое глагольное сказуемое (ПГС) — это сказуемое, которое выражается самостоятельным глаголом в...
Теория для стереометрии
Многогранники  Многогранник представляет собой геометрическое тело, ограниченное конечным числом плоских многоугольников, любые два из которых,...
Первые Киевские князья от Рюрика до Мстислава
📚 РЮРИК (862–879 гг.) • Варяг, родоначальник династии Рюриковичей • В 862 году был призван северными племенами славян (словене ильменские и...
Кислоты
KOH — не кислота Cl⁻ — не кислота CaSO₄ — тоже не кислота 📌 А вот кислоты можно найти в табличке, которую мы для тебя подготовили. В ней...
Лирика Фета
Самое важное из лирики Фета собрали для тебя на картинке
ПРАВИЛЬНЫЕ ФИГУРЫ В ПРОСТРАНСТВЕ
✅ Главное условие, что у правильной трёхмерной фигуры — каждая грань — это правильная двумерная фигура. В правильном тетраэдре, каждая грань —...

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

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