Acesso mais rápido do que o navegador!
58 relações: Alfabeto lógico, Algoritmo DPLL, Amônio de Hérmias, Aridade, Clarence Irving Lewis, Co-NP-completo, Cognitivismo (ética), Conectivo lógico bicondicional, Contraposição, Crença, Derivação formal, Dupla negação, Eliminação de quantificadores, Equivalência lógica, Estrutura de interpretação (lógica), Falso (lógica), Função booliana, Função de verdade, Igualdade lógica, Interpretação (lógica), Involução (matemática), Is Logic Empirical?, Jogo de fórmula, Lógica de independência amigável, Lógica difusa, Lógica do functor predicado, Lógica doxástica, Lógica multivalorada, Lógica probabilística, Lógica proposicional, Lógica ternária, Leis do pensamento, Linearidade, Linguagem formal, Método dedutivo, Método dos Tableaux Analíticos, Millianismo, Modelo booliano valorado, Niilismo moral, Ou exclusivo, Paradoxo de Epiménides, Possibilidade lógica, Predicado (lógica matemática), Princípio da bivalência, Problema indecidível, PSPACE-completude, Questão polar, Rede lógica de Markov, Sentença (lógica matemática), Sentença atômica, ..., Sistema formal, Teorema da indefinibilidade de Tarski, Teoremas da incompletude de Gödel, Teoria do significado, Teoria dos tipos intuicionista, Valor de verdade, Verdade lógica, Verificacionismo. Expandir índice (8 mais) »
Alfabeto lógico
O alfabeto lógico, também chamado de X-stem Logic Alphabet (XLA), constitui um conjunto icônico de símbolos que, sistematicamente, representam dezesseis possíveis funções verdade binárias da lógica.
Novo!!: Valor de verdade e Alfabeto lógico · Veja mais »
Algoritmo DPLL
O algoritmo DPLL/Davis-Putnam-Logemann-Loveland é um algoritmo completo baseado em backtracking (re-leitura ou voltar atrás) para decidir a satisfatibilidade das fórmulas de lógica proposicional na forma normal clausal, isto é, para solucionar o problema SAT.
Novo!!: Valor de verdade e Algoritmo DPLL · Veja mais »
Amônio de Hérmias
Ἀμμώνιος τοῦ Ἑρμείου, também Amônio de Alexandria, (Ammonius Hermiae; Alexandria, entre 435 e 450 – provavelmente depois de 517) foi um influente filósofo antigo tardio.
Novo!!: Valor de verdade e Amônio de Hérmias · Veja mais »
Aridade
Na matemática a aridade de uma função ou operação é o número de argumentos ou operandos tomados.
Novo!!: Valor de verdade e Aridade · Veja mais »
Clarence Irving Lewis
Clarence Irving Lewis (Stoneham, 12 de abril de 1883 – Menlo Park, 3 de fevereiro de 1964), comumente citado como C.
Novo!!: Valor de verdade e Clarence Irving Lewis · Veja mais »
Co-NP-completo
Na teoria da complexidade computacional, problemas computacionais co-NP-completos são os problemas mais difíceis em co-NP, no sentido de que são os mais propensos a não serem P. Se existisse uma forma de resolver um problema co-NP-completo rapidamente, então esse algoritmo poderia ser usado para resolver todos os problemas co-NP de forma rápida.
Novo!!: Valor de verdade e Co-NP-completo · Veja mais »
Cognitivismo (ética)
Cognitivismo é a visão metaética de que sentenças éticas expressam proposições e podem, portanto, ser verdadeiras ou falsas, isto é, elas teriam valor de verdade). O cognitivismo em ética é uma tese tão ampla que engloba, entre outras visões, o realismo moral (que afirma que as sentenças éticas expressam proposições sobre fatos independentes da mente no mundo), o subjetivismo ético (que afirma que sentenças éticas expressam proposições sobre as atitudes ou opiniões das pessoas), e o Niilismo moral (que postula que as sentenças éticas expressam proposições, mas que elas são todas falsas, qualquer que seja sua natureza).
Novo!!: Valor de verdade e Cognitivismo (ética) · Veja mais »
Conectivo lógico bicondicional
Na Lógica e Matemática, a Lógica bicondicional (também conhecida como bicondicional material) é o Conectivo lógico de duas proposições afirmando "p se e somente se q", onde q é uma Hipótese (ou antecedente) e p é um conclusão (ou consequente).
Novo!!: Valor de verdade e Conectivo lógico bicondicional · Veja mais »
Contraposição
Em lógica, contraposição é uma lei, que diz que, para toda sentença condicional, há uma equivalência lógica entre a mesma e sua contrapositiva.
Novo!!: Valor de verdade e Contraposição · Veja mais »
Crença
Crenças são estados mentais em que se assume que algo é verdadeiro ou provável.
Novo!!: Valor de verdade e Crença · Veja mais »
Derivação formal
Em lógica, uma derivação formal (ou prova formal) é uma sequência finita de sentenças onde cada sentença pode ser um axioma ou então pode ser obtida como consequência direta de sentenças anteriores na sequência utilizando-se uma regra de inferência.
Novo!!: Valor de verdade e Derivação formal · Veja mais »
Dupla negação
Na lógica proposicional, a dupla negação é o teorema que afirma que "Se uma declaração é verdadeira, então não é o caso que a declaração não é verdadeira".
Novo!!: Valor de verdade e Dupla negação · Veja mais »
Eliminação de quantificadores
Eliminação de quantificadores é um conceito de simplificação usado na lógica matemática, teoria dos modelos, e ciência da computação teórica.
Novo!!: Valor de verdade e Eliminação de quantificadores · Veja mais »
Equivalência lógica
Na lógica, afirmações p e q são logicamente equivalentes se tiverem o mesmo conteúdo lógico.
Novo!!: Valor de verdade e Equivalência lógica · Veja mais »
Estrutura de interpretação (lógica)
Na lógica, uma estrutura (ou estrutura de interpretação) é um objeto que dá significado semântico ou interpretação aos símbolos definidos pela assinatura de uma linguagem.
Novo!!: Valor de verdade e Estrutura de interpretação (lógica) · Veja mais »
Falso (lógica)
Na lógica, falso ou não verdade é um valor verdade ou um conectivo lógico nulário.
Novo!!: Valor de verdade e Falso (lógica) · Veja mais »
Função booliana
Uma (lógica), que em alguns casos é um predicado ou uma proposição, é uma função do tipo f: X \to B, onde X é um conjunto arbitrário e B é um domínio booliano.
Novo!!: Valor de verdade e Função booliana · Veja mais »
Função de verdade
Uma função de verdade, também chamada de função veritativa, é uma função que retorna valores de verdade a listas de valores de verdade.
Novo!!: Valor de verdade e Função de verdade · Veja mais »
Igualdade lógica
Igualdade lógica é um operador lógico que corresponde à igualdade em Álgebra booleana e ao operador se e somente se no cálculo proposicional.Ele "retorna" o valor verdadeiro se os dois argumentos têm o mesmo valor de verdade, e falso caso contrário.
Novo!!: Valor de verdade e Igualdade lógica · Veja mais »
Interpretação (lógica)
Uma interpretação é uma atribuição de significado para os símbolos de uma Linguagem formal.
Novo!!: Valor de verdade e Interpretação (lógica) · Veja mais »
Involução (matemática)
Uma involução é uma função f:X\to X que, quando aplicada duas vezes, nos traz de volta ao ponto de partida Em matemática, uma involução, ou uma função involutiva, é uma função que é a sua própria inversa, para todo no domínio de.
Novo!!: Valor de verdade e Involução (matemática) · Veja mais »
Is Logic Empirical?
"Is Logic Empirical" (em português, "Lógica é empírica?") é o título de dois artigos (um por Hilary Putnam e outro por Michael Dummett) que discutem a ideia de que propriedades algébricas da lógica podem, ou devem, ser determinadas empiricamente, em particular, elas lidam com a questão de se fatos empíricos sobre a mecânica quântica podem prover embasamento para revisar a Lógica clássica como uma renderização lógica da realidade consistente. A substituição deriva do trabalho de Garret Birkhoff e John von Neumann na lógica quântica.
Novo!!: Valor de verdade e Is Logic Empirical? · Veja mais »
Jogo de fórmula
Um Jogo de fórmula é um jogo artificial representado por uma fórmula booliana completamente quantificada.
Novo!!: Valor de verdade e Jogo de fórmula · Veja mais »
Lógica de independência amigável
Lógica de independência amigável (do inglês Independence-Friendly, Lógica IF), proposta por Jaakko Hintikka e Gabriel Sandu em 1989, objetiva ser uma alternativa mais natural e intuitiva à clássica lógica de primeira ordem (FOL).
Novo!!: Valor de verdade e Lógica de independência amigável · Veja mais »
Lógica difusa
A lógica difusa ou lógica fuzzy é a forma de lógica multivalorada, na qual os valores verdade das variáveis podem ser qualquer número real entre 0 (correspondente ao valor falso) e 1 (correspondente ao valor verdadeiro), diferentemente do que se verifica na lógica booliana (também chamada, às vezes, lógica nítida), segundo a qual os valores lógicos podem ser apenas 0 ou 1.
Novo!!: Valor de verdade e Lógica difusa · Veja mais »
Lógica do functor predicado
Em lógica matemática, predicado functor lógica (PFL) é uma das várias maneiras de expressar o que a lógica de primeira ordem (também conhecida como lógica de predicado) puramente algébrica significa, por exemplo, sem variáveis quantificáveis.
Novo!!: Valor de verdade e Lógica do functor predicado · Veja mais »
Lógica doxástica
Lógica doxástica é um tipo de lógica modal preocupada com o raciocínio sobre crenças.
Novo!!: Valor de verdade e Lógica doxástica · Veja mais »
Lógica multivalorada
Em lógica, a lógica multivalorada (ou lógica plurivalente) é um cálculo proposicional em que há mais de dois valores verdade.
Novo!!: Valor de verdade e Lógica multivalorada · Veja mais »
Lógica probabilística
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 probabilidade para lidar com incerteza com a capacidade da Método dedutivo para explorar a estrutura.
Novo!!: Valor de verdade e Lógica probabilística · Veja mais »
Lógica proposicional
Em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como teoremas do sistema formal.
Novo!!: Valor de verdade e Lógica proposicional · Veja mais »
Lógica ternária
Lógica ternária (ou lógica trivalente) refere-se a qualquer sistema lógico polivalente em que há três valores verdade indicando verdadeiro, falso e algum terceiro valor.
Novo!!: Valor de verdade e Lógica ternária · Veja mais »
Leis do pensamento
Há quatro leis do pensamento clássicas reconhecidas na filosofia ocidental, principalmente a partir da filosofia do século XVII e da filosofia do século XVIII, e amplamente discutidas na filosofia do século XIX.
Novo!!: Valor de verdade e Leis do pensamento · Veja mais »
Linearidade
Linearidade é a propriedade de uma relação matemática (função) que pode ser representada graficamente como uma linha reta.
Novo!!: Valor de verdade e Linearidade · Veja mais »
Linguagem formal
Entende-se por linguagem formal estudo de modelos matemáticos que possibilitam a especificação e o reconhecimento de linguagens (no sentido amplo da palavra), suas classificações, estruturas, propriedades, características e inter-relacionamentos.
Novo!!: Valor de verdade e Linguagem formal · Veja mais »
Método dedutivo
Método dedutivo o raciocínio dedutivo é a maneira de tirar inferências dedutivas.
Novo!!: Valor de verdade e Método dedutivo · Veja mais »
Método dos Tableaux Analíticos
Na teoria da prova, o tableau semântico (singular: tableau; plural: tableaux), também chamado de árvore verdade, é um sistema de dedução para resolver problemas de decisão na lógica proposicional e outras relacionadas, e um procedimento de prova para fórmulas da lógica de primeira ordem.
Novo!!: Valor de verdade e Método dos Tableaux Analíticos · Veja mais »
Millianismo
Em lógica e semântica, millianismo sobre os nomes próprios é defender que os nomes têm denotação mas não têm conotação, o que significa que nomes têm referência e seu significado esgota-se na referência.
Novo!!: Valor de verdade e Millianismo · Veja mais »
Modelo booliano valorado
Na lógica matemática, um modelo booleano valorado é uma generalização da noção Tarskiana de estrutura da teoria dos modelos.
Novo!!: Valor de verdade e Modelo booliano valorado · Veja mais »
Niilismo moral
Niilismo moral (também conhecido como niilismo ético ou amoralismo) é o ponto de vista metaético de que nada é moral ou imoral.
Novo!!: Valor de verdade e Niilismo moral · Veja mais »
Ou exclusivo
Ou exclusivo ou disjunção exclusiva é uma operação lógica entre dois operandos que resulta em um valor lógico verdadeiro se e somente se os dois operandos forem diferentes, ou seja, se um for verdadeiro e o outro for falso.
Novo!!: Valor de verdade e Ou exclusivo · Veja mais »
Paradoxo de Epiménides
O paradoxo de Epiménides é um enigma sem resposta que forma um paradoxo semelhante ao paradoxo do mentiroso, no qual as proposições se ligam umas às outras mas, afinal, não possibilitam qualquer conclusão quanto ao seu valor de verdade.
Novo!!: Valor de verdade e Paradoxo de Epiménides · Veja mais »
Possibilidade lógica
Possibilidade lógica refere-se a uma proposição que pode ser a consequência lógica de outra, baseada nos axiomas de um dado sistema lógico.
Novo!!: Valor de verdade e Possibilidade lógica · Veja mais »
Predicado (lógica matemática)
Em matemática, um predicado é normalmente entendido como uma função booleana P: X→, chamada de predicado em X. Entretanto, predicados possuem vários usos e interpretações diferentes em matemática e lógica, e sua definição precisa, significado e uso variam de teoria para teoria.
Novo!!: Valor de verdade e Predicado (lógica matemática) · Veja mais »
Princípio da bivalência
Em lógica, a semântica princípio da bivalência ou lei da bivalência afirma que toda sentença declarativa que expressa uma proposição de uma teoria sob análise possui um único valor de verdade: ou verdadeiro ou falso.
Novo!!: Valor de verdade e Princípio da bivalência · Veja mais »
Problema indecidível
Na teoria da computação e na teoria da complexidade computacional, um problema indecidível é um problema de decisão em que é impossível construir um algoritmo que sempre responde corretamente sim ou não.
Novo!!: Valor de verdade e Problema indecidível · Veja mais »
PSPACE-completude
Em teoria da complexidade computacional, um problema de decisão é PSPACE-completo se pertence à classe de complexidade PSPACE e todos os problemas em PSPACE podem ser reduzidos a ele em tempo polinomial.
Novo!!: Valor de verdade e PSPACE-completude · Veja mais »
Questão polar
Em linguística, uma "questão sim-não", formalmente conhecida como questão polar, é uma questão cuja resposta esperada é "sim" ou "não".
Novo!!: Valor de verdade e Questão polar · Veja mais »
Rede lógica de Markov
Uma rede lógica de Markov (MLN) é uma lógica probabilística que aplica as ideias de redes de Markov à lógica de primeira ordem, possibilitando inferência incerta.
Novo!!: Valor de verdade e Rede lógica de Markov · Veja mais »
Sentença (lógica matemática)
Em lógica matemática, uma sentença de uma lógica de predicados é uma fórmula bem formada com valor booleano e sem variáveis livres.
Novo!!: Valor de verdade e Sentença (lógica matemática) · Veja mais »
Sentença atômica
Na lógica, uma sentença atômica é um tipo de sentença declarativa que pode ser verdadeira ou falsa (pode também ser referido como uma proposição, declaração ou portador da verdade) e que não pode ser dividida em outras sentenças mais simples.
Novo!!: Valor de verdade e Sentença atômica · Veja mais »
Sistema formal
Um sistema formal ou sistema lógico é, por assim dizer, qualquer sistema de pensamento abstrato bem definido, em um modelo matemático.
Novo!!: Valor de verdade e Sistema formal · Veja mais »
Teorema da indefinibilidade de Tarski
Teorema da indefinibilidade de Tarski, declarado e provado por Alfred Tarski em 1936, é um importante resultado limitativo em lógica matemática, os fundamentos da matemática, e em semântica formal.
Novo!!: Valor de verdade e Teorema da indefinibilidade de Tarski · Veja mais »
Teoremas da incompletude de Gödel
Os teoremas da incompletude de Gödel são dois teoremas da lógica matemática que estabelecem limitações inerentes a quase todos os sistemas axiomáticos, exceto aos mais triviais.
Novo!!: Valor de verdade e Teoremas da incompletude de Gödel · Veja mais »
Teoria do significado
Em filosofia, existem dois tipos principais de teoria do significado: a teoria fundamental e a teoria semântica.
Novo!!: Valor de verdade e Teoria do significado · Veja mais »
Teoria dos tipos intuicionista
Teoria dos tipos intuicionista, ou Teoria dos tipos construtiva, ou Teoria dos tipos de Martin-Löf é uma teoria dos tipos e uma alternativa para os fundamentos da matemática baseados nos princípios do construtivismo matemático.
Novo!!: Valor de verdade e Teoria dos tipos intuicionista · Veja mais »
Valor de verdade
Na lógica e na matemática, um valor de verdade, também chamado de valor veritativo ou valor verdade, é um valor que indica o grau de verdade de uma proposição, dependendo da interpretação.
Novo!!: Valor de verdade e Valor de verdade · Veja mais »
Verdade lógica
Verdade lógica é um dos conceitos mais fundamentais na lógica.
Novo!!: Valor de verdade e Verdade lógica · Veja mais »
Verificacionismo
O verificacionismo, também conhecido como princípio de verificação ou critério de verificabilidade do significado, é a doutrina filosófica que sustenta que apenas as afirmações que são empiricamente verificáveis (ou seja, verificáveis através dos sentidos) são cognitivamente significativas, ou então são verdades da lógica (tautologias).
Novo!!: Valor de verdade e Verificacionismo · Veja mais »
Redireciona aqui:
Valor veritativo, Valores de verdade.
