Finite model property
In mathematical logic, a logic L has the finite model property (fmp for short) if any non-theorem of L is falsified by some finite model of L. 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 if and only if A is a theorem of the theory of finite models of L.
Wikipage disambiguates
Link from a Wikipage to another Wikipage
primaryTopic
Finite model property
In mathematical logic, a logic L has the finite model property (fmp for short) if any non-theorem of L is falsified by some finite model of L. 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 if and only if A is a theorem of the theory of finite models of L.
has abstract
Em lógica, dizemos que a estru ...... resultado conhecido como o .)
@pt
In mathematical logic, a logic ...... ult known as Craig's theorem.)
@en
Wikipage page ID
14,842,181
page length (characters) of wiki page
Wikipage revision ID
1,012,093,485
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
hypernym
type
comment
Em lógica, dizemos que a estru ...... eoria de modelos finitos de L.
@pt
In mathematical logic, a logic ...... theory of finite models of L.
@en
label
Finite model property
@en
Propriedade do modelo finito
@pt