合式公式 – מילון עברי-אנגלי

לצערנו, לא נמצאו תוצאות באנגלית עבור "合式公式"

Wikipedia 维基中文免费百科全书

合式公式

在逻辑中，WFF是合式公式(well-formed formula)的缩写。给定一个形式文法，WFF 是这个文法生成的任何字符串。

例如，在命题演算中符号序列是一个 WFF，因为它在文法上正确。符号序列不是 WFF，因为它不符合命题演算的文法。

在形式逻辑中，证明是有特定性质的 WFF 序列，而序列中最终的 WFF 就是要证明的。

本文章的材料选自维基百科^(R), 并有 GNU 免费文件许

合式公式 – מילון עברי-עברי

לצערנו, לא נמצאו תוצאות בעברית עבור "合式公式"

合式公式

在逻辑中，WFF是合式公式(well-formed formula)的缩写。给定一个形式文法，WFF 是这个文法生成的任何字符串。

例如，在命题演算中符号序列是一个 WFF，因为它在文法上正确。符号序列不是 WFF，因为它不符合命题演算的文法。

在形式逻辑中，证明是有特定性质的 WFF 序列，而序列中最终的 WFF 就是要证明的。

本文章的材料选自维基百科^(R), 并有 GNU 免费文件许