Resultados da pesquisa
Saltar para a navegação
Saltar para a pesquisa
- onde <math>\vdash</math> é um símbolo da metateoria da lógica que significa que <math>P \leftrightarrow Q</math> é um [[acarret ...2 kB (305 palavras) - 13h25min de 29 de dezembro de 2018
- ...o justifica o princípio de Markov, mesmo se a lógica clássica for usada na metateoria: não existe um realizador na linguagem de [[cálculo lambda simplesmente tip ...5 kB (760 palavras) - 18h12min de 4 de novembro de 2023
- '''Metalógica''' é o estudo da metateoria da Lógica. Enquanto a Lógica estuda como sistemas lógicos podem ser usados ...9 kB (1 408 palavras) - 23h29min de 26 de junho de 2020
- [[Categoria:Metateoria]] ...18 kB (2 928 palavras) - 09h20min de 19 de novembro de 2023
- ...oi o teorema do corte, um resultado com longo alcance nas consequências da metateoria, incluindo a consistência. Alguns anos depois, Gentzen demonstrou ainda mai ...34 kB (5 457 palavras) - 09h50min de 15 de abril de 2021
- ...al Logic''] — por Stewart Shapiro. Cobre a sintaxe, teoria de modelos, e a metateoria da lógica de primeira ordem no estilo de dedução natural. ...31 kB (5 159 palavras) - 03h44min de 28 de outubro de 2024