Связанные понятия
Бу́лева фу́нкция (или логи́ческая функция, или функция а́лгебры ло́гики) от n аргументов — в дискретной математике — отображение Bn → B, где B = {0,1} — булево множество. Элементы булева множества {1, 0} обычно интерпретируют как логические значения «истинно» и «ложно», хотя в общем случае они рассматриваются как формальные символы, не несущие определённого смысла. Неотрицательное целое число n называют арностью или местностью функции, в случае n = 0 булева функция превращается в булеву константу...
В логике логи́ческими опера́циями называют действия, вследствие которых порождаются новые понятия, с использованием уже существующих. В более узком смысле, понятие логической операции используется в математической логике и программировании.
Подробнее: Логическая операция
Ра́венство (отношение равенства) в математике — бинарное отношение, наиболее логически сильная разновидность отношений эквивалентности.
Бина́рная опера́ция (от лат. bi — два) — математическая операция, принимающая два аргумента и возвращающая один результат (то есть с арностью два).
Опера́ция — отображение, ставящее в соответствие одному или нескольким элементам множества (аргументам) другой элемент (значение). Термин «операция» как правило применяется к арифметическим или логическим действиям, в отличие от термина «оператор», который чаще применяется к некоторым отображениям множества на себя, имеющим замечательные свойства.
Упоминания в литературе
Первое отношение выражено словами «лишь в том, случае»; на языке логики оно, в сущности, означает «тогда и только тогда»; это эквиваленция, она обозначается символом «?». Следующие три суждения представляют собой перечисление условий, необходимых для того, чтобы первое простое суждение было истинно; они находятся в соединительном отношении –
конъюнкции , обозначаемой символом «?».
Оценивая простоту научной теории на основе математической простоты ее уравнений, научная практика показывает, что нам нужно использовать наиболее простые формулировки этой теории. Теория сообщает нам о сущностях, о свойствах, которыми они обладают, и о том, как они взаимодействуют, и всё это может быть выражено множеством различных способов, то есть посредством множества разных, но логически эквивалентных уравнений. Уравнение «х =у» эквивалентно уравнению «х = у + dy3I dy — 3у2», и в более общем виде – его
конъюнкции с более сложными математическими теоремами. Но именно через ее самую простую формулировку (например, первую в приведенном примере) мы судим о простоте теории. Она проявляет свои преимущества в применении.
Приняв также концепцию, типичную для подхода логического эмпиризма, согласно которой объяснить некоторый эмпирический факт Е с помощью теории Т значит продемонстрировать формальный вывод Е из Т в
конъюнкции с соответствующими высказываниями об условиях, мы можем выразить указанное «сравнение», сказав, что Т0 лучше, чем Т, если Е формально выводимо из Т0, но не из Т.
Будучи направлены на общий предмет (референт) обсуждения, обе реплики содержат предикаты к этому общему предмету. Отношения между этими предикатами – принципиально не
конъюнкция (не отношения, например, по типу двух однородных членов предложения), поскольку эти предикаты принадлежат разным репликам (голосам) и направлены не только на общий предмет, но и друг на друга. Эта взаимонаправленность и, одновременно, синтаксическая разъединенность (в отличие от ДС) предикативных составляющих реплик диалога делает отношения между ними подобными отношениям референта и предиката: предикат предшествующей реплики становится в определенном смысле дополнительным референтом, предицируемым последующей репликой наряду с общим предметом обсуждения в диалоге. В общем виде, таким образом, диалогические отношения в реальном диалоге есть отношения между предикативными составляющими разных реплик, попеременно становящимися друг для друга дополнительными референтами.
Связанные понятия (продолжение)
Каррирование (от англ. currying, иногда — карринг) — преобразование функции от многих аргументов в набор функций, каждая из которых является функцией от одного аргумента. Возможность такого преобразования впервые отмечена в трудах Готтлоба Фреге, систематически изучена Моисеем Шейнфинкелем в 1920-е годы, а наименование получило по имени Хаскелла Карри — разработчика комбинаторной логики, в которой сведение к функциям одного аргумента носит основополагающий характер.
Конъюнкти́вная норма́льная фо́рма (КНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к КНФ. Для этого можно использовать: закон двойного отрицания, закон де Моргана, дистрибутивность.
Отноше́ние — математическая структура, которая формально определяет свойства различных объектов и их взаимосвязи. Распространёнными примерами отношений в математике являются равенство (=), делимость, подобие, параллельность и многие другие.
Алгебра логики (алгебра высказываний) — раздел математической логики, в котором изучаются логические операции над высказываниями. Чаще всего предполагается, что высказывания могут быть только истинными или ложными, то есть используется так называемая бинарная или двоичная логика, в отличие от, например, троичной логики.
Мультимножество в математике — обобщение понятия множества, допускающее включение одного и того же элемента по нескольку раз. Число элементов в мультимножестве, с учётом повторяющихся элементов, называется его размером или мощностью.
Обра́тный элеме́нт — термин в общей алгебре, обобщающий понятия обратного числа (для умножения) и противоположного числа (для сложения).
Биекция — это отображение, которое является одновременно и сюръективным, и инъективным. При биективном отображении каждому элементу одного множества соответствует ровно один элемент другого множества, при этом определено обратное отображение, которое обладает тем же свойством. Поэтому биективное отображение называют ещё взаимно однозначным отображением (соответствием), одно-однозначным отображением.
Нейтра́льный элеме́нт бинарной операции — элемент, который оставляет любой другой элемент неизменным при применении этой бинарной операции к этим двум элементам.
Логика первого порядка , называемая иногда логикой или исчислением предикатов — формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высших порядков.
Двойственность в теории категорий — соотношение между свойствами категории C и так называемыми двойственными свойствами двойственной категории Cop. Взяв утверждение, касающееся категории C и поменяв местами образ и прообраз каждого морфизма, так же как и порядок применения морфизмов, получим двойственное утверждение, касающееся категории Cop. Принцип двойственности состоит в том, что истинные утверждения после такой операции переходят в истинные, а ложные в ложные.
Регуля́рный язык (регуля́рное мно́жество) в теории формальных языков — множество слов, которое распознает некоторый конечный автомат. Класс регулярных множеств удобно изучать в целом, а полученные результаты оказываются применимы для достаточно широкого спектра формальных языков.
В математике (особенно в теории категорий), коммутативная диаграмма — изображаемая в наглядном виде структура наподобие графа, вершинами которой служат объекты определённой категории, а рёбрами — морфизмы. Коммутативность означает, что для любых выбранных начального и конечного объекта для соединяющих их ориентированных путей композиция соответствующих пути морфизмов не будет зависеть от выбора пути.
Подробнее: Коммутативная диаграмма
«Тогда́ и то́лько тогда ́» — логическая связка эквиваленции между утверждениями, применяемая в логике, математике, философии. Чтобы быть эквиваленцией, связка должна быть идентична стандартному материальному условному высказыванию («только тогда» эквивалентно «если … то»), соединённому со своей противоположностью, откуда и название связки. В результате истинность одного утверждения требует такой же истинности другого, то есть либо оба они истинны, либо оба ложны. Можно спорить о том, передаёт ли выражение...
Логи́ческий тип да́нных, или булев тип, или булевый тип (от англ. Boolean или logical data type) — примитивный тип данных в информатике, принимающий два возможных значения, иногда называемых истиной (true) и ложью (false). Присутствует в подавляющем большинстве языков программирования как самостоятельная сущность или реализуется через численный тип данных. В некоторых языках программирования за значение истина полагается 1, за значение ложь — 0.
Реку́рсия — определение, описание, изображение какого-либо объекта или процесса внутри самого этого объекта или процесса, то есть ситуация, когда объект является частью самого себя. Термин «рекурсия» используется в различных специальных областях знаний — от лингвистики до логики, но наиболее широкое применение находит в математике и информатике.
Класс — термин, употребляемый в теории множеств для обозначения произвольных совокупностей множеств, обладающих каким-либо определенным свойством или признаком. Более строгое определение класса зависит от выбора исходной системы аксиом. В системе аксиом Цермело — Френкеля определение класса является неформальным, тогда как другие системы, например, система аксиом фон Неймана — Бернайса — Гёделя, аксиоматизируют определение «собственного класса» как некоторого семейства, которое не может быть элементом...
Переме́нная — атрибут физической или абстрактной системы, который может изменять своё, как правило численное, значение. Понятие переменной широко используется в таких областях как математика, естественные науки, техника и программирование. Примерами переменных могут служить: температура воздуха, параметр функции и многое другое.
Конкатена́ция (лат. concatenatio «присоединение цепями; сцепле́ние») — операция склеивания объектов линейной структуры, обычно строк. Например, конкатенация слов «микро» и «мир» даст слово «микромир».
Вполне упорядоченное множество — линейно упорядоченное множество M такое, что в любом его непустом подмножестве есть минимальный элемент, другими словами, это фундированное множество с линейным порядком.
Коне́чноме́рное простра́нство — это векторное пространство, в котором имеется конечный базис — порождающая (полная) линейно независимая система векторов. Другими словами, в таком пространстве существует конечная линейно независимая система векторов, линейной комбинацией которых можно представить любой вектор данного пространства.
Теоремы об изоморфизме в алгебре — ряд теорем, связывающих понятия фактора, гомоморфизма и вложенного объекта. Утверждением теорем является изоморфизм некоторой пары групп, колец, модулей, линейных пространств, алгебр Ли или прочих алгебраических структур (в зависимости от области применения). Обычно насчитывают три теоремы об изоморфизме, называемые Первой (также основная теорема о гомоморфизме), Второй и Третьей. Хотя подобные теоремы достаточно легко следуют из определения фактора и честь их открытия...
Магма (группоид) в общей алгебре — алгебра, состоящая из множества М с одной бинарной операцией M × M → M. Помимо требования замкнутости множества относительно заданной на нём операции, других требований к операции и множеству не предъявляется.
Опера́тор (позднелат. operator — работник, исполнитель, от operor — работаю, действую) — математическое отображение между множествами, в котором каждое из них наделено какой-либо дополнительной структурой (порядком, топологией, алгебраическими операциями). Понятие оператора используется в различных разделах математики для отличия от другого рода отображений (главным образом, числовых функций); точное значение зависит от контекста, например в функциональном анализе под операторами понимают отображения...
Факторкольцо ́ — общеалгебраическая конструкция, позволяющая распространить на случай колец конструкцию факторгруппы. Любое кольцо является группой по сложению, поэтому можно рассмотреть её подгруппу и взять факторгруппу. Однако для того, чтобы на этой факторгруппе можно было корректно определить умножение, необходимо, чтобы исходная подгруппа была замкнута относительно умножения на произвольные элементы кольца, то есть являлась идеалом.
В теории категорий есте́ственное преобразова́ние предоставляет способ перевести один функтор в другой, сохраняя внутреннюю структуру (например, композиции морфизмов). Поэтому естественное преобразование можно понимать как «морфизм функторов». Эта интуиция может быть строго формализована в определении категории функторов. Естественные преобразования — наиболее базовое определение в теории категорий наряду с функторами, поэтому оно появляется в большинстве её приложений.
Подробнее: Естественное преобразование
Математическая индукция — метод математического доказательства, который используется, чтобы доказать истинность некоторого утверждения для всех натуральных чисел. Для этого сначала проверяется истинность утверждения с номером 1 — база (базис) индукции, а затем доказывается, что если верно утверждение с номером n, то верно и следующее утверждение с номером n + 1 — шаг индукции, или индукционный переход.
Произведение двух или более объектов — это обобщение в теории категорий таких понятий, как декартово произведение множеств, прямое произведение групп и произведение топологических пространств. Произведение семейства объектов — это в некотором смысле самый общий объект, имеющий морфизмы во все объекты семейства.
Переписывание — широкий спектр техник, методов и теоретических результатов, связанных с процедурами последовательной замены частей формул или термов формального языка по заданной схеме — системе переписывающих правил.
Инволюция (от лат. involutio — свёртывание, завиток) — преобразование, которое является обратным самому себе.
Опера́ция — конструкция в языках программирования, аналогичная по записи математическим операциям, то есть специальный способ записи некоторых действий.
Функтор — особый тип отображений между категориями. Его можно понимать как отображение, сохраняющее структуру. Функторы между малыми категориями являются морфизмами в категории малых категорий. Совокупность всех категорий не является категорией в обычном смысле, так как совокупность её объектов не является классом. Один из способов преодолеть подобные теоретико-множественные трудности — добавление в ZFC независимой от неё аксиомы о существовании недостижимых кардиналов.
Мно́жество — одно из ключевых понятий математики; это математический объект, сам являющийся набором, совокупностью, собранием каких-либо объектов, которые называются элементами этого множества и обладают общим для всех их характеристическим свойством. Изучением общих свойств множеств занимаются теория множеств, а также смежные разделы математики и математической логики.
Наиме́ньшее о́бщее кра́тное (НОК) двух целых чисел m и n есть наименьшее натуральное число, которое делится на m и n без остатка. Обозначается одним из следующих способов...
Логика высказываний , или пропозициональная логика (лат. propositio — «высказывание»), или исчисление высказываний — это раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, пропозициональная логика не рассматривает внутреннюю структуру простых высказываний, она лишь учитывает, с помощью каких союзов и в каком порядке простые высказывания сочленяются в сложные.
Упорядоченное поле — алгебраическое поле, для всех элементов которого определён линейный порядок, согласованный с операциями поля. Наиболее практически важными примерами являются поля рациональных и вещественных чисел.
Математическая формула (от лат. formula — уменьшительное от forma — образ, вид) — в математике, а также физике и прикладных науках, символическая запись высказывания (которое выражает логическое суждение), либо формы высказывания. Формула, наряду с термами, является разновидностью выражения формализованного языка.
Коммутант в общей алгебре — подсистема алгебр, содержащих групповую структуру (подгруппа, подкольцо, в наиболее общем случае — подгруппа мультиоператорной группы), показывающая степень некоммутативности групповой операции.
Катего́рия мно́жеств — категория, объекты которой — множества, а морфизмы между множествами A и B — все функции из A в B. Обозначается Set. В аксиоматике Цермело — Френкеля «множества всех множеств» не существует, а работать с понятием класса не очень удобно; для этой проблемы было предложено несколько различных решений.
Дизъюнкти́вная норма́льная фо́рма (ДНФ) в булевой логике — нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. Любая булева формула может быть приведена к ДНФ. Для этого можно использовать закон двойного отрицания, закон де Моргана, закон дистрибутивности. Дизъюнктивная нормальная форма удобна для автоматического доказательства теорем.
Комбинационная логика (комбинационная схема) в теории цифровых устройств — двоичная логика функционирования устройств комбинационного типа. У комбинационных устройств состояние выхода однозначно определяется набором входных сигналов, что отличает комбинационную логику от секвенциальной логики, в рамках которой выходное значение зависит не только от текущего входного воздействия, но и от предыстории функционирования цифрового устройства. Другими словами, секвенциальная логика предполагает наличие...
Евклидово кольцо — общеалгебраическое кольцо, в котором существует аналог алгоритма Евклида.