Истинные и ложные высказывания

Посмотрим на условие “среди любых предметов есть молот”. Оно означает, что какие бы предметов мы ни взяли, среди них обязательно найдется молот. Значит, предметов, не являющихся молотами, у Кар-Карыча нет, то есть не-молотов у Кар-Карыча не более . Таким образом, у Кар-Карыча хотя бы молотов.

Также посмотрим на условие “среди любых предметов есть секира”. Оно означает, что какие бы предметов мы ни взяли, среди них обязательно найдется секира. Значит предметов, не являющихся секирами, у Кар-Карыча нет, то есть не-секир у Кар-Карыча не больше . Тогда у Кар-Карыча по крайней мере секир.

Итак, мы выяснили, что у Кар-Карыча по крайней мере молотов и по крайней мере секир. Если у него был бы еще какой-то предмет, то в сумме получилось бы хотя бы предмет, а по условию сказано, что их всего . Значит, никаких других предметов у Кар-Карыча нет. Поэтому у Кар-Карыча всего два вида оружия.

Замечание. На самом деле молотов ровно , а секир ровно , ведь будь хоть какого-то предмета больше, то и в сумме предметов было бы больше, чем .