永假謂詞演算公式

永假謂詞演算公式(falsehood formula of a predicate calculus)一類公式.指不可滿足的謂詞演算公式.