Whether the classical predicate logic systems with the primitive rule of universal generalization have the strong semantic soundness depends on the restriction of the rule.

将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对于通常的语义解释是否具有强可靠性。

youdao

If we do find primitive life-forms elsewhere in the solar system, it may well be that life is common in the universe-the rule, and not the exception.

如果我们这样做在太阳系的其他地方找到原始的生命形式，它很可能是生活在宇宙中的规则是很常见的，而不是例外。

youdao

All the flow control variables (commonly Boolean flags) are stored as plain primitive types. As a high level rule I always say.

所有的流程控制变量(通常是布尔标识)都会以普通的基本变量类型来保存。

youdao