Возможно, в силу дополнительных предположений, высказанных в явной форме:
1) Сан-Комарик недонаселён, и дальнейшее снижение его населения приводит к снижению среднего благосостояния в Сан-Комарике.
...
В этом случае ответ однозначный - увеличение инфраструктуры Давилона приведёт к снижению среднего благосостояния (по крайней мере, до тех пор, пока Сан-Комарик всё ещё существует).
Здесь ошибка, ибо первая часть 1) "Сан-Комарик недонаселён" означает, что U'c < 0, что означает ситуации
А U'd > U'c
либо
B U'd < U'c
Ситуация А ведёт к тому, что вывод не верен. (теорема опровергнута)
Ситуация В - сложнее, вывод может выпоняться в большом ряде случаев (но опять таки, не обязательно, потому что я установил достаточные, а не необходимые условия).
Но автор здесь допускает тавтологичный оборот: если "Сан-Комарик недонаселён" И "дальнейшее снижение его населения приводит к снижению среднего благосостояния", то среднее благосостояние сократится, что ПРИ ЛЮБЫХ УСЛОВИЯХ ведёт к падению среднего благосостояния в Давилоне, просто по условию задачи. Хороша же теорема "если А, то А".
