形式良好的公式与命题逻辑中的介词之间有什么区别

Question

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

在我的书中，关于Wff的确没有多少。

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

Answer 1

命题：一个真实或错误的陈述，易于人们阅读但难以使用逻辑等价来操纵

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

示例：

• 命题：All men are mortal
• WFF：设P为人的集合，M（x）表示x是人，S（x） 表示x是凡人然后for all x in P M(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中，“介词”一词应该是“命题”。

Answer 3

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

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

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

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