Сможет ли мотылёк помочь мартышке найти маму по описанным свойствам (необходимым условиям)?
Сможет, но только после многих проб и ошибок, ведь приметы всё время приводят их к "неправильным" зверям. Ибо свойства, называемые мартышкой, необходимы, но не достаточны для того, чтобы идентифицировать маму.
Необходимые и достаточные условия
Термин «признак» математики и нематематики понимают по-разному.
Все, кроме математиков, имеют дело с истинами не в виде доказанных утверждений, а с истинами и «истинами», установленными эмпирически. И термин «признак», который математики применяют исключительно в смысле «достаточного условия», большинство применяет в смысле «вероятного достаточного условия».
Эта вероятностная характеристика приводит к появлению терминов, которые в математике были бы невероятны: предположительный или возможный в принципе признак (для юристов он - косвенная улика); вероятный или статистически достоверный признак; несомненный или достаточный признак. Такими признаками пользуется и медицина, и криминалистика.
При этом понятия «свойство» и «признак» получают такое нечёткое определение, что часто путаются и даже отождествляются.
Как объяснить, чем отличается свойство от признака? Если ввести понятие «характеристика», которое дети будут понимать как «перечисление черт объекта, отвечающих на вопрос «Какой?», при этом одна и та же характеристика может играть роль необходимого условия (свойства) или достаточного условия (признака) в зависимости от того, служит она для описания наблюдаемого объекта или для идентификации его в некотором множестве объектов.
Игра на понимание отличий. На столе два одинаковых набора фигур. Один набор отгораживаем ширмой. Взрослый берёт фигуру и, не произнося её название, описывает такие её черты, по которым ребёнок найдет её в своём наборе. Для взрослого называемые характеристики будут свойствами наблюдаемой им фигуры, а для ребёнка – признаками в нематематическом смысле, по которым эту фигуру нужно идентифицировать. При этом достаточный для идентификации признак (или совокупность признаков) можно будет назвать характеристическим признаком и объяснить, что математики его и только его и называют признаком.
"Его и только его" - это необходимый и достаточный признак (необходимое и достаточное условие).
1) Она большая... Больше чем я! - необходимое, но не достаточное условие (контрпример - слон больше мартышки, но не её мама).
2) Хвост мамы легко обовьёт любую ветку - необходимое, но не достаточное условие (контрпример - змея, хвост обвивает ветки, но она - не мама мартышки).
3) Ног у мамы больше, чем у змеи - необходимое. но не достаточное условие (контрпример - паук, у которого 8 ног, но он не является мамой мартышки).
4) Дом мамы на дереве, выше всех - необходимое. но не достаточное условие (контрпример - попугай, гнездо которого высоко на дереве, но он не является мамой мартышки).
5) Мама не летает, а скачет: прыг-скок! - необходимое. но не достаточное условие (контрпример - лягушка не летает, прыгает: прыг-скок, но не является мамой мартышки).
6) Мама одета в коричневый мех - необходимое, но не достаточное условие (контрпример - летучая мышь с коричневой шкуркой, не являющаяся мамой мартышки).
7) Мама большая (см. 1)
8) Мама похожа на мартышку - необходимое, но не достаточное условие (контрпример - папа мартышки, который на неё похож, но не её мама).
Так как же найти маму мартышки?
Какими свойствами обладает мама мартышки? (Описание мамы мартышки) Больше мартышки, хвост легко обовьёт ветку, ног больше, чем у змеи, дом её на дереве, не летает, а скачет: прыг-скок, одета в коричневый мех, похожа на мартышку.
Можно ли назвать достаточное условие (признак) для того, чтобы идентифицировать маму мартышки в множестве зверей леса?