1. Haga clic sobre las líneas (premisas o resultados) que va a citar: quedan marcadas en dorado.
2. Escriba la nueva fórmula con la barra de botones (o con el teclado: ~ para ¬, & para ∧, | para ∨, -> para →).
3. Elija la regla o ley y presione Verificar y agregar. El widget valida el paso: si la regla no calza pero la fórmula sí es consecuencia lógica de las líneas citadas, se lo indica.
Reglas:
La demostración termina cuando obtiene la conclusión ∴.