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

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

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

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

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

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

КВАДРАТНЫЙ КОРЕНЬ
На самом деле, квадратный корень сильно связан со степенью, корень квадратный — это число в степени одна вторая. И точно также, как и для всех...
Экономика в период перестройки
1985 принятие курса на социально-экономическое ускорение страны (XII пятилетка: 1986–1990) начало проведения антиалкогольной кампании...
Стихотворные размеры
Стихотворный размер — «ритмический рисунок» стиха, совокупность стихотворных строк (стих-стихотворная строка). Стихотворный метр — это...
Восточные славяне
💫 Чем они занимались? — основное занятие восточных славян — земледелие; — охота имела подсобное (вспомогательное) значение; — также восточные...
Автор-повествователь и автор-рассказчик
Два АВТОРА 📚💐 На столе стоит ваза с цветами. Эти цветы фиолетовые. Это сирень. Иногда сирень является символом любви. Под вазой лежит связанная...
Условие Фано
Хочешь сдать ЕГЭ по информатике на высший балл? Тогда скорее сохраняй себе шпору про условие Фано! В ней мы разобрали темы: Кодирование...

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

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