可驳公式

英文

refutable formula

简介

一种基本公式.指不恒真的公式.设φ(x₁，x₂，…，x_n)是L中的一个公式，如果对L的某一个模型U，存在某个n元组a₁，a₂，…，a_n∈A.使U⊨ᒣφ[a₁，a₂，…，a_n]，则称φ是可驳的，即φ不是普遍有效的.