Therefore, a formal truth is a true proposition to determine whether the formal proposition is of universal effectiveness or relation of satisfaction.
满足关系是当理由型的具体命题真时论断型的具体命题一定真的形式命题关系。
The only truth that might seem instructive to him is not formal: it comes to life and unfolds in men.
在他看来，这看似有所收获的唯一真实不是形式上的：这种真实具有生命并在人们之中逐渐展现自我。
"Outline of a theory of truth" is about the logical paradox, in which Kripke put forward a theory of truth of "fixed point", and gave concrete formal construction.
《真理论纲要》就是克里普克关于语义悖论的研究成果。他在其中提出了“定点”真理理论，并给出了具体的形式建构。
It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.
它是可计算性的形式理论，正如经典逻辑是真理的形式理论。
The rationality of law including substantive rationality and formal rationality is the unity of values and truth and also the unity of the neediness and regularity.
法的合理性，包括法的实质合理性与形式合理性，是法的价值性与真理性的统一，是法的合需要性与合规律性的统一。
The truth value table is both a kind of logic approach widely used in formal logic and a very useful tool.
真值表是形式逻辑中广泛使用的一种逻辑方法，也是一种非常有用的工具。
Their bright formal structure carries with man's pursuit for goodness and truth, which expresses features of beauty.
它的鲜丽的形式结构承载着人类的善真追求，表现出美的特性。
The Truth is not a matter of books and speeches and formal meetings; it concerns our living every hour of every day.
真理不仅仅体现在于书本或言谈、教会会议中，也要体现在我们的日常生活中。
Chinese knot standing in a cultural heritage of the starting point, reflects the beauty and truth, good harmony and unity, which is a combination of content and formal beauty of the body.
中国结站在一个文化传承的起点上，体现了美与真、善的和谐统一，是内容与形式美的一种结合体。
It is also a new starting point for culture heritage. It embodies the unity of beauty, truth and good harmony and combines content with the formal beauty.
中国结站在一个文化传承的起点上，体现了美与真、善的和谐统一，它是内容与形式美的一种结合体。
It is also a new starting point for culture heritage. It embodies the unity of beauty, truth and good harmony and combines content with the formal beauty.
中国结站在一个文化传承的起点上，体现了美与真、善的和谐统一，它是内容与形式美的一种结合体。
应用推荐