solucao:start

juliajaccoud (juliajaccoud@undisclosed.example.com) — 2023-05-08T14:35:29+00:00

A seguinte fórmula $$ \forall x (x < 0 \rightarrow x

lista:solucao - removida

aurichi (aurichi@undisclosed.example.com) — 2023-05-08T14:11:13+00:00

solucao:modelofinito - criada

aurichi (aurichi@undisclosed.example.com) — 2023-05-08T14:10:57+00:00

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}]$$\mathcal{N} \vDash \varphi[\beta ]$$h$$…

lista:submodeloselementares

aurichi (aurichi@undisclosed.example.com) — 2023-05-08T14:10:48+00:00

Relações entre modelos Dizemos que dois L-modelos $\mathcal{M}$ e $\mathcal{N}$ são isomorfos ($\mathcal{M} \cong \mathcal{N}$) se existe uma bijeção $h: M \rightarrow N$ tal que: - para todo símbolo relacional R e $a_1,\ldots,a_n \in M$, temos que $R^{\mathcal{M}}(a_1,\ldots,a_n)$ se, e somente se, $R^{\mathcal{N}}(h(a_1),\ldots,h(a_n))$. - para todo símbolo funcional $f$ e $a_1,\ldots,a_n \in M$, temos que $h(f^{\mathcal{M}}(a_1,\ldots,a_n)) = f^{\mathcal{N}}(h(a_1),\ldots,h(a_n))$ - para …

lista:modelos

aurichi (aurichi@undisclosed.example.com) — 2023-03-20T14:11:41+00:00

Modelos Esta lista tem como objetivo apresentar como formalizar a ideia de como dizer que uma certa estrutura satisfaz determinados axiomas. Para isso, vamos formalizar como podemos escrever tais axiomas. A primeira parte da lista cuida justamente disso: como os axiomas podem ser escritos de uma maneira formal. Atente que, de começo, as fórmulas não tem qualquer significado - são apenas sequências de símbolos. O que fazemos de início é simplesmente dizer quais sequências estão bem formadas e q…

wiki:logo.png

aurichi (aurichi@undisclosed.example.com) — 2020-11-06T16:24:00+00:00

endpoint2.pdf - criada

gustavo (gustavo@undisclosed.example.com) — 2020-05-20T19:47:00+00:00

endpoint1.pdf - criada

gustavo (gustavo@undisclosed.example.com) — 2020-05-20T19:46:28+00:00

wiki:infinite_ladder.png

gustavo (gustavo@undisclosed.example.com) — 2020-05-08T20:40:47+00:00

inacessiveis-merged.pdf - criada

aurichi (aurichi@undisclosed.example.com) — 2020-05-01T13:39:55+00:00

wiki:strategyone.png

gustavo (gustavo@undisclosed.example.com) — 2020-03-17T00:32:06+00:00

strategyone.png - criada

gustavo (gustavo@undisclosed.example.com) — 2020-03-17T00:24:03+00:00

wiki:complement_indeterminacy2.png - criada

gustavo (gustavo@undisclosed.example.com) — 2020-03-16T23:15:47+00:00

wiki:complement_indeterminacy.png - criada

gustavo (gustavo@undisclosed.example.com) — 2020-03-16T23:15:46+00:00

complement_indeterminacy2.png - criada

gustavo (gustavo@undisclosed.example.com) — 2020-03-16T23:13:04+00:00

complement_indeterminacy.png - criada