第一种和谐写作symmetria,即“对称”;第二种和谐写作eurhythmia,意思是不合客观比例但是能满足主体的需求。“合式”来自后者。贺拉斯的“合式”,主要是指艺术作品的各个部分要同整体构成“恰当”、“得体”的对应关系,以保持内在的秩序(internal order)和结构的整一(organic unity)。“合式的原则”与“借鉴的原则...
合式公式，又称谓词公式，是一种形式语言表达式，即形式系统中按一定规则构成的表达式。按照模型论中一种通行习惯，语言F中的合式公式定义如下：1.原子公式是合式公式； 2.若φ和ψ是合式公式，则(φ∧ψ)及(ᒣφ)是合式公式； 3.若φ是合式公式，而x是变元,则(ᗄx)φ是合式公式；4.有限次地应用1...
详细解释(Detailed Explanation):合式指符合规定或标准,也可表示合乎适宜。常用来形容事物的合适与恰当,也可用于人的行为举止的得体与合理。 使用场景(Usage Scenarios):可以用于各种场合,例如形容某人的言行合适,某物符合要求等等。 故事起源(Story Origin):合式这个成语最早出现在《庄子·齐物论》一书中,原文是“合...
② 原子命题公式是一个合式公式; ③ 如果A是合式的公式,那么¬A是合式公式; ④ 如果A和B均是合式的公式,那么A∧B,A∨B,A→B,A↔B都是合式公式; ⑤ 当且仅当有限次地应用 ①至④ 条规则由逻辑联结词、圆括号所组成的有意义的符号串是合式的公式。
(4) 求得的公式,才是合式公式 等价关系: (1) 否定之否定 ~ ( ~ P) 等价于 P (2) P ∨ Q 等价于~ P → Q (3) 狄·摩根定律 ~ (P ∨ Q) 等价于~ P ∧~ Q ~ (P ∧ Q) 等价于~ P ∨~ Q (4) 分配律 P ∧ (Q ∨ R) 等价于 (P ∧ Q) ∨ (P ∧ R) P ∨ (Q ∧ R...
(1)原子公式是合式公式 (2)若A是合式公式,则¬A也是合式公式 (3)若、A、B是合式公式,则、、、A∧B、A∨B、A→B、A↔B也是合式公式 (4)若A是合式公式,则、∀xA、∃xA也是合式公式 (5)只有有限次地应用(1)~(4)构成的符号串才是合式公式 ...
合式定义是形式系统中用初始符号和在先的定义符号确立一个新符号的意义。所谓在先的定义符号是指一个理论中的第一个定义是某一个形式语句，它用该理论的初始符号确立该理论一个新符号的意义。一个理论中的第二个定义是又一个形式语句，它用该理论的初始符号和第一个定义符号确立该理论的第二个新符号的意义。后...
合式公式,命题公式是由命题常项、命题变项、联结词、括号等组成的符号串,但不是由这些符号任意组成的符号串都是命题公式。因此,必须给出命题公式的严格定义。