Tabela verdade de (¬¬A↔A)
(¬¬A↔A)
Propriedades: Tautologia
| A | ¬A | ¬¬A | (¬¬A↔A) |
|---|---|---|---|
| Falso | Verdadeiro | Falso | Verdadeiro |
| Verdadeiro | Falso | Verdadeiro | Verdadeiro |
Cada coluna entre as variáveis e o resultado avalia um conectivo, de modo que a fórmula é construída passo a passo.
Experimentar na CalculadoraGerador de tabelas de verdadeConstrua a tabela de qualquer fórmula sua, com as propriedades, as formas equivalentes e o mapa de Karnaugh ao lado.Mais tabelas verdade
Perguntas frequentes
Encontre respostas às perguntas mais comuns sobre a utilização da Calculadora Lógica
Como crio uma tabela de verdade para a minha expressão?
Basta introduzir a sua expressão lógica no campo da calculadora e clicar em calcular. A tabela de verdade é gerada automaticamente, mostrando todas as combinações possíveis dos valores das variáveis e o resultado correspondente da sua expressão.
Por que ordem estão as linhas?
As variáveis são listadas por ordem alfabética e as linhas percorrem todas as atribuições a começar em «todas falsas», com a primeira variável a mudar mais depressa, pelo que a última linha é aquela em que todas as variáveis são verdadeiras. Os manuais divergem neste ponto — muitos começam em «todas verdadeiras» — por isso as linhas podem aparecer numa ordem diferente da dos seus apontamentos, ainda que a tabela diga exatamente o mesmo.
Quantas linhas terá a minha tabela de verdade?
Dois elevado ao número de variáveis distintas: três variáveis dão oito linhas, quatro dão dezasseis e dez dão 1024. Cada variável acrescentada duplica a tabela, e é por isso que uma fórmula longa costuma julgar-se melhor pelas propriedades e pelas formas equivalentes do que lendo cada linha.
Posso mostrar 1 e 0 em vez de ⊤ e ⊥?
Sim. O seletor de notação na tabela de verdade alterna entre os símbolos ⊤ e ⊥ e os dígitos 1 e 0, e a sua escolha fica memorizada neste navegador para a próxima visita.
Como sei, pela tabela de verdade, se uma fórmula é uma tautologia?
Leia a última coluna. Se todas as linhas forem verdadeiras, a fórmula é uma tautologia; se forem todas falsas, é uma contradição; se a coluna tiver das duas, é contingente. É satisfazível assim que uma linha seja verdadeira. A calculadora indica tudo isto por cima da tabela, pelo que a coluna serve mais para conferir o veredicto do que para o obter.