什么不是合式公式

合式公式是一种符号化表示形式，用来描述形式系统中的有效推理过程。合式公式由以下几种构造要素组成：

1. 原子命题：原子命题是指不能再分解为更小命题的命题。例如，命题P和Q可以被视为原子命题。

2. 逻辑连接词：逻辑连接词用来将多个命题组合在一起，形成更复杂的命题。常见的逻辑连接词包括合取（∧）、析取（∨）、否定（¬）、蕴含（→）和双蕴含（↔）等。

3. 括号：括号用于改变逻辑表达式的优先级和结构，以确保正确的解释和推理。

在合式公式中，不符合以下条件的表达式被认为是非法或非合式的：

1. 语法错误：语法错误是指不符合形式系统规定的语法规则的表达式。例如，缺少操作符、括号未配对等错误都会导致表达式无效。

2. 非法变量：合式公式定义了一组自由变量，这些变量必须符合预定的规则和约束条件。如果变量超出了规定的范围或违反了约束条件，表达式就不是合式公式。

3. 不完整的命题：合式公式是用来表示完整的命题，而不是片段或部分命题。如果一个表达式缺少必要的元素，或者无法形成完整的命题，那么它就不是合式公式。

总的来说，合式公式是一种符号化的有效推理形式，它由原子命题、逻辑连接词和括号组成。不符合语法规则、包含非法变量或不完整的命题的表达式被认为是非法的合式公式。