[勘误] Logical Foundations - INDPRINCIPLES

[Shuumatsu]

在 INDPRINCIPLES 一章中的基础部分，

对于所有的 x1:a1 ... xn:an，若 [P] 对每个类型为 [t] 的函数都成立，则 [P] 对于 [c x1 ... xn] 成立

原文中为 “For all x1:a1 ... xn:an, if [P] holds of each of the arguments of type [t], then [P] holds of [c x1 ... xn]”

此处 “arguments” 被错误的翻译为了 “函数”

[OlingCat]

感谢指正！