格式正确的公式与介词逻辑中的介词有什么区别

Question

格式正确的公式与命题逻辑中的命题之间的确切区别是什么？

在我的书中，关于Wff的内容确实很少。

我的书说：“命题也被称为句子或陈述。另一个术语公式或格式正确的公式也指相同的术语。也就是说，我们也可以称谓格式良好的公式来引用一个命题。” 这是否意味着它们都是完全相同的东西？

Answer 1

命题：对或错的陈述，易于阅读，但很难用逻辑上的对等物来操纵

WFF：正确或错误的逻辑陈述，您的教科书中应有一个正式的严格定义。 他们必须遵循4条规则。 人类较难阅读，但更加精确且易于操纵

例：

• 主张： All men are mortal
• WFF：让P为一组人，M（x）表示x是一个人，S（x）表示x是凡人，然后for all x in PM(x) -> S(x)

Answer 2

书中很可能有错字。 在报价单中， Propositions are also called sentences or statements. Another term formulae or well-formed formulae also refer to the same. That is, we may also call Well formed formula to refer to a preposition Propositions are also called sentences or statements. Another term formulae or well-formed formulae also refer to the same. That is, we may also call Well formed formula to refer to a preposition Propositions are also called sentences or statements. Another term formulae or well-formed formulae also refer to the same. That is, we may also call Well formed formula to refer to a preposition ，“介词”一词应为“介词”。

Answer 3

命题 ：-是对还是错，但不是同时存在的陈述。

命题形式 （理解良好形式的公式所必需）：-包含至少一个命题变量的断言。

格式正确的公式 ：-满足以下规则的命题形式，并且可以使用以下规则导出任何Wff（格式正确的公式）：-

1. 如果P是命题变量，则它是wff。
2. 如果P是命题变量，则〜P是wff。
3. 如果P和Q是两个wff，则（A和B），（A或B），（A表示B），（A等于B）都是wff。