Решение задач на распознавание объектов

С введением понятия конъюнкции и дизъюнкции высказывательных форм появились условия для рассмотрения вопросов, связанных с решением определенного вида задач, так называемых задач на распознавание объектов.

В задачах на распознавание требуется ответить на вопрос: принадлежит тот или иной объект объему данного понятия или не принадлежит. Примером такой задачи может быть следующая: «Установите, какие из фигур на рисунке 1 являются квадратами, а какие нет».

 

 

Рис. 1

Решают такие задачи, используя определение соответствующего понятия. При этом важно понимать, что если понятие а определено через родовое понятие с и видовое отличие Р, то его объем А можно представить в таком виде: А = {х | х С и Р(х)}. Эта запись показывает, что характеристическое свойство элементов, принадлежащих объему понятия а, представляет собой конъюнкцию двух свойств:

1) принадлежности объекта х объему С родового понятия (х С);

2) свойства Р(х).

Это означает, что объект х будет принадлежать объему понятия а тогда и только тогда, когда он (этот объект) содержится в объеме родового понятия и обладает свойством Р. Поэтому распознавание производится по следующему правилу:

1. Проверяем, принадлежит ли объект х объему родового понятия, т.е. истинно ли высказывание х С.

2. Если окажется, что х С, то проверку прекращаем и делаем вывод, что объект х не принадлежит объему понятия а, т.е. x A.

3. Если х С, то продолжаем проверку и выясняем, обладает ли объект х свойством Р.

4. Если объект х обладает свойством Р, то делаем вывод о его принадлежности объему понятия а, т.е. утверждаем, что х А.

5. Если окажется, что объект х не обладает свойством Р, то делаем вывод, что объект х не принадлежит объему понятия а, т.е. х А.

Выясним, например, какие из фигур на рисунке 1 являются квадратами. Будем пользоваться таким определением: «Квадратом называется прямоугольник, у которого соседние стороны равны». Из него следует, что для того, чтобы фигура была квадратом, она должна обладать двумя свойствами: «быть прямоугольником» и «иметь равные соседние стороны».

Фигура 1 является квадратом, так как это прямоугольник, соседние стороны которого равны.

Фигура 2 не является квадратом, так как это не прямоугольник.

Фигура 3 - прямоугольник, но соседние стороны в нем не равны. Следовательно, ее нельзя назвать квадратом.

Мы рассмотрели самый простой случай решения задачи на распознавание, когда видовое отличие в определении понятия состояло только из одного свойства. Но нередки и такие определения, в которых видовое отличие состоит из нескольких свойств, связанных между собой союзами «и», «или».

Если видовое отличие представляет собой конъюнкцию свойств, т.е. Р = Р₁ Р₂ ... Р_n, то распознавание проводится по следующему правилу: проверяют поочередно наличие у объекта каждого из свойств Р₁, Р₂, … Р_n; если окажется, что он не обладает каким-либо из этих свойств, то проверку прекращают и делают вывод о том, что объект не обладает свойством Р; если же окажется, что все свойства Р₁, Р₂, … Р_n присущи данному объекту, то заключают, что объект обладает свойством Р.

Выясним, например, в каком случае луч BD является биссектрисой угла ABC (рис. 34). Воспользуемся таким определением биссектрисы угла: «Биссектрисой угла называется луч, выходящий из вершины угла и делящий этот угол пополам». Из него следует, что для того, чтобы луч был биссектрисой угла, он должен обладать двумя свойствами: «выходить из вершины угла» и «делить этот угол пополам».

Рис.2

Луч BD на рисунке 2а не является биссектрисой угла ABC, поскольку он не делит данный угол пополам.

Луч BD на рисунке 2б биссектриса угла ABC, так как он выходит из вершины этого угла и делит его пополам.

Если видовое отличие представляет собой дизъюнкцию свойств Р = P₁v P₂v...v Р_n, проверка проводится до тех пор, пока не будет установлено, что хотя бы одно из свойств присуще данному объекту, на основании чего заключают, что он обладает свойством Р. Если же окажется, что объект не обладает ни одним из свойств Р₁, Р₂, … Р_n, то приходят к выводу, что он не обладает свойством Р.

Высказывания с кванторами

В параграфе, который мы изучаем, рассматриваются различные виды математических предложений. Мы выяснили, что среди них выделяют высказывания и высказывательные формы, которые могут быть элементарными и составными. Мы узнали также, как устанавливают значение истинности таких высказываний и как находят множество истинности высказывательных форм. Но мы, конечно, не исчерпали все многообразие формулировок математических предложений и, значит, не знаем многих правил обращения с ними. Например, почему можно одну и ту же теорему о равенстве вертикальных углов формулировать по-разному:

1) Вертикальные углы равны.

2) Если углы вертикальные, то они равны.

3) Для того чтобы углы были равны, достаточно, чтобы они были вертикальными.

4) Для того чтобы углы были вертикальными, необходимо, чтобы они были равны.

Или: почему истинность предложения «сумма трех любых последовательных натуральных чисел делится на 3» надо доказывать, а чтобы убедиться в истинности предложения «некоторые натуральные числа делятся на 3», достаточно привести конкретный пример?

Чтобы ответить на эти вопросы, необходимо более глубокое изучение математических предложений и, прежде всего, высказываний с кванторами.

В формулировках математических предложений часто встречаются слова: «каждый», «все», «некоторые», «хотя бы один». Например, свойство противоположных сторон прямоугольника формулируется так: «в любом прямоугольнике противоположные стороны равны», а о свойстве натуральных чисел мы говорили, что «некоторые натуральные числа кратны 5». Выясним, каков смысл этих слов и как он используются в математике.

Если задана высказывательная форма, то, чтобы превратить ее в высказывание, достаточно вместо каждой из переменных, входящих в форму, подставить ее значение. Например, если на множестве N натуральных чисел задана высказывательная форма А(х) — «число х кратно 5», то, подставив в нее вместо х число 20, мы получим истинное высказывание «число 20 кратно 5». Если же в эту высказывательную форму подставить вместо х число 17, мы получим ложное высказывание «число 17 кратно 5».

Однако существуют и другие способы получения высказываний из высказывательных форм.

Если перед высказывательной формой «число х кратно 5» поставить слово «всякое», то получится предложение «всякое число х кратно 5». Относительно этого предложения можно задать вопрос, истинно оно или ложно. Значит, предложение «всякое число х кратно 5» (х N) - высказывание, причем ложное.

Выражение «для всякого х» в логике называется квантором общности по переменной х (переменная может быть обозначена и другой буквой) и обозначается символом х.

Запись ( x) А(х) означает: «для всякого значения х предложение А(х) - истинное высказывание». Иногда эту запись дополняют обозначением множества X, на котором задана высказывательная форма А(х), и тогда предложение ( x X) А(х) можно читать:

а) для всякого х из множества X истинно Л(х);

б) всякий элемент из множества X обладает свойством А.

Выражение «существует х такое, что...» в логике называется квантором существования по переменной х (переменная может быть обозначена и другой буквой) и обозначается символом х.

Запись ( х) А(х) означает: «существует такое значение х, что А(х) - истинное высказывание». Иногда эту запись дополняют обозначением множества X, на котором задана высказывательная форма А(х), и тогда предложение ( х X) А(х) можно читать:

а) существует такое х из множества X, что истинно А(х);

б) хотя бы один элемент х из множества X обладает свойством А.

Заметим, что в математике наряду со словом «всякий» употребляют слова «каждый», «любой», а вместо слова «существует» используют слова «некоторые», «найдется», «есть», «хотя бы один».

Обратим внимание на особенность употребления в математике слова «некоторый», В обычной речи, говоря «некоторые», имеют в виду «по меньшей мере один, но не все», в математике же слово «некоторые» означает «по меньшей мере один, но, может быть, и все».

Итак, если задана одноместная высказывательная форма А(х), то чтобы превратить ее в высказывание, достаточно связать квантором общности или существования содержащуюся в ней переменную. Если же высказывательная форма содержит несколько переменных, то перевести ее в высказывание можно, если связать квантором каждую переменную. Например, если дана высказывательная форма «х > у», то для получения высказывания надо связать квантором обе переменные: например, ( x)( у) х > у или ( х)( у) х > у.

Однако важно уметь не только переходить от высказывательной формы к высказыванию с помощью кванторов, но и распознавать высказывания, содержащие кванторы, и выявлять их логическую структуру. Дело в том, что кванторы содержатся в формулировках определений, теорем и других математических предложений, хотя часто только подразумеваются. Например, в формулировке теоремы «Вертикальные углы равны» квантора в явном виде нет, но предполагается, что данное утверждение справедливо для всех вертикальных углов. Записывая коммутативное свойство сложения в виде а + b = b + а, подразумевают, что оно справедливо для любых чисел а и b.

Задача 1. Выявить логическую структуру следующих высказываний:

а) Некоторые нечетные числа делятся на 5.

б) Произведение двух любых последовательных натуральных чисел кратно 2.

в) В прямоугольнике диагонали равны.

Решение, а) В этом предложении имеется квантор существования, он выражен словом «некоторые», и высказывательная форма «нечетные числа делятся на 5», заданная на множестве X нечетных чисел. Обозначим высказывательную форму символом А(х), тогда логическая структура данного предложения такова: ( х X) А(х). Если предложение А(х) записать, используя символы: «х 5», то исходное высказывание можно представить в таком виде: ( х X) х 5, где X-множество нечетных чисел.

б) В данном предложении имеется квантор общности, он представлен словом «любой», и высказывательная форма «произведение двух последовательных натуральных чисел кратно 2», заданная на множестве N натуральных чисел. Обозначим ее А(х). Тогда логическая структура данного высказывания такова: ( x N) A(x). И если А(х) представить в виде х(х + 1) 2, то заданное предложение можно записать так: ( х N) х (х+ 1) 2.

в) В заданном высказывании квантора в явном виде нет, но подразумевается, что свойством «иметь равные диагонали» обладают любые прямоугольники, следовательно, этот квантор общности можно включить в заданное высказывание, не изменив его сути: «в любом прямоугольнике диагонали равны». Тогда его структура такова: ( x X) А(х), где X - множество прямоугольников, А(х) - высказывательная форма «в прямоугольнике диагонали равны».

Выясним теперь, как устанавливают значения истинности высказываний, содержащих кванторы.

Рассмотрим сначала высказывание с квантором общности, т.е. высказывание вида ( x X) А(х). В нем утверждается, что для любого х из множества X истинно А(х), поэтому, чтобы убедиться в истинности этого высказывания, надо показать, что множество истинности Т_А высказывательной формы А(х) совпадает с множеством X (Т_А =X). Чтобы убедиться в ложности высказывания ( x X) А(х), достаточно показать, что Т_А ≠ X, т.е. показать, что существует такое значение х X, при котором высказывательная форма обращается в ложное высказывание.

Задача 2. Установить, истинны или ложны следующие высказывания:

а) Для каждого х из множества {0, 1, 4} значение выражения

(4 - х): (2х + 1) есть число целое.

б) Произведение двух любых последовательных натуральных чисел кратно 2.

в) Всякое натуральное число делится на 5.

Решение, а) Если мы хотим убедиться в истинности данного высказывания, то надо показать, что при подстановке каждого числа из множества {0, 1, 4} в выражение (4 - х): (2х + 1) получается целое число. Имеем:

если х = 0, то (4 - 0): (20 + 1) = 4: 1 = 4;

если х = 1, то (4- 1): (2-1 + 1) = 3: 3 = 1;

если х = 4, то(4-4): (2-4 + 1) = 0: 9 = 0.

Действительно, значение выражения (4-х): (2х+1) при всех заданных значениях х есть число целое. Установили мы это путем перебора всех возможных случаев.

б) Воспользуемся результатом задачи 1 (случай б) и представим данное высказывание в таком виде: ( x N) х (х + 1) 2.

Мы не знаем, истинно оно или ложно, поэтому рассмотрим несколько случаев. Если х = 1, то произведение 1∙ 2 кратно 2, так как на 2 делится второй множитель. Если х = 2, то произведение 2∙ 3 тоже кратно 2, так как на 2 делится первый множитель. Если х = 7, то и в этом случае 7∙ 8 кратно 2, поскольку второй множитель 8 делится на 2. Исходя из рассмотренных случаев, можно предположить, что данное высказывание истинное, но убедиться в этом путем перебора (как в первом предложении) нельзя, поскольку невозможно перебрать все натуральные значения х. Будем рассуждать. Из двух последовательных натуральных чисел одно обязательно четное. Но если в произведении один из множителей делится на 2, то, как известно, и все произведение делится на 2. Следовательно, при любом натуральном х произведение х(х+1) делится на 2.

в) Высказывание «всякое натуральное число делится на 5» - ложное. Убедиться в этом можно, назвав натуральное число, которое не делится на 5, например число 12.

В математике говорят, что в ложности данного высказывания мы убедились, приведя контрпример.

Вообще истинность высказывания с квантором общности устанавливается путем доказательства. Показать ложность таких высказываний можно, приведя контрпример.

Заметим, что доказательство истинности высказываний, содержащих квантор общности, можно выполнять различными методами. Решая задачу 2, мы использовали перебор всех возможных случаев и рассуждения. Эти и другие методы доказательства будут рассматриваться нами позже.

Выясним, как устанавливается значение истинности высказываний, содержащих квантор существования. В высказывании ( х X) А(х) утверждается, что в множестве X есть такой элемент х, которой обладает свойством А. Поэтому оно будет истинно, если множество истинности высказывательной формы А(х) не пусто (Т_А≠ Ø ). Для того чтобы показать это, достаточно найти такое значение переменной х, при котором высказывательная форма А(х) обращается в истинное высказывание, т.е. привести пример.

Высказывание ( х X) А(х) ложно в том случае, когда Т_А≠ Ø. Убедиться в этом можно лишь путем доказательства.

Задача 3. Установить, истинны или ложны следующие высказывания:

а) Среди треугольников есть прямоугольные.

б) Некоторые прямоугольные треугольники являются равносторонними.

Решение, а) Данное высказывание содержит квантор существования, который выражен словом «есть». Чтобы убедиться в истинности такого высказывания, достаточно привести пример. В данном случае прямоугольный треугольник можно начертить.

б) В этом случае квантор существования выражен словом «некоторые». Если считать данное высказывание истинным, то надо привести пример, т.е. попытаться начертить треугольник, который был бы одновременно прямоугольным и равносторонним. Из того, что это не удается начертить, еще не следует вывод о ложности данного высказывания. В этом надо убедиться путем доказательства.

Действительно, если треугольник прямоугольный, то в нем один угол равен 90°, а в равностороннем все углы 60°. Следовательно, ни один прямоугольный треугольник не может быть равносторонним. Поэтому данное высказывание ложное.

Вообще истинность высказывания с квантором существования устанавливается при помощи конкретного примера. Чтобы убедиться в ложности такого высказывания, необходимо провести доказательство.

Заметим, что убедиться в ложности высказывания - это значит опровергнуть его.

⇐ Предыдущая123456Следующая ⇒

Поделиться:

Популярное:

1. I I. Цели, задачи, результаты выполнения индивидуального проекта
2. I. Автоматизации функциональных задач в государственном и региональном управлении.
3. II. Основные задачи управления персоналом.
4. II. Решить следующие ниже финансовые задачи на листе “Задачи”.
5. II. Цели, задачи и предмет деятельности
6. III ГЛАВА. ИНТЕРЬЕР И АРХИТЕКТУРНО – ПРОЕКТИРОВОЧНОЕ РЕШЕНИЕ ШКОЛЫ БУДУЩЕГО
7. III. Задачи, решаемые организацией с помощью ИСУ и ИТУ.
8. III. ЦЕЛИ, ЗАДАЧИ И ПРИНЦИПЫ ДЕЯТЕЛЬНОСТИ РАЙОННОЙ ОРГАНИЗАЦИИ ПРОФСОЮЗА
9. III. Экономико-управленческие задачи производственной практики
10. IV. Распределение объектов зеленых насаждений Санкт-Петербурга по категориям
11. IV. Решить следующую задачу.
12. А. П. Петрова. «Сценическая речь» - Пути воплощения сверхзадачи