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:modelos [2021/02/10 19:29] aurichi |
lista:modelos [2023/03/20 14:12] (atual) |
||
---|---|---|---|
Linha 43: | Linha 43: | ||
**~~#~~** Vamos exibir quem é $T$: | **~~#~~** Vamos exibir quem é $T$: | ||
- | - Seja $T_0$ o conjunto com todas as variáveis do vocabulário $L$. | + | - Seja $T_0$ o conjunto com todas as variáveis |
- Dado $n \in \omega$, seja $T_{n+1} = T_n \cup \{f(t_1, | - Dado $n \in \omega$, seja $T_{n+1} = T_n \cup \{f(t_1, | ||
- Defina $T = \bigcup_{n \in \omega} T_n$ | - Defina $T = \bigcup_{n \in \omega} T_n$ |