ir para o conteúdo

Topologia e conjuntos em exercícios

Mantido pelo grupo "Topologia do Interior"

Ferramentas do usuário

Entrar

Ferramentas do site

Alterações recentes
Gerenciador de mídias
Índice

Visitou:

solucao:modelofinito

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] ,\forall\alpha$ valoração) e pelo resultado anterior, temos 
$\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, provamos a volta.

solucao/modelofinito.txt · Última modificação: 2023/05/08 14:11 (edição externa)

Ferramentas da página

Mostrar página
Revisões anteriores
Links reversos
Voltar ao topo

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

CC Attribution-Share Alike 4.0 International