Esta es una herramienta que busca hacer más sencillo escribir fórmulas de lógica proposicional y lógica de primer orden. Puedes usar tu teclado para introducir letras y paréntesis. Usa los botones para insertar los caracteres lógicos.