Finite model property
In logic, a logic L has the finite model property (fmp for short) if there is a class of models M of L (i.e. each model in M is a model of L) such that any non-theorem of L is falsified by some finite model in M. Another way of putting this is to say that L has the fmp if for every formula A of L, A is an L-theorem iff A is a theorem of the theory of finite models of L.
Wikipage disambiguates
primaryTopic
Finite model property
In logic, a logic L has the finite model property (fmp for short) if there is a class of models M of L (i.e. each model in M is a model of L) such that any non-theorem of L is falsified by some finite model in M. Another way of putting this is to say that L has the fmp if for every formula A of L, A is an L-theorem iff A is a theorem of the theory of finite models of L.
has abstract
Em lógica, dizemos que a estru ...... cido como o teorema de Craig.)
@pt
In logic, a logic L has the fi ...... ult known as Craig's theorem.)
@en
Wikipage page ID
14,842,181
Wikipage revision ID
728,312,095
subject
hypernym
type
comment
Em lógica, dizemos que a estru ...... eoria de modelos finitos de L.
@pt
In logic, a logic L has the fi ...... theory of finite models of L.
@en
label
Finite model property
@en
Propriedade do modelo finito
@pt