Есть такая детская игра "докажи что не верблюд" :-)
Приветствую!
>>И доказательство в этом частном случае будет доказательством не отсутствия - а присутсвия чего-то, что противоречит предположению, которое требуется опровергнуть.
>
>Совершенно согласен. Отсутствие доказывается именно так. Но не понимаю почему вы ограничиваете это дело частным случаем.
Ну тут я малость погорячился. Отсутствие в частном случае можно доказать не только предъявлением несовместимой сущности, но и перебором. Например, доказать что в коробке ничего нет - открыть коробку. Но это опять же частный случай.
В общем же случае, когда невозможен ни перебор, ни предъявление несовместимой сущности - доказать отсутствеи невозможно. Например, невозможно доказать отсутствие Бога. Или подозреваемй не может доказать свою невиновность, если у него нет алиби или если не предъявлен истинный преступник - "докажи что не верблюд".
С уважением, Д..
