Types and Programming Languages

А в чём проблема-то? Стандартное «если-то», или заключение верно, или одна из посылок не выполняется.

A rule is satisfied by a relation
If, for each instance of the rule
Either the conclusion is in the relation
Or one of the premises is foul.

Так было бы лучше.

Мне тоже непонятно. В переводе Бронникова и Отта: «Правило выполняется (is satisfied) на отношении, если для каждого экземпляра правила его заключение является элементом отношения либо одна из его предпосылок не является таковой.»

Почему правило выполняется если одна из его предпосылок «не является таковой»?

Почему правило выполняется если одна из его предпосылок «не является таковой»?

Есть правило, типа «из A, B и C получаем D». Есть отношение «хороший». Для того, чтобы правило на этом отношении выполнялось, имело место следующее: «если A, B и C - хорошие, то D - тоже хорошее». Это абсолютно то же самое, что и следующее: или одно из A, B и C - не хорошее, или D таки хорошее.

Понятно, я сначала прочитал исходное определение как «Z, если X, или если Y», а надо было как «Z, если X или Y».