Resultados da pesquisa

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: ...

...a história da [[lógica]], o silogismo hipotético é uma ajuda para a teoria da consequência.<ref name="sep">Beall, JC and Restall, Greg, ''[http://plato.s == Lógica proposicional == ...

...as lógicas subestruturais mais significativas são lógica de relevância e [[lógica linear]]. ...g]] de proposições. A interpretação padrão desta string é como [[Conjunção lógica|conjunção]]: nós devemos ler ...

...de" e "Falso" são estudadas na [[Lógica Matemática]] ou [[Álgebra booleana|Lógica de Boole]]; origem do nome destas portas. O comportamento das portas lógica == História == ...

== História == ...o grego|letra grega]] ''[[épsilon]]'', na qual surgiu como uma das origens da letra e.]] ...

...s. Eles podem ser vistos como uma família da [[lógica subestrutural]] ou [[lógica modal]]. ...ão estrita]], com o argumento de que a lógica clássica concede [[paradoxos da implicação material]], como por exemplo, o princípio de que o “[[Verdade po ...

Na [[teoria da prova]], um sequente é uma declaração [[Formalismo|formalizada]] de [[Verif onde tanto Γ como Σ são [[Sequência (matemática)|sequências]] de fórmulas [[Lógica matemática|lógicas]] (i.e., tanto o número como a ordem das fórmulas são le ...

...<ref>Harry Gensler, Introduction to Logic, Routledge, 2001, p. 253.</ref>. Lógica concerne as verdades que podem ser verificadas usando sistemas lógicos; Met ...estudos de sistemas dedutivos faz parte do área de conhecimento da Teoria da Prova. ...

...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 ...ofia analítica]] no século XX, embora às vezes se alegue que os [[teoremas da incompletude de Gödel]] minam o propósito do projeto, embora seja mais apro ...

...Outra técnica para provar a inexpressibilidade de resultados é o [[teorema da compacidade]], que não funciona em modelos finitos. ...de uma das estruturas, e o outro jogador (Duplicador) escolhe um elemento da outra estrutura. O objetivo do Duplicador é sempre pegar um elemento que é ...

Segundo esta história, a invenção do jogo deixou seu senhor, um príncipe indiano,<ref name="brita ...essa pela [[matemática moderna]] por meio da [[Fórmula (lógica) |fórmula]] da subtração de um a 2 elevado à sexagésima-quarta potência. ...

...', é uma ferramenta analítica usada na lógica dedutiva, especialmente na [[lógica de predicados]]. Indica o [[conjunto]] relevante de entidades as quais os [ Uma base de dados é um modelo de algum aspecto da realidade de uma organização. É convencional chamar essa realidade de "uni ...

...estudos sobre a história da lógica, particularmente sua interpretação da [[lógica aristotélica]]. ...u conhecido como Escola Lógica da Varsóvia, ou Escola Polonesa de Lógicos, da qual fazia parte [[Alfred Tarski]]. Durante este período casou com Regina B ...

...ou não-''B''"). O primeiro a aplicar o termo tautologia às redundâncias da lógica proposicional foi o [[filósofo]] [[Ludwig Wittgenstein]] em 1921 (anteriorm ...é nem uma tautologia nem uma contradição é dita logicamente [[Contingência(lógica)|contingente]]. Tal fórmula pode ser verdadeira ou falsa dependendo dos val ...

...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 ...fórmula <math>\alpha_{QF}</math> sem quantificadores que é [[equivalência lógica|logicamente equivalente]] a ela. ...

Na lógica matemática , o teorema de Craig afirma que qualquer conjunto recursivamente ...de acordo com o seguinte raciocínio informal. Cada membro de T * é ou ou da forma ...

...is de 3 valores, e a infinitamente-valorada, como a [[lógica difusa]] e a lógica probabilística. == História == ...

...ortantes em [[lógica matemática]]. Eles são um tópico padrão em livros de lógica matemática tais como {{harvtxt|Soare|1987}} e {{harvtxt|Rogers|1987}}. ...>K = \{ i \mid i \in W_i \}</math>, o conjunto que representa o [[problema da parada]]. Seu complemento <math>\bar{K} = \{ i \mid i \not \in W_i \}</math ...

...de disjunção''' é satisfeita por uma teoria se, sempre que uma [[Sentença (lógica matemática)|sentença]] ''A v B''&nbsp;é um teorema, então ou ''A''&nbsp;é u * A variante da regra de Church '''(RC')''' afirma que se a teoria prova que&nbsp;<math>(\e ...

...temática)|matrizes algébricas]]. A lógica vetorial assume que os [[Verdade lógica|valores verdade]] mapeiam em [[Vetor (matemática)|vetores]], e que as opera ...onde a [[Verdade lógica|'''verdadeiro''']] e o valor 0 a '''falso'''. Uma lógica vetorial bivalorada requer uma correspondência entre os valores-verdade ''v ...