合式公式的代换
来源：动视网
责编：小OO
时间：2024-11-11 04:27:24
合式公式的代换
若φ和ψ是合式公式，则(φ∧ψ)及(_φ)是合式公式，若φ是合式公式，而x是变元,则(_x)φ是合式公式。合式公式又称谓词公式，是一种形式语言表达式，即形式系统中按一定规则构成的表达式。按照模型论中一种通行习惯。
导读若φ和ψ是合式公式，则(φ∧ψ)及(_φ)是合式公式，若φ是合式公式，而x是变元,则(_x)φ是合式公式。合式公式又称谓词公式，是一种形式语言表达式，即形式系统中按一定规则构成的表达式。按照模型论中一种通行习惯。
若φ和ψ是合式公式，则(φ∧ψ)及(_φ)是合式公式，若φ是合式公式，而x是变元,则(_x)φ是合式公式。合式公式又称谓词公式，是一种形式语言表达式，即形式系统中按一定规则构成的表达式。按照模型论中一种通行习惯。
合式公式的代换
若φ和ψ是合式公式，则(φ∧ψ)及(_φ)是合式公式，若φ是合式公式，而x是变元,则(_x)φ是合式公式。合式公式又称谓词公式，是一种形式语言表达式，即形式系统中按一定规则构成的表达式。按照模型论中一种通行习惯。
