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

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

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

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

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

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

Русско-японская война [1904 — 1905]
«Маленькая победоносная война» – так назвал в 1904 году российский министр внутренних дел, Вячеслав Константинович Плеве, приближающуюся...
СССР в послевоенное время: политика и экономика
Экономика СССР в послевоенное время После войны Советский Союз должен был восстановить социально-экономическую сферу. 💥 1946 – 1950 гг. — IV...
Что у гриба под шляпкой?
Грибы состоят из гиф. Если вас родители зовут в лес за грибами, то запаситесь лопатой и терпением. Ведь если мы реально хотите найти гриб, то...
Регионы-лидеры сельского хозяйства России
Растениеводство Сахарная свёкла Краснодарский край Курская область Воронежская область Липецкая область ...
Формулы двойного угла
Сегодня будет максимально информативный блок на запоминание формул!  Представляю тебе формулы, которые чаще всего помогают выполнить числовые...
Шпаргалка со всеми формулами по физике для ЕГЭ
Нужна шпаргалка со всеми формулами к ЕГЭ по физике? Мы тут её сделали специально для вас! Формулы по динамике, электродинамике, квантовой физике и...

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

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