Почему доказать что ты не верблюд легче чем наоборот?

Раз имеет место термин "доказать", то лично мне сподручнее призвать на помощь математику, где понятие "доказательство" является основополагающим, и в данном случае математическое доказательство, на мой взгляд более понятно, нежели доказательство логическое.

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

Тогда: есть объект В(ерблюд), имеющий много параметров и есть объект Я, так же имеющий много параметров. Чтобы доказать тождественность объектов В и Я необходимо выяснить, выполняются ли тождества для всех возможных параметров данных объектов. Вспоминаем попутно, что есть математическое тождество:

Постольку, поскольку параметров много, то сия проблема является многокритериальной задачей (МКЗ), где важными этапами решения являются: формирование системы критериев оценки вариантов решения; выбор методов оценки и последующая оценка вариантов по отдельным критериям; сравнение и выбор наиболее предпочтительного варианта решения. Оценку вариантов (или же свое согласие/не-согласие с ними и выбор решения осуществляет ЛПР - лицо принимаемающее решение (когда Я является ЛПР, то проще - себе самому всегда можно доказать все что заблагорассудится:, если ЛПР стороннее лицо - требуется большая объективность и убедительность)

Теперь, берем объекты В и Я и оцениваем и сравниваем их параметры. Имем: часть параметров В и Я совпадают полностью (тождественны), часть параметров совпадают частично (тождественны на некотором множестве), часть параметров не совпадают (не тождественны). Но тождественность это равенство всех имеющихся параметров. А раз имеют место параметры по которым оценка/сравнение различны, то и нет и тождественности. То есть, чем больше параметров/критериев по которым сравниваем объекты В и Я, тем больше параметров ни разу не тождественных друг другу, что доказывает неравенство самих объектов (В и Я в нашем случае).

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

Доказывая, что Я не В(ерблюд), всегда можно найти кучу параметров не идентичных в рамках сравниваемых критериев, например: В - парнокопытная особь, а Я - 5-пало-стопная, В - мозоленогий, а Я - кудряворукий, взрослый В весит 700 кг, а взрослый Я - 70, у В - 38 зубов, а у Я - 21 (из 32), В любит саксаул, а Я - шашлыки, В ходок по пустыням, а Я - по ба..ням и пр... Соответственно, при куче не равных параметров весьма проблематично доказать тождество/равенство/­идентичность.

Однако..., если прям вилы как требуется доказать, что Я ≡ В (≡ символ тождества), то можно попробовать следующее, убедить ЛПР, что необходимо и достаточно:

-ограничить число оцениваемых/сравнива­емых параметров с 10 тысяч (к примеру) до 100 (к примеру)

-задать важность критериев (коэффиценты относительной важности) максимально предпочтительным для нужного исхода (то есть важным считать критерий, принимающий одно и то же значение для рассматриваемых объектов, по сути - шиворот-на выворот, нежели в МКЗ)

Относительно наших ̶б̶а̶р̶а̶н̶о̶в̶вербл­юдов, выбираем параметры, полностью совпадающие (почти полностью), например:

Эукариоты (Домен), Животные (Царство), Хордовые(Тип), Позвоночные(Подтип), Четвероногие (Надкласс), Млекопитающие(Класс)­, Плацентарные (группа/таксон), живородящие, многоклеточные, вторичноротые - согласно научной классификации

наличие и количество: голов, шеи, тела, глаз, ноздрей, ушей, рта/губ, конечностей (без детализации), сердца, желудка и пр...

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

Вообщем, сотню полностью совпадающих параметров задать не проблема, самое главное убедить ЛПР, что тождественночть данных параметров в совокупности определяет тождественность объектов в целом.