Resultados da pesquisa
Saltar para a navegação
Saltar para a pesquisa
Resultados no título das páginas
- Na [[lógica|lógica matemática]], um '''literal''' é uma [[fórmula atômica]] (átomo) ou a negação de um át Um literal <math>q</math> é dito '''puro''' em um conjunto de [[Cláusula (lógica)|cláusulas]] <math>S</math> se este conjunto não contém cláusulas da forma ...1 kB (183 palavras) - 20h12min de 5 de agosto de 2021
- Em [[lógica matemática]], uma '''sentença''' de uma [[lógica de predicados]] é uma [[fórmula bem formada]] com valor booleano e sem [[va ...ordem, interpretações são comumente chamadas [[Estrutura_de_interpretação_(lógica)|estruturas]]. Dada uma estrutura ou interpretação, uma sentença tem um [[v ...3 kB (543 palavras) - 01h40min de 23 de abril de 2020
- ...eorema. Uma '''teoria de primeira ordem''' é um conjunto de sentenças de [[Lógica de primeira ordem|primeira ordem]]. ...omas]]. Em uma teoria dedutiva, qualquer sentença que é uma [[consequência lógica]] de um ou mais de um axioma também é uma sentença dessa teoria.<ref name=" ...6 kB (1 041 palavras) - 17h52min de 4 de julho de 2022
- Em [[lógica matemática]], uma '''testemunha''' é um determinado valor de ''t'' para ser substituíd ...''R'' é um ''n''-lugar relação recursiva, e ↔ indica [[equivalência lógica]] (se, e somente se): ...4 kB (560 palavras) - 22h15min de 3 de dezembro de 2016
Resultados no conteúdo das páginas
- ...]] de [[Literal (lógica)|literais]]) obtida de uma fórmula sentencial do [[Lógica de primeira ordem|cálculo de predicados de primeira ordem]] <math>\Phi</mat {{Portal3|Matemática}} ...914 byte (138 palavras) - 18h28min de 18 de agosto de 2024
- ...]] de [[Literal (lógica)|literais]]) obtida de uma fórmula sentencial do [[lógica de primeira ordem|cálculo de predicados de primeira ordem]] <math>\Phi</mat {{Portal3|Matemática}} ...925 byte (139 palavras) - 03h03min de 17 de agosto de 2024
- O '''tetralema''' é uma figura que aparece com destaque na lógica da Índia. Afirma que, com referência a qualquer proposição lógica X, existem quatro possibilidades: ...2 kB (245 palavras) - 18h17min de 18 de julho de 2024
- ...]] de [[Literal (lógica)|literais]]) obtida de uma fórmula sentencial do [[Lógica de primeira ordem|cálculo de predicados de primeira ordem]] <math>\Phi</mat {{Portal3|Matemática}} ...1 kB (178 palavras) - 16h51min de 15 de agosto de 2024
- ..., de 1932. É uma [[lógica modal normal]], e um dos mais velhos sistemas de lógica modal. * [[Lógica modal]] ...1 kB (231 palavras) - 03h16min de 17 de dezembro de 2024
- Na [[lógica matemática]], a '''eliminação da conjunção''' ou '''simplificação''' é uma [[regra de {{esboço-lógica}} ...672 byte (100 palavras) - 18h19min de 30 de abril de 2021
- Na [[lógica|lógica matemática]], um '''literal''' é uma [[fórmula atômica]] (átomo) ou a negação de um át Um literal <math>q</math> é dito '''puro''' em um conjunto de [[Cláusula (lógica)|cláusulas]] <math>S</math> se este conjunto não contém cláusulas da forma ...1 kB (183 palavras) - 20h12min de 5 de agosto de 2021
- Na [[lógica matemática]], a '''introdução da disjunção''' é uma [[regra de inferência]] que estabe ...rsa na [[lógica paraconsistente]] pois, em combinação com outras regras de lógica, leva a uma [[Princípio da explosão|explosão]], isto é, tudo se torna prová ...1 kB (185 palavras) - 20h40min de 18 de fevereiro de 2025
- ...a|função booliana}} (lógica), que em alguns casos é um [[Predicado (lógica matemática)|predicado]] ou uma [[proposição]], é uma função do tipo <math>f: X \to B,< Nas [[ciências formais]], [[matemática]], [[lógica matemática]], [[estatística]], e suas disciplinas aplicadas, uma função booliana pode ...2 kB (322 palavras) - 16h02min de 6 de janeiro de 2023
- ...lógica sequencial tem ''[[memória (computador)|memória]]'', enquanto que a lógica combinacional não. ...aritmética]] (ULA) que faz cálculos matemáticos é construída com o uso de lógica combinatória. ...4 kB (623 palavras) - 20h45min de 13 de novembro de 2021
- ...ímbolos não lógicos|símbolos não-lógicos}} é a parte de uma linguagem de [[Lógica de primeira ordem|primeira ordem]] que informa a sua “área de especialidade ...(seja símbolo de relação ou de função) tem uma [[aridade]]. As [[constante matemática|constante]]s, por serem funções 0-árias, são também símbolos não-lógicos. ...2 kB (323 palavras) - 18h50min de 15 de maio de 2016
- ...esultado, temos que a equissatisfatibilidade é diferente da [[equivalência lógica]], pois duas fórmulas logicamente equivalentes sempre possuem os mesmos mod ...roposicional]] para a própria lógica proposicional em que toda [[Disjunção lógica|disjunção]] binária <math>a \vee b</math> é substituída por <math>((a \vee ...2 kB (312 palavras) - 14h42min de 11 de junho de 2023
- ...a Consistência Conjunta de Robinson''' é um importante teorema da [[lógica matemática]], sendo relacionado com a [[Interpolação de Craig]] e a [[Definibilidade d Considere <math>T_1</math> e <math>T_2</math> sendo da [[lógica de primeira ordem]]. Se <math>T_1</math> e <math>T_2</math> são consistente ...2 kB (266 palavras) - 10h22min de 2 de setembro de 2021
- ...da conjunção é o princípio que fiz que dado um conjunto de uma [[conjunção lógica]] é possível alterar as suas posições, enquanto sua [[valoração]] permanece ...and Q)</math>, no primeiro caso, e <math>(P \land Q)</math> é consequência lógica <math>(Q \land P)</math> no outro, em um [[sistema formal]]. ...2 kB (371 palavras) - 13h23min de 29 de dezembro de 2018
- ...ue descrevem quais sequências de símbolos formados a partir do alfabeto da lógica formal são sintáticamente validos dentro da linguagem.Essas regras tratam a == Lógica Proposicional e Lógica de Predicados == ...2 kB (378 palavras) - 11h26min de 12 de janeiro de 2025
- ...suas extensões próprias é consistente. Para teorias da lógica que contêm [[lógica clássica]], isto é o equivalente a perguntar por todas sentenças φ na lingu ...da noção de lógica completa, que diz que toda teoria pode ser formulada na lógica, todas sentenças semanticamente válidas são teoremas demonstráveis. O [[Teo ...2 kB (411 palavras) - 13h38min de 19 de janeiro de 2024
- ...smo hipotético expressa uma regra de inferência, enquanto na história da [[lógica]], o silogismo hipotético é uma ajuda para a teoria da consequência.<ref na == Lógica proposicional == ...2 kB (375 palavras) - 21h45min de 6 de setembro de 2020
- Na [[lógica|lógica matemática]], dada uma linguagem com um conjunto do [[universo de Herbrand]], a '''bas Uma base de Herbrand para uma linguagem de [[Lógica de primeira ordem|primeira ordem]] L pode ser construída a partir do univer ...2 kB (384 palavras) - 01h25min de 10 de janeiro de 2023
- ...meira ordem]]. As regras de tradução determinam como qualquer fórmula da [[lógica de primeira ordem]] podem ser transformadas na [[forma normal prenex]], e v [[Categoria:Lógica matemática]] ...2 kB (290 palavras) - 13h30min de 29 de dezembro de 2018
- ...arwise]], é uma generalização do [[teorema da compacidade]] usual para a [[lógica de primeira ordem]] para uma determinada classe de linguagens infinitárias. {{Portal3|Matemática}} ...2 kB (232 palavras) - 12h05min de 9 de agosto de 2021