Acesso mais rápido do que o navegador!
46 relações: Alfabeto lógico, Aritmética de Heyting, Álgebra booliana, Catraca (símbolo), Complementar, Condicional material, Conectivo lógico, Conjunção lógica, Consequência lógica, Contradição, Definição, Disjunção lógica, Dupla catraca, Equivalência lógica, Função (matemática), Função de verdade, Glifo, HTML, International Standard Book Number, LaTeX, Lógica, Lógica de primeira ordem, Lógica deôntica, Lógica doxástica, Lógica modal, Lógica proposicional, Lista de símbolos matemáticos, MediaWiki, Número de Gödel, Número natural, Negação, Notação polonesa, Operador modal, Ou exclusivo, Porta NOR, Quantificação de unicidade, Quantificação existencial, Quantificação universal, Se e somente se, Sinal de conclusão, Subconjunto, Tabela-verdade, Tautologia (lógica), Teoria dos modelos, Unicode, Willard van Orman Quine.
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!!: Lista de símbolos lógicos e Alfabeto lógico · Veja mais »
Aritmética de Heyting
Na lógica matemática, aritmética de Heyting (às vezes abreviada como HA -sigla inglesa) é uma axiomatização de aritmética de acordo com a filosofia do intuicionismo.
Novo!!: Lista de símbolos lógicos e Aritmética de Heyting · 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!!: Lista de símbolos lógicos e Álgebra booliana · Veja mais »
Catraca (símbolo)
Na lógica matemática e ciência da computação, o símbolo \vdash recebe o nome de catraca, pela sua semelhança a uma catraca observada de cima.
Novo!!: Lista de símbolos lógicos e Catraca (símbolo) · Veja mais »
Complementar
A área em vermelho é o complementar de ''A'' em ''U'', A^c~~~.
Novo!!: Lista de símbolos lógicos e Complementar · Veja mais »
Condicional material
O condicional material, também conhecido como implicação material, condicional funcional de verdade ou simplesmente condicional, é uma operação lógica.
Novo!!: Lista de símbolos lógicos e Condicional material · 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!!: Lista de símbolos lógicos e Conectivo lógico · Veja mais »
Conjunção lógica
A conjunção é uma operação na lógica matemática, que pode ser ligada à operação de interseção de conjuntos.
Novo!!: Lista de símbolos lógicos e Conjunção lógica · Veja mais »
Consequência lógica
Consequência lógica é um conceito fundamental na lógica.
Novo!!: Lista de símbolos lógicos 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!!: Lista de símbolos lógicos e Contradição · Veja mais »
Definição
Uma definição é um enunciado que explica o significado de um termo (uma palavra, frase ou um conjunto de símbolos).
Novo!!: Lista de símbolos lógicos e Definiçã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!!: Lista de símbolos lógicos e Disjunção lógica · Veja mais »
Dupla catraca
Na lógica, o símbolo ⊨, \vDash or \models é chamado de dupla catraca.
Novo!!: Lista de símbolos lógicos e Dupla catraca · 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!!: Lista de símbolos lógicos e Equivalência lógica · Veja mais »
Função (matemática)
Uma função não injetiva e não sobrejetiva do domínio X para o contradomínio Y. A função é não injetova pois há dois elementos do domínio ligados a um mesmo elemento do contradomínio (cor vermelha). A função é não sobrejetiva pois há elementos de Y sem correspondentes em X (cores azul e lilás). Uma função é uma relação de um conjunto A com um conjunto B. Denotamos uma função por f:A\to B, y.
Novo!!: Lista de símbolos lógicos e Função (matemática) · 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!!: Lista de símbolos lógicos e Função de verdade · Veja mais »
Glifo
Glifo (do grego γλύφω transl. glýpho, significando 'eu gravo') designava a princípio qualquer signo entalhado ou pintado, a exemplo dos glifos da escrita maia e dos hieróglifos egípcios.
Novo!!: Lista de símbolos lógicos e Glifo · Veja mais »
HTML
HTML (abreviação para a expressão inglesa HyperText Markup Language, que significa: "Linguagem de Marcação de Hipertexto") é uma linguagem de marcação utilizada na construção de páginas na Web.
Novo!!: Lista de símbolos lógicos e HTML · Veja mais »
International Standard Book Number
O International Standard Book Number, mais conhecido pela sigla ISBN, é o Número Padrão Internacional de Livro.
Novo!!: Lista de símbolos lógicos e International Standard Book Number · Veja mais »
LaTeX
LaTeX (ou uma abreviação de Lamport TeX) é um sistema de preparação de documentos.
Novo!!: Lista de símbolos lógicos e LaTeX · Veja mais »
Lógica
Lógica (do grego λογική logos) tem dois significados principais: discute o uso de raciocínio em alguma atividade e é o estudo normativo, filosófico do raciocínio válido.
Novo!!: Lista de símbolos lógicos e Lógica · 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!!: Lista de símbolos lógicos e Lógica de primeira ordem · Veja mais »
Lógica deôntica
A lógica deôntica é um tipo de lógica modal usada para analisar formalmente as normas ou as proposições que tratam acerca das normas.
Novo!!: Lista de símbolos lógicos e Lógica deôntica · 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!!: Lista de símbolos lógicos e Lógica doxástica · Veja mais »
Lógica modal
A lógica modal se refere a qualquer sistema de lógica formal que procure lidar com modalidades (tratar de modos quanto a tempo, possibilidade, probabilidade, etc.). Tradicionalmente, as modalidades mais comuns são possibilidade e necessidade.
Novo!!: Lista de símbolos lógicos e Lógica modal · 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!!: Lista de símbolos lógicos e Lógica proposicional · Veja mais »
Lista de símbolos matemáticos
Sem descrição
Novo!!: Lista de símbolos lógicos e Lista de símbolos matemáticos · Veja mais »
MediaWiki
Na informática, o MediaWiki é um sistema computacional livre e de código-aberto do tipo Wiki, desenvolvido em 2001 na fundação Wikimedia com uso da linguagem de programação PHP, e funciona como gestão de conteúdo web com a base de dados MySQL nos principais projetos da fundação, como a Wikipédia, Wikcionário e o Wikimedia Commons.
Novo!!: Lista de símbolos lógicos e MediaWiki · Veja mais »
Número de Gödel
Em lógica matemática, uma numeração de Gödel é uma função matemática que atribui a cada símbolo e fórmula bem formada de alguma linguagem formal um único número natural, chamado seu número de Gödel.
Novo!!: Lista de símbolos lógicos e Número de Gödel · Veja mais »
Número natural
Um número natural é um número inteiro não negativo \. Em alguns contextos, número natural é definido como um número inteiro positivo, sendo também o zero considerado como um número natural (mesmo não sendo positivo e sim nulo/neutro): \. O conjunto dos números naturais é, comumente, denotado pelo símbolo \mathbb.
Novo!!: Lista de símbolos lógicos e Número natural · 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!!: Lista de símbolos lógicos e Negação · Veja mais »
Notação polonesa
Notação Polonesa (no Brasil, em Portugal é Notação Polaca) ou Notação de Prefixo é uma forma de notação para lógica, aritmética e álgebra.
Novo!!: Lista de símbolos lógicos e Notação polonesa · Veja mais »
Operador modal
Um operador modal (ou conectivo modal) é um conectivo lógico para a lógica modal.
Novo!!: Lista de símbolos lógicos e Operador modal · 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!!: Lista de símbolos lógicos e Ou exclusivo · Veja mais »
Porta NOR
O NOR é um operador booleano lógico que é resultado da negação do operador OR.
Novo!!: Lista de símbolos lógicos e Porta NOR · Veja mais »
Quantificação de unicidade
Na matemática e na lógica, a frase "existe um e apenas um" é usada para indicar que existe exatamente um objeto com uma determinada propriedade.
Novo!!: Lista de símbolos lógicos e Quantificação de unicidade · Veja mais »
Quantificação existencial
Na lógica de predicados, um quantificador existencial é a predicação de uma propriedade ou relação para, pelo menos, um elemento do domínio.
Novo!!: Lista de símbolos lógicos e Quantificação existencial · Veja mais »
Quantificação universal
Na lógica de predicados, a quantificação universal é uma formalização da noção de que algumas coisas são verdadeiras para todas as coisas, ou para todas as coisas relevantes.
Novo!!: Lista de símbolos lógicos e Quantificação universal · 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!!: Lista de símbolos lógicos e Se e somente se · Veja mais »
Sinal de conclusão
Em matemática, o sinal de conclusão (∴) é um símbolo que é escrito antes de uma conclusão lógica.
Novo!!: Lista de símbolos lógicos e Sinal de conclusão · 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!!: Lista de símbolos lógicos 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!!: Lista de símbolos lógicos e Tabela-verdade · Veja mais »
Tautologia (lógica)
Na lógica proposicional, uma tautologia (do grego ταυτολογία) é uma fórmula proposicional que é verdadeira para todas as possíveis valorações de suas variáveis proposicionais.
Novo!!: Lista de símbolos lógicos e Tautologia (lógica) · Veja mais »
Teoria dos modelos
Na matemática, Teoria de Modelos é o estudo da representação de conceitos matemáticos em termos de teoria de conjuntos, ou o estudo de modelos que apoiam sistemas matemáticos.
Novo!!: Lista de símbolos lógicos e Teoria dos modelos · Veja mais »
Unicode
Unicode é um padrão que permite aos computadores representar e manipular, de forma consistente, texto de qualquer sistema de escrita existente.
Novo!!: Lista de símbolos lógicos e Unicode · Veja mais »
Willard van Orman Quine
Willard Van Orman Quine (Akron, — Boston), usualmente citado como Quine, mas conhecido por seus amigos e familiares como Van, foi um dos mais influentes matemáticos, filósofos e lógicos norte-americanos do século XX, considerado o maior lógico e filósofo analítico da segunda metade desse século.
Novo!!: Lista de símbolos lógicos e Willard van Orman Quine · Veja mais »
Redireciona aqui:
Anexo:Lista de símbolos lógicos, Lista de Símbolos Lógicos.
