有限模型属性-一流百科

有限模型属性

简介在数理逻辑中，如果L的任何非定理都被L的某个有限模型所证伪，则逻辑L具有有限模型属性（简称fmp）。另一种说法是，如果对于L的每个公式A，当且仅当A是L...

词条百科