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

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

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

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

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

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

Формулы двойного угла
Сегодня будет максимально информативный блок на запоминание формул!  Представляю тебе формулы, которые чаще всего помогают выполнить числовые...
Разница между can и to be able to
▪️ LSP can sing great, I wonder where he learned? ЛСП умеет классно петь, интересно, где он научился?🎤 Но здесь нас больше интересует глагол to...
28 сервисов, которые помогут подготовиться к ЕГЭ по английскому
С помощью этих материалов вы сможете с лёгкостью найти нужный вам сервис по подготовке к ЕГЭ по английскому по самым разным запросам. Тут приведены...
Топ основных именных теорем из геометрии
Эта удобная шпаргалка поможет с лёгкостью запомнить все основные теоремы из геометрии для ЕГЭ по математике. В ней вы найдёте все нужные формулы и...
Меристема
Общая функция образовательных тканей — рост. Как правило, они содержат мелкие молодые, часто делящиеся клетки, с тонкими целлюлозными оболочками и...
Кредит
К основным функциям кредита относятся: — перераспределительная (благодаря кредитным отношениям временно свободные денежные средства...

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

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