Resultados da pesquisa

...ath>_j'' seja uma sentença verdadeira (sob a interpretação usual de '<math>\to </math>'). Estes requisitos asseguram que todas as sentenças [[D ...e verdadeira). Todos os modelos são interpretações que têm o mesmo domínio de discurso daquele que se pretedia, mas outras atribuições para [[Símbolo não ...

...o.stanford.edu/entries/logic-infinitary/|formato=| acessodata=14 de agosto de 2014 }}</ref> Considerar se uma determinada lógica infinitária nomeada [https://en.wikipedia.org/wiki/%CE%A9-logic Ω-logic] es ...

...A equivalência lógica é diferente da equivalência material, embora os dois conceitos estejam intimamente relacionados. ...r /><math>\neg (p \vee q) \equiv \neg p \wedge \neg q</math> || Leis de [[De Morgan]] ...

...Pois se a lei moral ordena que devemos agora ser homens melhores, segue-se de modo ineludível que devemos também poder sê-lo".<ref>KANT, Immanuel. ''A re ...árias maneiras de postular esse o princípio como, por exemplo, o argumento de que é errado culpar pessoas por coisas que elas não podem controlar. ...

...aculdade especial de intuição matemática. A partir deste ponto de vista, a lógica é o fundamento adequado das matemáticas e todas as afirmações matemáticas s ...''conceitos'' matemáticos podem ser derivados de conceitos lógicos através de definições explícitas. ...

...'', '''máximo''', '''mínimo''', '''supremo''' e '''ínfimo'''. Embora estes conceitos estejam todos relacionados, são bem diferentes. ...a ''construção dos [[números reais]]'' e estão intimamente ligados à ideia de [[limite]]. ...

...os quantificadores]] são consideradas mais simples, sendo a fórmula livre de quantificadores a mais simples. ...fórmula <math>\alpha_{QF}</math> sem quantificadores que é [[equivalência lógica|logicamente equivalente]] a ela. ...

{{Mais notas|data=janeiro de 2025}} Em [[programação de computadores]], uma '''variável livre''' é uma variável referenciada em uma ...

{{Sem-fontes|data=julho de 2012| angola=| arte=| Brasil=| ciência=| geografia=| música=| Portugal=| so ...ixo que pode ou não ser especificado. Esta noção é utilizada em oposição à de [[variável (matemática)|variável]], que não é fixa. ...

...lic Logic''. 5th ed. </ref> Ela é estreitamente relacionada com a [[regra de inferência]] [[modus tollens]]. É a regra que: ...ificando que <math /> é uma [[Consequência lógica|consequência sintática]] de <math /> em alguns sistemas lógicos; ...

Um '''sistema difuso''' (SD) é um [[sistema de controle]] e [[lógica difusa]]. Em seu sentido mais geral, pode designar qualquer sistema ...e para [[controle]] de outro sistema (i.e. regula [[sistema]]s via [[laço de controle|laços]]). ...

...]. A numeração pode ser usada para transferir a ideia de computabilidade e conceitos relacionados, que estão estritamente definidos sobre os números naturais us ...o para aplicar os resultados da teoria da computabilidade sobre o conjunto de funções computáveis ​​em si. ...

...extensão também chamadas de lógicas modais, já que elas podem ser tratadas de maneira similar. ...e "Arnaldo foi possivelmente assassinado" são exemplos que contêm a noção de possibilidade. Formalmente, essa noção é tratada como o operador modal ''Po ...

...22}}[[File:Begriffsschrift Titel.png|thumb|200px|A capa da edição original de 1879]] ...este livro. Este é geralmente considerado a obra que marca o nascimento da lógica moderna. ...

...tem problemas de decisão mais eficientes do que a [[lógica de predicados]] de primeira ordem. ...como conhecimento terminológico). É de especial importância no provimento de um formalismo lógico para ontologias e Web Semântica. A aplicação mais notá ...

...ica proposicional]] clássica, as álgebras de Kleene estão relacionadas à [[lógica ternária]]. Também pode ser uma [[estrutura algébrica]] que generaliza as o ...Horton Conway]] com o nome de álgebras regulares. os axiomas das álgebras de Kleene resolvem o problema, como demonstrado por Dexter Kozen. ...

{{Multitag|img|rec|trad|mnot|p1=ci|data=março de 2014}} O objetivo da '''lógica probabilística''' (também visto como '''probabilidade lógica''' e '''raciocínio lógico''') é combinar a capacidade da [[teoria da probab ...

{{Formatar referências|data=junho de 2023}} {{Mais notas|data=junho de 2023}} ...

...lvida em quaisquer noções de origem, extensão ou ângulo, mas com as noções de [[subtração]] dos pontos, gerando um [[vetor]]. ...uclidiana]] e a [[geometria projetiva]]. É a geometria do [[espaço afim]], de uma dada dimensão ''n'', coordenada sobre um [[Corpo (matemática)|corpo]] ' ...

...val. No final dos anos 50, [[Paul Lorenzen]] foi o primeiro a introduzir a Lógica do diálogo, posteriormente aprimorada por Kuno Lorenz. Quase ao mesmo tempo ...conceito na lógica em que esta é compreendida como um instrumento dinâmico de inferência. ...