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

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

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

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

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

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

Поле точечного заряда, однородное поле
➰ Точечный заряд — это заряженное тело, размерами которого можно пренебречь по сравнению с расстояниями от этого тела до других тел, несущих...
Положения клеточной теории
Кратко разберём положения клеточной теории. Почему она ценна для биологической науки? Впервые клеточная теория была сформулирована немецким...
Шпаргалка по Python
А вот и много-много новых шпаргалок по Python, которые помогут тебе на ЕГЭ по информатике! Не забудь скачать внизу по ссылке, чтобы не потерять. ...
Интерьер в художественном произведении
Дом Ростовых, дом Обломова, дома помещиков и описание других интерьеров часто встречаются в ЕГЭ по литературе. Давай разберёмся зачем нужен...
Сложности заданий по селекции
Прочитайте внимательно оба задания: растения там лишаются очень важных частей своих органов. И ведь это было сделано специально! Давайте вместе...
Лишайники
Никто не верил в эти отношения, но их симбиоз зашёл так далеко, что привёл к появлению организмов с новыми свойствами. Выглядят их взаимодействие как...

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

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