Logic 命题逻辑中形式良好的公式和介词有什么区别

在命题逻辑中，格式良好的公式和命题之间的确切区别是什么

在我的书中，关于Wff真的没有多少介绍

---

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

命题：一个对或错的陈述，人们容易阅读，但很难用逻辑等价物来操纵

WFF：一个准确的逻辑陈述，无论是真是假，你的教科书中应该有一个正式的rigorus定义。他们必须遵守4条规则。人类更难阅读，但更精确，更容易操作

例如：

• 命题：

  所有人都是凡人

• WFF：设P是人的集合，M（x）表示x是人，S（x） 表示x是致命的，那么P M（x）->S（x）

---

这本书很可能有打字错误。在引号

中，命题也称为句子或陈述。另一术语公式或格式良好的公式也指相同的公式。也就是说，我们也可以称之为格式良好的公式来指代介词，单词“介词”应该是“命题”。
命题：-一种既对又错的陈述

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

格式良好的公式：满足以下规则和任何Wff（格式良好的公式）的命题形式可以使用这些规则导出：-

如果P是一个命题变量，那么它就是一个wff
如果P是一个命题变量，那么~P是一个wff
如果P和Q是两个WFF，那么，（A和B），（A或B），（A意味着B），（A相当于B）都是WFF
你能提供一个较长的引文吗。“格式良好的公式指的是介词”这一片段不足以说明作者的意思。@MattClarke我补充了你要求的内容，但是……我的书中没有太多关于wff的内容。。