Читайте также:
|
|
Квантор – общее название для логических операций, указывающих область истинности какого-либо предиката (математического высказывания). Философы давно обращали внимание на логические операции, ограничивающие область истинности предиката, однако не выделяли их в отдельный класс операций. Хотя кванторно-логические конструкции широко используются как в научной, так и в обыденной речи, их формализация произошла только в 1879 году, в книге немецкого логика, математика и философа Фридриха Людвига Готлоба Фреге «Исчисление понятий». Обозначения Фреге имели вид громоздких графических конструкций и не были приняты. Впоследствии было предложено множество более удачных символов, но общепринятыми стали обозначения ∃ для квантора существования (читается "существует", "найдётся"), предложенное американским философом, логиком и математиком Чарльзом Пирсом в 1885 году, и ∀ для квантора всеобщности (читается "любой", "каждый", "всякий"), образованное немецким математиком и логиком Герхардом Карлом Эрихом Генценом в 1935 году по аналогии с символом квантора существования (перевёрнутые первые буквы английских слов Existence (существование) и Any (любой)). Например, запись
(∀ε>0) (∃δ>0) (∀x≠x0, |x–x0|<δ) (|f(x)–A|<ε)
читается так: "для любого ε>0 существует δ>0 такое, что для всех х, не равных х0 и удовлетворяющих неравенству |x–x0|<δ, выполняется неравенство |f(x)–A|<ε".
Дата добавления: 2015-04-20; просмотров: 19 | Поможем написать вашу работу | Нарушение авторских прав |