永真謂詞演算公式(valid formula of a predi- cate calculus)亦稱重言式一類公式.指在任何個體域上均是永真的謂詞演算公式. ...
普遍有效公式(universally valid formula)亦稱永真公式或恆真公式,是一種基本公式。普遍有效是數理邏輯用語,狹謂詞演算的一個公式是普遍有效的,若且唯若:對任何個體...
