Кстати, прекрасные образцы для подражания в постановке задач имеются в Книге Левит Ветхого Завета:
«скажите сынам Израилевым: вот животные, которые можно вам есть из всего скота на земле: всякий скот, у которого раздвоены копыта и на копытах глубокий разрез, и который жует жвачку, ешьте;
только сих не ешьте из жующих жвачку и имеющих раздвоенные копыта: верблюда, потому что он жует жвачку, но копыта у него не раздвоены, нечист он для вас;
и тушканчика, потому что он жует жвачку, но копыта у него не раздвоены, нечист он для вас,
и зайца, потому что он жует жвачку, но копыта у него не раздвоены, нечист он для вас;
и свиньи, потому что копыта у нее раздвоены и на копытах разрез глубокий, но она не жует жвачки, нечиста она для вас»
(Левит 11: 2–7).
Вот настоящий пример Божественной формализации: сначала описано общее правило, а потом еще дано несколько примеров, подтверждающих, что в общем правиле условия, подлежащие проверке, соединены логическим «и», а не «или».