Aqui você vê as diferenças entre duas revisões dessa página.
Ambos lados da revisão anterior Revisão anterior Próxima revisão | Revisão anterior | ||
lista:submodeloselementares [2021/12/13 14:13] aurichi |
lista:submodeloselementares [2023/05/08 14:11] (atual) |
||
---|---|---|---|
Linha 24: | Linha 24: | ||
**~~#.#~~** $\mathcal M \models \varphi[\alpha]$ se, e somente se, $\mathcal{N} \vDash \varphi[h \circ \alpha]$ | **~~#.#~~** $\mathcal M \models \varphi[\alpha]$ se, e somente se, $\mathcal{N} \vDash \varphi[h \circ \alpha]$ | ||
- | **~~#~~** Utilizando o resultado anterior mostre que, se $\mathcal{M} \cong \mathcal{N}$, | + | **~~#~~** Utilizando o resultado anterior mostre que, se $\mathcal{M} \cong \mathcal{N}$, |
**~~#~~** Mostre que se $\mathcal{M}$ é finito, então vale a volta. | **~~#~~** Mostre que se $\mathcal{M}$ é finito, então vale a volta. |