15 relações: Augustus De Morgan, Contraposição, Dinamarca, Dupla negação, Europa, Lógica, Lógica clássica, Lógica não clássica, Metalinguagem, Necessidade e suficiência, Relação de equivalência, Se e somente se, Sistema formal, Tautologia (lógica), Valor de verdade.
Augustus De Morgan
Augustus De Morgan (Madura, Índia, — Londres) foi um matemático e lógico britânico.
Novo!!: Equivalência lógica e Augustus De Morgan · 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!!: Equivalência lógica e Contraposição · Veja mais »
Dinamarca
Dinamarca (em dinamarquês: Danmark 15px), oficialmente Reino da Dinamarca (Kongeriget Danmark), é um país nórdico da Europa setentrional e membro sênior do Reino da Dinamarca.
Novo!!: Equivalência lógica e Dinamarca · 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!!: Equivalência lógica e Dupla negação · Veja mais »
Europa
A Europa é, por convenção, um dos seis continentes do mundo.
Novo!!: Equivalência lógica e Europa · 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!!: Equivalência lógica e Lógica · Veja mais »
Lógica clássica
Lógica clássica identifica uma classe de Lógica matemática que têm sido mais intensamente estudado e mais amplamente utilizado.
Novo!!: Equivalência lógica e Lógica clássica · Veja mais »
Lógica não clássica
Lógicas não clássicas (e às vezes lógicas alternativas) são os sistemas formais que diferem de maneira significativa dos sistemas lógicos padrão, como a lógica proposicional e predicado.
Novo!!: Equivalência lógica e Lógica não clássica · Veja mais »
Metalinguagem
Em lógica e linguística, uma metalinguagem é uma linguagem usada para descrever algo sobre outra(s) linguagens (linguagens objeto).
Novo!!: Equivalência lógica e Metalinguagem · Veja mais »
Necessidade e suficiência
Na lógica, os termos necessidade e suficiência são usados para descrever uma condicional material ou uma relação de implicação entre proposições.
Novo!!: Equivalência lógica e Necessidade e suficiência · Veja mais »
Relação de equivalência
As 52 relações de equivalência em um conjunto de 5 elementos representadas por matrizes lógicas 5 × 5 (campos coloridos, incluindo aqueles em cinza claro, representam os uns; campos brancos por zeros.) Os índices de linha e coluna de células não brancas são os elementos relacionados, enquanto as cores diferentes, exceto cinza claro, indicam as classes de equivalência (cada célula cinza claro é sua própria classe de equivalência). Na matemática, uma relação de equivalência é uma relação binária que é reflexiva, simétrica e transitiva.
Novo!!: Equivalência lógica e Relação de equivalência · 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!!: Equivalência lógica e Se e somente se · 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!!: Equivalência lógica e Sistema formal · 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!!: Equivalência lógica e Tautologia (lógica) · 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!!: Equivalência lógica e Valor de verdade · Veja mais »
Redireciona aqui:
Equivalencia Logica, Equivalencia logica, Equivalência Lógica.