Resultados da pesquisa

...ça que segue do axioma (<math>T\vdash\phi</math>) é chamado de [[teorema]] da teoria. Todo axioma também é um teorema. Uma '''teoria de primeira ordem''' == Teorias expressas em linguagem formal == ...

Em [[filosofia da linguagem]], uma '''teoria semântica da verdade''' é uma teoria que afirma que a [[verdade]] é uma propriedade das ...linguagem dada, não pode ser consistentemente definido dentro dessa mesma linguagem. ...

...ica]], isto é o equivalente a perguntar por todas sentenças φ na linguagem da teoria que contém φ ou sua negação ¬φ. ...eja formulado não pode ser completa, assim como demonstrado pelo [[Teorema da incompletude de Gödel]]. ...

...cado de verdade]] pode ter muitos domínios adicionais além do domínio da [[linguagem formal]], se tal for necessário para determinar um [[valor de verdade]] fin ...

...de primeira ordem]]). Ela nos possibilita dar significados a termos de uma linguagem que lida com [[variáveis livres]]. ...e dão significados semânticos a símbolos na linguagem lógica), ambas sendo da mesma assinatura <math>\Sigma</math>. Uma atribuição é uma função que leva ...

...ação]] usado na [[lógica matemática]], [[teoria dos modelos]], e [[ciência da computação teórica]]. Um meio de classificar [[fórmulas bem formadas|fórmul Exemplos de teorias provadas decidíveis usando eliminação de quantificadores são [[aritmética d ...

Na linguagem da [[teoria da computabilidade]], o princípio de Markov é a expressão do argumento de que, Na linguagem de [[aritmética de Heyting]], o princípio é equivalente a: ...

Na [[teoria dos conjuntos]], o '''axioma da união''' é aquele que garante a existência de uniões (finitas ou infinitas) Nestas teorias em que os elementos são conjuntos, o axioma da união diz que existe um conjunto que é a "união" (com significado explicado ...

...ção (lógica)|interpretação]] aos símbolos definidos pela assinatura de uma linguagem. Uma estrutura possui diferentes configurações, seja em lógicas de primeira ...domínio) de discurso, e '''''I''''' é uma intepretação para os símbolos da linguagem, na qual vale as definições: ...

...ada por um [[campo escalar]] tanto como o [[Campo tensorial|campo tensor]] da relatividade geral. ...relatividade geral]] confinaram consideravelmente os parâmetros permitidos da teoria de Brans-Dicke. A teoria de Brans-Dicke representa um ponto de vista ...

...s essas foram extensivamente estudadas e constituem a extensão mais direta da lógica finitária. Porém, essas não as únicas lógicas infinitárias que foram ...ts</math> não fazem parte das linguagens infinitárias formais. O “[[Axioma da escolha]]” é presumido (como frequentemente acontece quando se discute lógi ...

...ia dos anéis'', a ''teoria dos grupos'' e as ''teorias dos conjuntos'' são teorias de primeira ordem. ...eoria de primeira ordem ''T'' tem como base uma [[lógica de primeira ordem|linguagem de primeira ordem]] <math>\mathcal{L}_T</math>, tal que a teoria será um co ...

...inais inacessíveis]], fornecendo uma [[ontologia]] mais rica do que outras teorias como a ZFC. Por exemplo, adicionar esse axioma dá suporte a [[teoria das ca ...G''' utiliza os axiomas a seguir, que são convencionais, por fazerem parte da [[ZFC]]: ...

...ferem de "∀" e "∃" em que os quantificadores delimitados restringem a gama da variável quantificada. O estudo de quantificadores delimitados é motivado p Exemplos de quantificadores delimitados no contexto da [[análise real]] incluem "∀x> 0", "∃y <0", e "∀x ε ℝ". Informalmente "∀x> 0 ...

...de primeira ordem não é adequada para capturar nuances de significados da linguagem natural. ...ma [[quantificação plural]] sob o mesmo domínio do qual os quantificadores da primeira ordem usam, sem a distinção do postulado de "objetos de segunda or ...

...bilitam a especificação e o reconhecimento de linguagens (no sentido amplo da palavra), suas classificações, estruturas, propriedades, características e ...computação]] é dupla: ela tanto apoia outros aspectos teóricos da ciência da computação ([[decidibilidade]], [[computabilidade]], [[complexidade computa ...

Em [[ciência da computação]] e [[lógica matemática]], um '''autômato de árvore infinita ''' ...de segunda ordem]] monádica. Foi também observado que autômato de árvore e teorias lógicas estão intimamente ligados e permitem que [[Problema de decisão|prob ...

...junto de [[símbolo não-lógico|símbolos não-lógicos]] que caracteriza uma [[linguagem formal]]. ...tém todas as consequências de seus elementos; normalmente assume-se que as teorias são consistentes e fechadas. ...

...i usado pela primeira vez por [[Kurt Gödel]] para a prova de seu [[teorema da incompletude]]. ...um único número natural, facilitando a sua manipulação nas teorias formais da aritmética. ...

Na Teoria da computabilidade, tradicionalmente chamada teoria da recursão, um conjunto ''S'' de [[números naturais]] é chamado '''recursivam ...os recursivamente enumeráveis é RE (recursivamente enumerável). Na teorica da recursão, o [[Reticulado]] de conjuntos recursivamente enumeráveis sobre in ...