Истинно ложно квантор что такое
MT1102: Линейная алгебра (введение в математику)
В алгебре высказываний применяют логические знаки для записи различных утверждений. Однако нам не достаточно этих знаков для выражения мысли типа «Всякий элемент %%x%% из множества %%D%% обладает свойством %%P(x)%%».
Понятие кванторов
Введем новые логические знаки, обозначаемые %%\forall%%, %%\exists%% и %%\exists!%%. Знак %%\forall%% называется квантором всеобщности, знак %%\exists%% — квантором существования, а %%\exists!%% — квантором существования и единственности.
Пусть %%P(x)%% — одноместный предикат, определенный на множестве %%D%%.
Квантор всеобщности
Используя квантор всеобщности, можно составить следующее высказывание
Читается как: «для любого %%x%% выполняется %%P(x)%%»; «для всякого %%x
P(x)%%»; «для всякого %%x%% верно %%P(x)%%» и т.п.
Пусть %%P(x)%% предикат %%x^2 \geq 0%%, определенный на множестве действительных чисел %%D = \mathbb R %%. Тогда высказывание %%\forall x
P(x)%% имеет вид %%\forall x
x^2 \geq 0%%. Это истинное высказывание, так как для любого значения пременной %%x = a \in \mathbb R %% получаем истинное высказывание %%a^2 \geq 0%%. Однако, высказывание %%\forall x
x^2 > 0%% ложно, например, как при %%x = 0%% получаем ложное высказывание %%0 > 0%%.
Квантор существования
Используя квантор существования, можно составить следующее высказывание
Читается как: «существует %%x%% такой, что %%P(x)%%»; «существует %%x%% с условием %%P(x)%%» и т.п.
Квантор существования и единственности
Используя квантор существования и единственности, можно составить следующее высказывание
Читается как: «существует единственный %%x%% такой, что %%P(x)%%»; «существует единственный %%x%% с условием %%P(x)%%» и т.п.
Отрицание «кванторов»
Докажем первое из них. Пусть высказываине %%\overline<\forall x
P(x)>%% истинно. Тогда высказывание %%\forall x
P(x)%% ложно. Поэтому для некоторого %%x = a%% имеем %%P(a)%% ложно. Тогда %%\overline
\overline
Аналогично доказывается второе утверждение.
Применение одного из кванторов «понижает» степень предиката на единицу. Из двуместного предиката получается одноместный предикат, а из одноместного — предикат %%0%% степени или высказывание.
Правила перестановки кванторов
P(x,y) \equiv \exists y
P(x,y) \equiv \forall y
Однако, разноименные кванторы переставлять местами нельзя. Рассмотрим двуместный предикат %%P(x, y): x + y = 0%%, определенный на множестве %%\mathbb R%%. Тогда высказывание %%\exists x
x + y = 0%% можно прочитать так: «существует %%x%%, которое в сумме с любым %%y%% равно 0». Это ложно высказывание.
Переставим разноименные кванторы местами и получим высказывание %%\forall y
x+ y = 0%%, которое можно прочитать так: «для любого %%y%% существует %%x%% такой, что их сумма равна 0». Это истинное высказывание. В итоге получили различные истинностные значения высказываний.
Для записи одноименных кванторов существуют следующие сокращения:
\forall y \equiv \forall x, y
\exists y \equiv \exists x, y. \end
Предикаты и кванторы
Понятие предиката
Утверждения, содержащие в себе переменные, обладающие способностью принимать значения 0 или 1 (ложно или истинно) в зависимости от принимаемых переменными значений, называют предикатами.
В качестве примера может быть рассмотрено выражение x=x^5 представляет собой предикат, поскольку оно будет истинным исключительно в случае принятия переменной x значений 0 или 1 и будет ложным в случае присвоения переменной x всех стальных отличных от 0 и 1 значений.
Множеством истинности Ip любого предиката называют такое множество значений, которое может принимать переменная, позволяющих предикату принимает исключительно истинные значения.
В программировании предикатом принято считать функции, принимающие значения одного или большего числа аргументов и возвращающих значения логического (булевого) типа.
Тождественно-истинным называют предикат, способный принимать истинное значение в случае использования любого набора значений аргумента:
Предикат, для которого использование любого набора значений аргумента приводит к принятию им ложного значения, называют тождественно-ложным:
В случае если предикат приобретает истинное значение при использовании хотя бы одного набора значений аргумента, его считают выполненным.
Поскольку предикаты обладают способностью принимать исключительно значения двух видов – ложно или истинно (0 или 1), к ним могут быть применены все операции, относящиеся к алгебре логики: дизъюнкция, конъюнкция, отрицание и т.п.
Примеры предикатов
Допустим, что предикат, имеющий вид R(x,y): «x = y», где переменные x и y являются целыми числами, является обозначением отношения равенства. Принятие предикатом R истинного значения будет происходить исключительно в случае равенства всех x и y.
В качестве другого примера может быть рассмотрен предикат, имеющий вид ТРУДИТСЯ(x,y,z) образованный для отношения «x трудится в населённом пункте y на предприятии z».
На основании сказанного выше можно сделать вывод о том, что предикат представляет собой любое суждение об объекте, которое отрицается либо, утверждается.
Операции над предикатами
К предикатам могут быть применены операции, относящиеся к алгебре логики. Рассмотрим особенности применения подобных операций.
Операции логического характера:
Конъюнкцией предикатов A(x) и B(x) называют предикат нового вида, принимающий истинное значение исключительно при тех значениях переменной x из множества значений T, которые позволяют каждому из обоих предикатов приобретать истинное значение, в то время как ложное значение будет ими приниматься во всех иных случаях. Подобному предикату соответствует множество истинности T представляющее собой пересечение соответствующих заданным предикатам A(x) и B(x) множеств истинности. К примеру, если предикат A(x) характеризует отношение «x – число чётное», а предикат B(x) обозначает отношение «x делится на число 5», то конъюнкцией подобных предикатов станет предикат, характеризующий отношение следующего вида: «x – число чётное и кратно числу 5» или «x кратно 10».
Дизъюнкцией для предикатов A(x) и B(x) является предикат нового вида, принимающий ложное значение исключительно при тех значениях переменной x из множества значений T, которые позволяют каждому из обоих предикатов приобретать ложное значение, в то время как истинное значение будет ими приниматься во всех иных случаях. Ему соответствует множество истинности, представляющее собой пересечение соответствующих заданным предикатам A(x) и B(x) множеств истинности.
Отрицанием предиката A(x) является предикат нового вида, принимающий истинное значение в случае принятия переменной x всех значений из множества T, которые позволяют принимать предикату A(x) ложное значение или наоборот. Для подобного предиката множество истинности будет представлять собой дополнение T’ к соответствующему предикату A(x) множеству истинности.
Импликацией для предикатов A(x) и B(x) является предикат нового вида, принимающий ложное значение исключительно при тех значениях переменной x из множества значений T, которые позволяют предикату A(x) обретать истинное значение, в то время как предикат B(x) принимает значение ложное, принимая истинное значение во всех иных случаях. Запись подобной операции обычно имеет вид: «Если A(x), то B(x)».
Допустим, существуют предикаты A(x): «число x является натуральным и делится на 3» и B(x): «число x является натуральным и делится на 4».
Может быть составлен предикат определяющий отношение «если число x является натуральным и делится на 3, то такое число делится и на 4».
Для такого предиката множеством истинности будет иметь вид объединения множества истинности для B(x) и дополнения к множеству истинности для A(x).
Кроме операций логического характера над предикатами могут выполняться квантовые операции – это использование кванторов существования, всеобщности и т.п.
Кванторы
Применяемые к предикатам логические операторы, превращающие их в высказывания, имеющие истинное или ложное значение, называются кванторами.
Существует другое определение кванторов, согласно которому, это логические операции, создающие высказывание и ограничивающие для предикатов, к которым они применяются, их область истинности.
Наиболее часто применяемыми являются следующие кванторы:
Процессу приписывания квантора к формуле в математической логике соответствует понятие квантификации или связывания.
Примеры применения кванторов
Допустим, существует предикат, описывающий отношение «x кратно 7».
Применяя квантор всеобщности, ложные высказывания могут быть записаны следующим образом:
Такой квантор будет иметь следующий вид:
Применяя квантор существования, истинные высказывания в отношении этого же предиката могут быть записаны следующим образом:
Запись данного квантора приобретёт вид:
Допустим, для множества некоторых простых чисел x образован предикат, описывающий отношение «простое число является числом нечётным». Если перед предикатом вставить слово «любое» получим в результате ложное высказывание, имеющее вид: «любое простое число одновременно является числом нечётным» (число 2, например, будучи числом простым, являясь при этом чётным числом).
Если перед предикатом вставить слово «существует» получим в результате истинное высказывание в виде: «существует простое число, одновременно являющееся нечётным» (x=3, к примеру).
На основании сказанного выше можно заключить, что предикат может быть превращён в высказывание путём присоединения квантора перед ним.
Операции над кванторами
Применяемым для образования отрицания высказываний, содержащих кванторы, является правило отрицания кванторов, имеющее вид:
Для примера рассмотрим некоторые предложения, определив среди них предикаты и область истинности для них:
КВАНТОР
Полезное
Смотреть что такое «КВАНТОР» в других словарях:
квантор — сущ., кол во синонимов: 1 • оператор (24) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
квантор — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN quantifier … Справочник технического переводчика
КВАНТОР — общее название для логических операций, к рые по предикату Р(х)строят высказывание, характеризующее область истинности предиката Р(х). В математич. логике наиболее употребительны квантор всеобщности и квантор существования Высказывание означает,… … Математическая энциклопедия
Квантор — (от лат. quantum сколько) символ, используемый для обозначения некоторых операций математической логики, одновременно логическая операция, дающая количественную характеристику области предметов, к которым относится выражение, получаемое в… … Начала современного естествознания
квантор — а, ч., лог. Логічний оператор, який переводить одну висловлювальну форму в іншу. Квантор існування … Український тлумачний словник
квантор — kvantorius statusas T sritis automatika atitikmenys: angl. quantifier vok. Quantor, m rus. квантор, m pranc. quantifier, m … Automatikos terminų žodynas
Квантор — (от лат. quantum сколько) логическая операция, дающая количественную характеристику области предметов, к которой относится выражение, получаемое в результате её применения. В обычном языке носителями таких характеристик служат слова типа… … Большая советская энциклопедия
квантор — кв антор, а … Русский орфографический словарь
Логика: предикатная, формальная и сентенциальная. Кванторы и возникновение информатики
1 | Введение
Логика, как эпистемологический инструмент, — исследующий знание как таковое, — изобретена независимо в трёх отдельных государствах: Греции (Аристотелем), Китае (до правления Цинь Шихуанди) и Индии. В последних двух государствах логика не распространилась настолько, чтобы получить полноценное развитие. В античной же Греции логика сформировалась в своих основах столь определённо, что дополнилась только через 2 тысячелетия.
Значительные изменения в греческую логику, помимо Буля, Моргана и Рассела, внёс Фреге — самая важная фигура основателей формальной семантики. Он разработал логику предикатов и 2 вида кванторов, попытавшись создать «логически совершенный язык» о котором мечтал Лейбниц. Значимой личностью является также Гёдель, который открыл знаменитые две теоремы о неполноте, описывающие невозможность объединения множества доказуемых утверждений со множеством истинных. Он утверждал, что доказательства математики зависят от начальных предположений, а не фундаментальной истины, из которой происходят ответы. Одна из главных идей его работ состоит в том, что ни один набор аксиом, — в том числе математических, — не способен доказать свою непротиворечивость.
На этом этапе некоторые заметят влияние платонизма на австрийского логика. Совершенно верно, ведь Гёдель не раз заявлял о влиянии метафизики Платона на собственную деятельность. Но сам Платон развитию формальной логики способствовал лишь косвенно: в истории он вносит вклад в развитие другого направления — философской логики. Платоном созданы вопросы, на которых основывается вся западная академическая философия вплоть до наших дней. Философия, в том виде, котором она известна, возникла только благодаря учителю Аристотеля.
Платон — учитель Аристотеля
В другие периоды в логику также вносили дополнения:
античной школой стоицизма введены термины «модальности», «материальной импликации», «оценки смысла и истины», которые являются задатками логики высказываний;
также средневековыми схоластами введены несколько понятий;
Но главное, что сами логические операции не изменились. «Органон» Аристотеля, как сборник из 6 книг — первоисточник, где подробно описаны главные логические законы. «Органон» (с древнегреческого ὄργανον), означает — инструмент. Аристотель считал, что логика является инструментом к познанию. Он объединяет методом получения информации такие науки:
Физика — наука о природе;
Метафизика — наука о природе природы;
Биология — раздел физики, наука о жизни;
Психология — раздел физики, наука о душе;
Кинематика — раздел физики, наука о движении;
2 | Терминология
У каждой из наук должен быть идентичный фундамент в способе получения гнозисов (знаний), который позволит упорядочить информацию и вывести новые силлогизмы (умозаключения). Только таким образом получится прогресс в познании истины. Без логики наука была бы похожа на коллекционирование фактов, ибо информация бы не поддавалась анализу.
Сам Аристотель находит логике как средству убеждения иное применение: в риторике, спорах, дебатах, выступлениях и т.д., описывая это в труде «Риторика». В западной философии принято давать чёткие определения перед рассуждениями, поэтому определимся с терминами. Логика — наука о правильном мышлении.
В языковой зависимости возникают трудности трактовки термина «наука», но даже в оригинальном названии труда Фридриха Гегеля «Наука логики» — «Wissenschaft der Logik», употребляется слово «наука» (Wissenschaft). Поэтому придём к консенсусу и будем считать, что научной можно назвать ту дисциплину, в которой возможны открытия, исследование и анализ. Логика в таком случае — наука, ибо внутри неё возможно совершать открытия. Яркий пример — комбинаторика Лейбница.
Слово «правильный» веет нормативными коннотациями: правильное поведение, правильное выражение лица, и т.д. Перечисленное соответствует некоторым критериям и логика выставляет их (критерии) для правильного мышления.
Слово «мышление» понимается на интуитивном уровне, но чёткое объяснение затруднительно, обширно и иногда не объективно.
Бюст Аристотеля
3 | Формальная и неформальная логика
Первоначально, деление логики происходит на формальную и неформальную. Формальная логика отличается тем, что, в отличие от неформальной, записывается уравнениями. Неформальная же логика пишется выражениями в форме языка, поэтому она подходит для риторики, а формальная логика для абстрактных наук.
Формальная логика равным образом делится на дедуктивную и индуктивную. Они различаются тем, что в дедуктивном аргументе истинность условий гарантирует истинность умозаключения или вывода. В индукции же, при истинности условий одинаково возможен ложный и истинный вывод.
Законы формальной логики:
1. Закон тождества (А = А): эквивокация или двусмысленность недопустимы. Нельзя подменять одно понятие, другим.
2. Закон непротиворечия (А ∧ ¬А = 0): одно и то же утверждение не может быть истинным и ложным одновременно.
3. Закон исключения третьего или бивалентности (А ∨ ¬А = 1): утверждение может быть либо истинным, либо ложным — третьего не дано.
Принципы формальной логики:
1. Принцип достаточного обоснования: достаточными являются такие фактические и теоретические обоснования, из которых данное суждение следует с логической необходимостью.
4 | Сентенциальная логика (алгебра высказываний)
Базовые операции сентенциальной логики — логики высказываний, где заглавная буква означает предложение:
Отрицание (Утверждение ¬A истинно тогда и только тогда, когда A ложно): если имеем утверждение «А» и имеем утверждение «не А», то, когда утверждение «А» будет истинным — утверждение «не А» будет ложным. Также и когда утверждение «А» будет ложным — утверждение «не А» будет истинным.
Конъюнкция (Утверждение A ∧ B истинно, если и A, и B — истинны. Ложно в противном случае): в английском языке — союз «and/&»; в русском — «и». В утверждении «А и В», между «А» с «В» стоит знак конъюнкции — «∧». Утверждение «А и В» является истинным, если «А» с «В» являются истинными одновременно. Если хоть один элемент ложен, то всё утверждение ложно. «А и В» подразумевает, во-первых: истинность «А», во-вторых: истинность «В».
Дизъюнкция (Утверждение A ∨ B верно, если A или B (или оба) верны. Если оба не верны — утверждение ложно): в английском языке — союз «or»; в русском — «или». Существует два типа дизъюнкции — включающая и исключающая (в логике используется включающее «или»). Условия таковы, что утверждение «А или В» будет истинным, когда один или оба элемента истинны, но никогда — когда оба элемента ложны. Это противоречит нашему обыденному мышлению, т.к. когда спрашивают: «Чай или кофе?» мы выбираем один элемент, но в логике подразумевается выбор не только одного, а нескольких возможных.
Импликация (Утверждение A ⇒ B ложно, только когда A истинно, а B ложно): в английском языке — «therefore»; в русском языке — «следовательно». Подразумевает истинность одного элемента при истинности другого. Потому что условия истинности соблюдаются всегда, кроме случая, когда «А» истинно, а «B» ложно. Поэтому утверждение: «А» ложно, следовательно «B» ложно — истинно. Покажется, что когда «А» ложно, а «В» истинно — не соблюдаются условия, но это не так. Если вы скажете, что после дождя промокните — это утверждение будет истинным вне зависимости от того, пошёл дождь или нет.
Эквивалентность (Утверждение A ⇔ B истинно, только если оба значения A и B ложны, либо оба истинны): если истинно утверждение «А, следовательно В» и истинно утверждение «В, следовательно А», то истинными являются выражения «А эквивалентно В» и соответственно «В эквивалентно А». Условия истинности соблюдаются в случаях, когда оба элемента истинны или оба ложны.
Значение переменных
5 | Предикатная логика первого порядка
В XX веке, после добавлений в область логики работ Лейбница и Фреге, на основе этой дисциплины создаётся новая — информатика. Программирование сохраняет преемственность с видоизменённой логикой Аристотеля — предикатной логикой, описательная способность которой выше, чем у логики высказываний (сентенциальной).
Прежде чем разобрать этот новый тип логики, поговорим об её отличии от сентенциальной. Главная особенность предикатной логики, что заглавными буквами обозначаются предикаты, а не целые высказывания. Можно сказать, что предикат — это математическая функция, которая «накладывает» множество субъектов на множество утверждений.
Высказывание «Я пошёл в зоопарк» — состоит из субъекта и предиката. В нём субъект — «Я», а предикат — то, что остаётся кроме субъекта («пошёл в зоопарк»). Субъект — тот, кто совершает действие в предложении или имеет выраженное свойство; предикат — всё оставшееся. Таким образом, если в сентенциальной логике высказывание «Я пошёл в зоопарк» выражалось бы одной заглавной буквой, то в логике предикатов использовались бы две буквы (заглавная и подстрочная): «P» — для предиката; «x» — для субъекта. Субъекты обозначаются переменной («x»), потому что в предикатной логике появляются две относительно новые операции: универсальный и экзистенциальный кванторы. Особенность кванторов заключается в том, что ими возможно записать выражение истинное при всех возможных переменных «х» или хотя бы при одном.
Универсальный квантор (квантор всеобщности) обозначается символом — «∀», с указанием переменной под ним. Возьмём утверждение «Все пингвины чёрно-белые». В логике высказываний оно бы выражалось как «X ⇒ P», где «X» — нечто являющееся пингвином, а «P» — нечто являющееся чёрно-белым. В предикатной логике же используются субъекты и предикаты, поэтому нечто являющееся пингвином (субъект), обозначалось бы переменной «х» снизу под предикатом. «»х» — является пингвином, следовательно, является чёрно-белым». Записывается так: P(х) ⇒ B(х), где P(х): х — пингвин; B(х): x — чёрно-белый.
Однако этого недостаточно, ведь непонятно, один субъект «х» чёрно-белый или больше одного, а может вообще все. Поэтому утверждение «»х» — является пингвином, следовательно, является чёрно-белым», берётся в скобки и перед скобками используется символ «∀» с переменной «х» под ним — которые вместе и будут универсальным квантором.
Универсальный квантор переводится как: «Для всех «х» истинно, что …». Теперь утверждение «х — является пингвином, следовательно, является чёрно-белым» с универсальным квантором перед ним, расшифровывается так: «Для всех «х» истинно, что «х» — является пингвином, следовательно, является чёрно-белым». Это означает, что чем бы ни был объект во вселенной, если этот объект пингвин — он является чёрно-белым. Полная запись будет выглядеть так:
Экзистенциальный квантор (квантор существования) обозначается символом — «∃» с указанием переменной под ним. Возьмём утверждение «Некоторые пингвины серые». Как и в прошлый раз, выражение «»x» — является пингвином и «х» — является серым» возносим в скобки и ставим перед ними квантор, в этом случае экзистенциальный с указанной переменной. «»x» — является пингвином и «х» — является серым» записывается так: P(х) ∧ C(х), где P(х): х — пингвин; C(х): x — серый.
Экзистенциальный квантор можно перевести так: «Есть такой «х», для которого будет истинно, что …». Подразумевается, что есть как минимум один «х», для которого выполняются условия выражения. Если вам говорят, что ДНК не существует, достаточно показать одну молекулу дезоксирибонуклеиновой кислоты для опровержения этого утверждения. Также и с кванторами, если существует хотя бы один серый пингвин, то утверждение об отсутствии серых пингвинов будет ложно. Полная запись экзистенциального квантора для выражения «Есть такой «х», для которого будет истинно, что «x» — является пингвином и «х» — является серым», будет выглядеть так:
6 | Заключение
Примечательно, что есть возможность перевода одного вида квантора в другой. Возьмём утверждение «Все пингвины не являются серыми». Для универсального квантора текстовая запись будет такая: «Для всех «х», будет истинным утверждение о том, что если «х» — является пингвином, то «х» — не является серым объектом». Но утверждение изменяется и для экзистенциального квантора, используя знак отрицания: «Нет такого «х», для которого бы было истинным утверждение о том, что «x»— является пингвином и «х»— является серым».
В середине XIX века, Готлоб Фреге дополнил логику Аристотеля двумя этими операциями, которые позже сформировались в отдельную дисциплину — предикатную логику. С введением в логику экзистенциального квантора (после универсального) — предикатная логика, в основе своей, завершилась как система…
Источники:
1 — Аристотель: «Органон» — «Первая аналитика» и «Вторая аналитика»;
2 — Аристотель: «Риторика»;
3 — Готлоб Фреге: «Исчисление понятий»;
4 — «Monatshefte für Mathematik und Physik» 1931 г.: Курт Гёдель «О принципиально неразрешимых положениях в системе Principia Mathematica и родственных ей системах»;
5 — The Early Mathematical Manuscripts of Leibniz;
6 — Мельников Сергей: «Введение в философию Аристотеля»;
7 — Гильмутдинова Нина: «Логика и теория аргументации»;