Fórmula de Entrada
Exemplos rápidos:
P ∧ Q
P ∨ Q
P → Q
¬(P ∧ Q)
∀x(P(x)→∃yQ(x, y))
∃x∀y(P(x)⇔Q(x, y))
Visualização da Fórmula
Sua fórmula aparecerá aqui
A visualização é atualizada automaticamente
Como Usar
1. Digite sua fórmula lógica no campo acima
2. Use os exemplos rápidos para preencher automaticamente
3. Clique em "Executar Transformações" para processar
4. Visualize cada etapa no painel à direita
5. Clique no ícone 📋 para copiar qualquer fórmula
Operadores Suportados
\land, \lor, \neg
E, OU, NÃO
E, OU, NÃO
\rightarrow, \leftrightarrow
Implicação, Bi-implicação
Implicação, Bi-implicação
\forall, \exists
Para todo, Existe
Para todo, Existe
A, B, C, P, Q, R, ...
Variáveis proposicionais
Variáveis proposicionais
x, y, z, ...
Variáveis individuais (usadas com quantificadores)
Variáveis individuais (usadas com quantificadores)
P(x), Q(x,y)
Predicados com argumentos
Predicados com argumentos
Use parênteses para agrupar expressões
Etapas de Transformação
Clique em "Executar Transformações" para visualizar as etapas