Acesso mais rápido do que o navegador!
18 relações: Álgebra booliana, Campo, Conectivo lógico bicondicional, Disjunção lógica, Equivalência lógica, Estrutura algébrica, Função booliana, Igualdade matemática, Lógica combinatória (sistemas digitais), Lógica proposicional, Matemática, Operação, Operador lógico, Ou exclusivo, Porta XNOR, Se e somente se, Tabela-verdade, Valor de verdade.
Á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!!: Igualdade lógica e Álgebra booliana · Veja mais »
Campo
*Campo (agricultura).
Novo!!: Igualdade lógica e Campo · 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!!: Igualdade lógica e Conectivo lógico bicondicional · 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!!: Igualdade lógica e Disjunção lógica · 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!!: Igualdade lógica e Equivalência lógica · Veja mais »
Estrutura algébrica
Em álgebra abstracta, uma estrutura algébrica consiste num conjunto associado a uma ou mais operações sobre o conjunto que satisfazem certos axiomas.
Novo!!: Igualdade lógica e Estrutura algébrica · 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!!: Igualdade lógica e Função booliana · Veja mais »
Igualdade matemática
Dois objetos matemáticos são iguais se e somente se são precisamente o mesmo em todo caminho.
Novo!!: Igualdade lógica e Igualdade matemática · Veja mais »
Lógica combinatória (sistemas digitais)
Na teoria de circuitos digitais, lógica combinatória é um tipo de lógica digital que é implementada via circuitos booleanos, em que a saída é uma função pura exclusivamente da entrada atual.
Novo!!: Igualdade lógica e Lógica combinatória (sistemas digitais) · 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!!: Igualdade lógica e Lógica proposicional · Veja mais »
Matemática
problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.
Novo!!: Igualdade lógica e Matemática · Veja mais »
Operação
*Cirurgia.
Novo!!: Igualdade lógica e Operação · Veja mais »
Operador lógico
Operador lógico, assim como um operador aritmético, é uma classe de operação sobre variáveis ou elementos pré-definidos.
Novo!!: Igualdade lógica e Operador lógico · 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!!: Igualdade lógica e Ou exclusivo · Veja mais »
Porta XNOR
(a) circuito para porta XNOR (b) e (c) Diferentes representações simbólicas para a porta XNOR. A porta lógica XNOR, também conhecida pelo termo função coincidência, é a operação inversa da porta XOR (ou - exclusivo).
Novo!!: Igualdade lógica e Porta XNOR · 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!!: Igualdade lógica e Se e somente se · 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!!: Igualdade lógica e Tabela-verdade · 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.
