Acesso mais rápido do que o navegador!
34 relações: Algoritmo, Álgebra booliana, Complexidade computacional, Conectivo lógico, Conjunção, Consequência lógica, Contradição, Contraposição, Disjunção lógica, Domínio booliano, Fórmula (lógica), Fórmula atômica, Filósofo, Forma normal algébrica, Forma normal conjuntiva, Forma normal disjuntiva, Função booliana, Grafo lógico, Grécia Antiga, Lógica de primeira ordem, Lógica proposicional, Lei do terceiro excluído, Ludwig Wittgenstein, Negação, NP-completo, Problema de decisão, Prova automática de teoremas, Se e somente se, Sistema dedutivo, Subconjunto, Tabela-verdade, Tautologia, Unidades atômicas, Valoração (lógica).
Algoritmo
Uma animação do algoritmo de ordenação quicksort de uma matriz de valores ao acaso. As barras vermelhas marcam o elemento pivô. No início da animação, estando o elemento para o lado direito, é escolhido como o pivô Em matemática e ciência da computação, um algoritmo é uma sequência finita de ações executáveis que visam obter uma solução para um determinado tipo de problema.
Novo!!: Tautologia (lógica) e Algoritmo · Veja mais »
Álgebra booliana
Em álgebra abstrata, álgebras boolianas (ou álgebras de Boole) são estruturas algébricas que "captam as propriedades essenciais" dos operadores lógicos e de conjuntos, ou ainda oferecem uma estrutura para se lidar com "afirmações",Edward R. Scheinerman.
Novo!!: Tautologia (lógica) e Álgebra booliana · Veja mais »
Complexidade computacional
A teoria da complexidade computacional é um ramo da teoria da computação em ciência da computação teórica e matemática que se concentra em classificar problemas computacionais de acordo com sua dificuldade inerente, e relacionar essas classes entre si.
Novo!!: Tautologia (lógica) e Complexidade computacional · Veja mais »
Conectivo lógico
Diagrama de Hasse dos conectivos lógicos. Em lógica, um conectivo lógico (também chamado de operador lógico) é um símbolo ou palavra usado para conectar duas ou mais sentenças (tanto na linguagem formal quanto na linguagem natural) de uma maneira gramaticalmente válida, de modo que o sentido da sentença composta produzida dependa apenas das senteças originais.
Novo!!: Tautologia (lógica) e Conectivo lógico · Veja mais »
Conjunção
Conjunção (do termo latino conjunctione) é uma das classes de palavras definidas pela gramática geral.
Novo!!: Tautologia (lógica) e Conjunção · Veja mais »
Consequência lógica
Consequência lógica é um conceito fundamental na lógica.
Novo!!: Tautologia (lógica) e Consequência lógica · Veja mais »
Contradição
Na lógica clássica, uma contradição consiste numa incompatibilidade lógica entre duas ou mais proposições.
Novo!!: Tautologia (lógica) e Contradição · 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!!: Tautologia (lógica) e Contraposição · Veja mais »
Disjunção lógica
Disjunção, operador ou (OR), é uma operação lógica utilizada em lógicas digitais e lógicas matemáticas.
Novo!!: Tautologia (lógica) e Disjunção lógica · Veja mais »
Domínio booliano
Em matemática e em álgebra abstrata, um domínio booliano é um conjunto consistindo de exatamente dois elementos, chamados boolianos, cujas interpretações incluem falso e verdadeiro.
Novo!!: Tautologia (lógica) e Domínio booliano · Veja mais »
Fórmula (lógica)
Na lógica matemática, uma fórmula é uma representação de uma proposição dentro de uma certa linguagem formal.
Novo!!: Tautologia (lógica) e Fórmula (lógica) · Veja mais »
Fórmula atômica
Em Lógica matemática, uma Fórmula Atômica (ou simplesmente átomo) é uma fórmula sem uma estrutura proposicional mais profunda, isto é, uma fórmula que não contém Conectivos lógicos, ou equivalentemente uma fórmula que não contém subfórmulas.
Novo!!: Tautologia (lógica) e Fórmula atômica · Veja mais »
Filósofo
Filósofo é alguém que pratica a filosofia, a qual envolve investigação racional em áreas que estão fora da teologia ou da ciência.
Novo!!: Tautologia (lógica) e Filósofo · Veja mais »
Forma normal algébrica
Forma normal algébrica (FNA), também conhecida como Polinômio de Zhegalkin ou Expressão de Reed-Muller, na lógica booleana, é vista como um método de padronização e normalização de fórmulas lógicas.
Novo!!: Tautologia (lógica) e Forma normal algébrica · Veja mais »
Forma normal conjuntiva
Na lógica booleana, uma fórmula está na forma normal conjuntiva (FNC) se é uma conjunção de cláusulas, onde uma cláusula é uma disjunção de literais.
Novo!!: Tautologia (lógica) e Forma normal conjuntiva · Veja mais »
Forma normal disjuntiva
Na lógica booleana, uma forma normal disjuntiva (FND) é uma normalização de uma fórmula lógica a qual é uma disjunção de cláusulas conjuntivas.
Novo!!: Tautologia (lógica) e Forma normal disjuntiva · 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!!: Tautologia (lógica) e Função booliana · Veja mais »
Grafo lógico
Um Grafo Lógico é um tipo especial de estrutura da teoria dos grafos que Charles Sanders Peirce desenvolveu para a lógica.
Novo!!: Tautologia (lógica) e Grafo lógico · Veja mais »
Grécia Antiga
Grécia Antiga (Ἑλλάς), ou Hélade, foi uma civilização pertencente a um período da história grega que abrange desde o Período Homérico dos séculos XIV a IX a.C. até o fim da antiguidade (c.476 d.C.). Imediatamente após este período foi o início da Idade Média e da era bizantina.
Novo!!: Tautologia (lógica) e Grécia Antiga · Veja mais »
Lógica de primeira ordem
A lógica de primeira ordem (LPO), conhecida também como cálculo de predicados de primeira ordem (CPPO), é um sistema lógico que estende a lógica proposicional (lógica sentencial) e que é estendida pela lógica de segunda ordem.
Novo!!: Tautologia (lógica) e Lógica de primeira ordem · 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!!: Tautologia (lógica) e Lógica proposicional · Veja mais »
Lei do terceiro excluído
Em lógica, a lei do terceiro excluído (em latim, principium tertii exclusi ou tertium non datur) é a terceira de três clássicas Leis do Pensamento.
Novo!!: Tautologia (lógica) e Lei do terceiro excluído · Veja mais »
Ludwig Wittgenstein
Ludwig Joseph Johann Wittgenstein (Viena, 26 de Abril de 1889 — Cambridge, 29 de Abril de 1951) foi um filósofo austríaco, naturalizado britânico.
Novo!!: Tautologia (lógica) e Ludwig Wittgenstein · Veja mais »
Negação
Negação, em lógica e matemática, é uma operação unária sobre valores lógicos, por exemplo o valor lógico de uma proposição.
Novo!!: Tautologia (lógica) e Negação · Veja mais »
NP-completo
Na teoria da complexidade computacional, a classe de complexidade é o subconjunto dos problemas NP de tal modo que todo problema em NP se pode reduzir, com uma redução de tempo polinomial, a um dos problemas NP-completo.
Novo!!: Tautologia (lógica) e NP-completo · Veja mais »
Problema de decisão
Na teoria da computabilidade e na teoria da complexidade computacional um problema de decisão é uma questão sobre um sistema formal com uma resposta do tipo sim-ou-não.
Novo!!: Tautologia (lógica) e Problema de decisão · Veja mais »
Prova automática de teoremas
agda2 Prova automática de teoremas (PAT) ou dedução automática (DA) é a prova de teoremas matemáticos por um programa de computador.
Novo!!: Tautologia (lógica) e Prova automática de teoremas · Veja mais »
Se e somente se
Se e somente se, ou se e só se (abreviado, sse), em matemática, lógica e filosofia, é uma forma de expressão para um teorema: Se A então B, e se B então A; ou A se e somente se B. O correspondente símbolo lógico é \Leftrightarrow.
Novo!!: Tautologia (lógica) e Se e somente se · Veja mais »
Sistema dedutivo
Um sistema dedutivo (também chamado de aparato dedutivo de um sistema formal) é constituído de axiomas e regras de inferência que podem ser usadas para derivar os teoremas do sistema.
Novo!!: Tautologia (lógica) e Sistema dedutivo · Veja mais »
Subconjunto
Diagrama de Euler ilustrando o fato de que A é subconjunto de B ou, equivalentemente, que B é superconjunto de A Em teoria dos conjuntos, quando todo elemento de um conjunto A é também elemento de um conjunto B, dizemos que A é um subconjunto de B, denotado A \subseteq B (também dito "A é uma parte de B" ou "A está contido em B").
Novo!!: Tautologia (lógica) e Subconjunto · Veja mais »
Tabela-verdade
Tabela-verdade, tabela de verdade ou tabela veritativa é um tipo de tabela matemática usada em lógica para determinar se uma fórmula é válida ou se um sequente é correto.
Novo!!: Tautologia (lógica) e Tabela-verdade · Veja mais »
Tautologia
Tautologia (do grego ταὐτολογία "dizer o mesmo") é a denominação, na retórica, a um termo ou texto que é a mesma ideia expressa de formas diferentes, dizer a mesma coisa em termos diferentes.
Novo!!: Tautologia (lógica) e Tautologia · Veja mais »
Unidades atômicas
As (ua) formam um sistema de unidades conveniente para a física atômica, eletromagnetismo, mecânica e eletrodinâmica quânticas, especialmente quando nos interessamos nas propriedades dos elétrons.
Novo!!: Tautologia (lógica) e Unidades atômicas · Veja mais »
Valoração (lógica)
Na lógica e na Teoria dos modelos, uma valoração pode ser.
Novo!!: Tautologia (lógica) e Valoração (lógica) · Veja mais »
Redireciona aqui:
Tautologia (matemática), Tautologia lógica, Tautologia matemática.
