Calculadora • Matemática Básica

Lógica proposicional: tabelas-verdade e tautologias

Analise proposições com negação, conjunção, disjunção, implicação e bicondicional, com tabela-verdade e leitura prática.

Como usar

Digite uma proposição usando variáveis como P, Q, R e operadores lógicos.

A ferramenta monta a tabela-verdade, classifica a fórmula e mostra mapas visuais para identificar validade e contraexemplos.

Área principal da ferramenta

Digite a fórmula lógica, use o seletor de operadores quando desejar e escolha o limite de variáveis para a tabela-verdade.

Proposição lógica

Limite de variáveis

~ negação∧ conjunção∨ disjunção→ implicação↔ bicondicional

Classificação—

Verdadeiras—

Falsas—

Variáveis—

Análise

Leitura rápida

Informe uma proposição para classificar.

Solução recomendada

Use a tabela-verdade e as linhas-chave para encontrar condições válidas e contraexemplos.

Atenção / próximo passo

Use parênteses para controlar a precedência dos operadores.

É uma proposição verdadeira em todas as combinações de valores lógicos.

A ordem é negação, conjunção, disjunção, implicação e bicondicional. Use parênteses quando houver dúvida.