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

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

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

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

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

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

Идея художественного произведения
Смотри, перед тобой течет река. Ты стоишь на берегу и смотришь, как вода бежит между камней, мочит песок. Ты видишь, как то и дело выныривают из воды...
Строение кожи
Начнём с лайфхака: как отличить потовую железу от сальной? На рисунке они могут быть схожи. Кровеносные сосуды обозначены красным и синим. А...
Насыщенные и ненасыщенные пары
Сначала вспомним простое определение 🙆‍♀️ Пар жидкости — газообразное состояние этой жидкости. Над поверхностью жидкости всегда есть пары этой...
Развитие церкви в IX — XVII веках
👉🏻 ХРОНОЛОГИЯ РАЗВИТИЯ — 1051 г. — избрание первого Киевского Митрополита (митрополит ИЛАРИОН). — 1325/26 г. — перенос кафедры митрополита в...
сложные прилагательные — СЛИТНОЕ, ДЕФИСНОЕ И РАЗДЕЛЬНОЕ НАПИСАНИЕ
Как же писать сложные прилагательные? Именно с ними возникает много сложностей! Через дефис: — оттенок цвета 🔸 ярко-красный, светло-зеленый —...
Все темы для ЕГЭ по литературе
В голове перемешались уже все произведения по литературе для подготовки к ЕГЭ? Не беда, мы специально для тебя подготовили чек-лист всех тем, которые...

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

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