JК
ДИСКРЕТНАЯ МАТЕМАТИКА БЕЗ ФОРМУЛ :: Соловьев Александр
Страница: 38 из 71ОПЕРАЦИИ НАДВЫСКАЗЫВАНИЯМИ
Обычно математическую логику начинают изучать с АЛГЕБРЫ ВЫСКАЗЫВАНИЙ и вспоминают при этом Дж. Буля, отца Лилиан Войнич, написавшей роман «Овод». А сам Буль, как незакомлексованный математической эрудицией любитель, пытался придумать математику, которая бы описывала мыслительные процессы. Собственно, с его «алгебры» и ведут историю современной математической логики.
Кстати, многие математики эту алгебру не считают логикой.
Под ВЫСКАЗЫВАНИЕМ понимают повествовательное предложение, относительно которого можно сказать, истинно оно или ложно. Например, «Волга впадает в Каспийское море», «Квадрат гипотенузы равен сумме квадратов катетов», «Наполеон родился в Кудымкаре». Здесь два первых высказывания истинны, а третье – ложно. Разумеется, жизнь и тут иногда создает проблемы. Так, про высказывание насчет Волги можно сказать, что оно истинное, если ЗНАТЬ этот факт из географии. Мне, например, пришлось как-то в Америке рассказывать одному бизнесмену, что далеко от США есть такая большая река – Волга… Да и про квадрат гипотенузы не все могут высказаться определенно… Но договоримся, недоучек не принимать в расчет. Или еще проще, чтобы не утонуть в несущественных для данного обсуждения мелочах, будем считать высказываниями повествовательные предложения, истинность которых может установить «высший разум».
Но этим проблема не исчерпывается.
Обычно математическую логику начинают изучать с АЛГЕБРЫ ВЫСКАЗЫВАНИЙ и вспоминают при этом Дж. Буля, отца Лилиан Войнич, написавшей роман «Овод». А сам Буль, как незакомлексованный математической эрудицией любитель, пытался придумать математику, которая бы описывала мыслительные процессы. Собственно, с его «алгебры» и ведут историю современной математической логики.
Кстати, многие математики эту алгебру не считают логикой.
Под ВЫСКАЗЫВАНИЕМ понимают повествовательное предложение, относительно которого можно сказать, истинно оно или ложно. Например, «Волга впадает в Каспийское море», «Квадрат гипотенузы равен сумме квадратов катетов», «Наполеон родился в Кудымкаре». Здесь два первых высказывания истинны, а третье – ложно. Разумеется, жизнь и тут иногда создает проблемы. Так, про высказывание насчет Волги можно сказать, что оно истинное, если ЗНАТЬ этот факт из географии. Мне, например, пришлось как-то в Америке рассказывать одному бизнесмену, что далеко от США есть такая большая река – Волга… Да и про квадрат гипотенузы не все могут высказаться определенно… Но договоримся, недоучек не принимать в расчет. Или еще проще, чтобы не утонуть в несущественных для данного обсуждения мелочах, будем считать высказываниями повествовательные предложения, истинность которых может установить «высший разум».
Но этим проблема не исчерпывается.