Ferramentas do usuário
lista:solucao
| Ambos lados da revisão anterior Revisão anterior | |||
|
lista:solucao [2023/05/08 14:11] aurichi removida |
— (atual) | ||
|---|---|---|---|
| Linha 1: | Linha 1: | ||
| - | Devemos mostrar que para toda L-fórmula $\varphi$, temos que $\mathcal{M} \vDash \varphi$ se, e somente se, $\mathcal{N} \vDash \varphi.$ | ||
| - | Mostremos a ida , sejam uma L-fórmula $\varphi$ e uma valoração $\beta$ em $\mathcal{N}$ , consideremos a seguinte valoração $\beta h^{-1}$ em $\mathcal{M}$ , assim pela hipótese ($\mathcal{M} \vDash \varphi[\alpha] , | ||
| - | $\mathcal{M} \vDash \varphi[\beta h^{-1}]$ se, e somente se, $\mathcal{N} \vDash \varphi[\beta ]$, onde $h$ é bijeção entre $M$ e $N$. | ||
| - | Analogamente, | ||
Ferramentas da página
Exceto onde for informado ao contrário, o conteúdo neste wiki está sob a seguinte licença: CC Attribution-Share Alike 4.0 International
